Module snarkvm_marlin::ahp [−][src]
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. |