New builds a schema.Schema walking through the provided interface (a circuit structure).

Walk walks through the provided object and stops when it encounters objects of type tLeaf It returns the number of secret and public leafs encountered during the walk.

inherit the visibility of the witness element from its parent.

do not parse the field as witness element.

public witness element.

secret witness element.

Field represent a schema Field and is analogous to reflect.StructField (but simplified).

LeafCount stores the number of secret and public interface of type target(reflect.Type) found by the walker.

LeafInfo stores the leaf visibility (always set to Secret or Public) and the fully qualified name of the path to reach the leaf in the circuit struct.

Schema represents the structure of a gnark circuit (/ witness).

An object implementing an init hook knows how to "init" itself when parsed at compile time.

FieldType represents the type a field is allowed to have in a gnark Schema.

LeafHandler is the handler function that will be called when Walk reaches leafs of the struct.

TagOpt is a (optional) struct tag one can add to a Variable field in the circuit definition to specify compiler behaviour and witness parsing.

Visibility encodes a Variable (or wire) visibility Possible values are Unset, Internal, Secret or Public.