Module snarkvm_marlin::marlin [−][src]
Expand description
Implements the base Marlin zkSNARK proof system.
Structs
| CircuitProvingKey | Proving key for a specific circuit (i.e., R1CS matrices). |
| CircuitVerifyingKey | Verification key for a specific index (i.e., R1CS matrices). |
| MarlinRecursiveMode | The Marlin default mode assumes a recursive proof of at least depth-1. |
| MarlinSNARK | The Marlin proof system. |
| MarlinTestnet1Mode | TODO (howardwu): Combine all of the testnet configurations into an environment struct higher up. The Marlin testnet1 mode does not assume recursive proofs of any depth. |
| PreparedCircuitVerifyingKey | Verification key, prepared (preprocessed) for use in pairings. |
| Proof | A zkSNARK proof. |
Enums
| MarlinError | A |
Traits
| MarlinMode | A trait to specify the Marlin mode. |
Type Definitions
| UniversalSRS | The universal public parameters for the argument system. |