Module snarkos_marlin::ahp::prover

Describes data structures and the algorithms used by the AHP prover.

Structs

ProverFirstOracles	The first set of prover oracles.
ProverMsg	Each prover message that is not a list of oracles is a list of field elements.
ProverSecondOracles	The second set of prover oracles.
ProverState	State for the AHP prover.
ProverThirdOracles	The third set of prover oracles.