Module snarkvm_algorithms::snark::marlin::ahp

source ·
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.