Expand description
This crate contains traits that define the basic behaviour of SNARKs.
Enums
A helper type for universal-setup SNARKs, which must infer their computation
size bounds.
Traits
A SNARK with (only) circuit-specific setup.
The basic functionality for a SNARK.
A SNARK with universal setup. That is, a SNARK where the trusted setup is
circuit-independent.