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