Package groth16 implements Groth16 zkSNARK workflow (https://eprint.iacr.org/2016/260.pdf).

Package r1cs expose the R1CS (rank-1 constraint system) interface.

FromInterface converts an interface to a big.Int element interface must implement ToBigIntRegular(res *big.Int) *big.Int (which is the case for field generated by goff) or be uint64, int, string, []byte or big.Int it panics if the input is invalid.

OneWire is the assignment label / name used for the constant wire one.

ErrInputNotSet can be generated when solving the R1CS (a missing assignment) or running a Verifier.

ErrUnsatisfiedConstraint can be generated when solving a R1CS.

LogEntry is used as a shared data structure between the frontend and the backend to represent string values (in logs or debug info) where a value is not known at compile time (which is the case for variables that need to be resolved in the R1CS).

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