Module snarkvm_marlin::snark [−][src]
Expand description
Implements the snarkVM-compatible Marlin SNARK interface. The Marlin zkSNARK implementation
Structs
MarlinSystem | A Marlin instance using the KZG10 polynomial commitment and Blake2s |
MultiPC | Polynomial commitment based on [KZG10], with degree enforcement, batching, and (optional) hiding property taken from [CHMMVW20, “Marlin”]. |
Traits
PolynomialCommitment | 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 |
Type Definitions
Marlin | Type alias for a Marlin instance using the KZG10 polynomial commitment and Blake2s |
MarlinTestnet1 | The Marlin proof system for testnet1. |
ProvingKey | A circuit-specific proving key. |
SRS | A structured reference string which will be used to derive a circuit-specific common reference string |
VerifyingKey | A circuit-specific verifying key. |