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. |