Module prover
snarkvm_marlin::ahp
Describes data structures and the algorithms used by the AHP prover.