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