Module snarkvm_marlin::constraints

source · [−]
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.