Module arrabbiata::prover

source ·
Expand description

A prover for the folding/accumulation scheme

Functions

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