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