Module snarkvm_algorithms::snark::marlin

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.
• Proof
  A zkSNARK proof.
• WitnessCommitments
  Commitments to the w, z_a, and z_b polynomials.

Traits

• MarlinMode
  A trait to specify the Marlin mode.

Type Definitions

• UniversalSRS
  The Marlin universal SRS.