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