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