Module snarkvm_marlin::snark [−][src]
Expand description
Implements the snarkVM-compatible Marlin SNARK interface. The Marlin zkSNARK implementation
Structs
A Marlin instance using the KZG10 polynomial commitment and Blake2s
Polynomial commitment based on [KZG10], with degree enforcement, batching, and (optional) hiding property taken from [CHMMVW20, “Marlin”].
Traits
Describes the interface for a polynomial commitment scheme that allows
a sender to commit to multiple polynomials and later provide a succinct proof
of evaluation for the corresponding commitments at a query set Q, while
enforcing per-polynomial degree bounds.
Type Definitions
Type alias for a Marlin instance using the KZG10 polynomial commitment and Blake2s
The Marlin proof system for testnet1.
A circuit-specific proving key.
A structured reference string which will be used to derive a circuit-specific common reference string
A circuit-specific verifying key.