Module ark_groth16::prover

Create proofs for the Groth16 zkSNARK construction.

Functions

create_proof	Create a Groth16 proof using randomness r and s.
create_proof_no_zk	Create a Groth16 proof that is not zero-knowledge.
create_random_proof	Create a Groth16 proof that is zero-knowledge. This method samples randomness for zero knowledges via rng.
rerandomize_proof	Given a Groth16 proof, returns a fresh proof of the same statement. For a proof π of a statement S, the output of the non-deterministic procedure rerandomize_proof(π) is statistically indistinguishable from a fresh honest proof of S. For more info, see theorem 3 of [BKSV20]