Crate snarkvm_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::*; | |
pub use parameters::*; | |
pub use snark::*; | |
pub use fiat_shamir::*; |
Modules
ahp | Implements an Algebraic Holographic Proof (AHP) for the R1CS indexed relation. |
constraints | Implements the Marlin verification gadget. |
fiat_shamir | RNGs for the Marlin SNARK. |
marlin | Implements the base Marlin zkSNARK proof system. |
parameters | The Marlin public parameters for a given circuit. |
snark | Implements the snarkVM-compatible Marlin SNARK interface. The Marlin zkSNARK implementation |