arrabbiata::decider

Module prover

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.