Crate ark_snark[−][src]
This crate contains traits that define the basic behaviour of SNARKs.
Enums
UniversalSetupIndexError | A helper type for universal-setup SNARKs, which must infer their computation size bounds. |
Traits
CircuitSpecificSetupSNARK | A SNARK with (only) circuit-specific setup. |
SNARK | The basic functionality for a SNARK. |
UniversalSetupSNARK | A SNARK with universal setup. That is, a SNARK where the trusted setup is circuit-independent. |