Module snarkvm_marlin::constraints [−][src]
Expand description
Implements the Marlin verification gadget.
Modules
| ahp | Implementation of an AHP gadget. |
| error | Marlin constraint errors. |
| lagrange_interpolation | Implementations of native and constraint Lagrange interpolation. |
| polynomial | Methods to compute vanishing polynomial equations. |
| proof | The Marlin proof gadget. |
| snark | Marlin SNARK construction. |
| verifier | Implementation of the Marlin verification gadget. |
| verifier_key | Verifier keys for the Marlin proof system. |
Type Definitions
| UniversalSRS | Syntactic sugar for the universal SRS in this context. |