This crate contains traits that define the basic behaviour of SNARKs.
A helper type for universal-setup SNARKs, which must infer their computation size bounds.
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.