Module arrabiata::prover

source ·
Expand description

A prover for the folding/accumulation scheme

Functions

  • prove
    Generate a proof for the IVC circuit. All the information to make a proof is available in the environment given in parameter.