DummySetup create a random ProvingKey with provided R1CS it doesn't return a VerifyingKey and is use for benchmarking or test purposes only.

NewCS instantiate a concrete curved-typed R1CS and return a R1CS interface This method exists for (de)serialization purposes.

NewProof instantiates a curve-typed Proof and returns an interface This function exists for serialization purposes.

NewProvingKey instantiates a curve-typed ProvingKey and returns an interface object This function exists for serialization purposes.

NewVerifyingKey instantiates a curve-typed VerifyingKey and returns an interface This function exists for serialization purposes.

Prove runs the groth16.Prove algorithm.

Setup runs groth16.Setup with provided R1CS and outputs a key pair associated with the circuit.

Verify runs the groth16.Verify algorithm on provided proof with given witness.

Proof represents a Groth16 proof generated by groth16.Prove it's underlying implementation is curve specific (see gnark/internal/backend).

ProvingKey represents a Groth16 ProvingKey it's underlying implementation is strongly typed with the curve (see gnark/internal/backend).

VerifyingKey represents a Groth16 VerifyingKey it's underlying implementation is strongly typed with the curve (see gnark/internal/backend) ExportSolidity is implemented for BN254 and will return an error with other curves.