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.
- Circuit
Proving Key - Proving key for a specific circuit (i.e., R1CS matrices).
- Circuit
Verifying Key - Verification key for a specific index (i.e., R1CS matrices).
- Commitments
- Evaluations
- Proof
- A zkSNARK proof.
- Varuna
Hiding Mode - This mode produces a hiding SNARK proof.
- Varuna
NonHiding Mode - This mode produces a non-hiding SNARK proof.
- VarunaSNARK
- The Varuna proof system.
- Witness
Commitments - Commitments to the
wpolynomials.
Traits§
- SNARK
Mode - A trait to specify the SNARK mode.
Type Aliases§
- UniversalSRS
- The Varuna universal SRS.