Module snarkvm_algorithms::snark::marlin::ahp

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.