Module snarkvm_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.