Crate ark_marlin[−][src]
Expand description
A crate for the Marlin preprocessing zkSNARK for R1CS.
Note
Currently, Marlin only supports R1CS instances where the number of inputs is the same as the number of constraints (i.e., where the constraint matrices are square). Furthermore, Marlin only supports instances where the public inputs are of size one less than a power of 2 (i.e., 2^n - 1).
Re-exports
pub use ahp::AHPForR1CS; |
Modules
ahp | Implements an Algebraic Holographic Proof (AHP) for the R1CS indexed relation. |
rng | Implements a Fiat-Shamir based Rng that allows one to incrementally update the seed based on new messages in the proof transcript. |
Structs
IndexProverKey | Proving key for a specific index (i.e., R1CS matrices). |
IndexVerifierKey | Verification key for a specific index (i.e., R1CS matrices). |
Marlin | The compiled argument system. |
Proof | A zkSNARK proof. |
Enums
Error | A |
Type Definitions
UniversalSRS | The universal public parameters for the argument system. |