Module arrabbiata::decider

source ·
Expand description

The final decider, i.e. the SNARK used on the accumulation scheme.

Modules

  • column_env
    This module will be used by the prover to evaluate at a certain point.
  • proof
  • prover
    A prover for the folding/accumulation scheme
  • verifier
    A verifier for the folding/accumulation scheme