Module proof_system::prover

source ·
Expand description

Code for the prover to generate a Proof

Structs§

  • OldLegoGroth16Proof
    The LegoGroth16 randomness and proof to reuse when creating the composite proof. This is more efficient than generating a new proof.
  • OldSaverProof
    The SAVER randomness, ciphertext and proof to reuse when creating the composite proof. This is more efficient than generating a new ciphertext and proof.
  • ProverConfig
    Passed to the prover during proof creation