snarkvm_algorithms::snark::varuna

Module ahp

Expand description

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

Re-exports§

pub use ahp::*;
pub use errors::*;

Modules§

ahp: Algebraic holographic proofs.
errors: Errors.
indexer: Describes data structures and the algorithms used by the AHP indexer.
prover: Describes data structures and the algorithms used by the AHP prover.
verifier: Describes data structures and the algorithms used by the AHP verifier.