DummySetup fills a random ProvingKey used for test or benchmarking purposes.

Prove generates the proof of knowledge of a r1cs with full witness (secret + public part).

Setup constructs the SRS.

Verify verifies a proof with given VerifyingKey and publicWitness.

Proof represents a Groth16 proof that was encoded with a ProvingKey and can be verified with a valid statement and a VerifyingKey Notation follows Figure 4.

ProvingKey is used by a Groth16 prover to encode a proof of a statement Notation follows Figure 4.

VerifyingKey is used by a Groth16 verifier to verify the validity of a proof and a statement Notation follows Figure 4.