Module varuna

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
• Proof
  A zkSNARK proof.
• VarunaHidingMode
  This mode produces a hiding SNARK proof.
• VarunaNonHidingMode
  This mode produces a non-hiding SNARK proof.
• VarunaSNARK
  The Varuna proof system.
• WitnessCommitments
  Commitments to the w polynomials.

Traits

• SNARKMode
  A trait to specify the SNARK mode.

Type Aliases

• UniversalSRS
  The Varuna universal SRS.