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