Module snarkvm_algorithms::snark::marlin

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::*;

Modules

• ahp
  Implements an Algebraic Holographic Proof (AHP) for the R1CS indexed relation.

Structs

• Certificate
  A certificate for the verifying key.
• CircuitProvingKey
  Proving key for a specific circuit (i.e., R1CS matrices).
• CircuitVerifyingKey
  Verification key for a specific index (i.e., R1CS matrices).
• Commitments
• Evaluations
• MarlinHidingMode
  The Marlin hiding mode produces a hiding Marlin proof.
• MarlinNonHidingMode
  The Marlin non-hiding mode produces a non-hiding Marlin proof.
• MarlinSNARK
  The Marlin proof system.
• PreparedCircuitVerifyingKey
  Verification key, prepared (preprocessed) for use in pairings.
• Proof
  A zkSNARK proof.
• WitnessCommitments
  Commitments to the w, z_a, and z_b polynomials.

Enums

• MarlinError
  A enum specifying the possible failure modes of Marlin.

Traits

• MarlinMode
  A trait to specify the Marlin mode.

Type Definitions

• UniversalSRS
  The universal public parameters for the argument system.