proofs::Prover< Field > Class Template Reference

Inheritance diagram for proofs::Prover< Field >:

Collaboration diagram for proofs::Prover< Field >:

Public Types
using	inputs
Public Types inherited from proofs::ProverLayers< Field >
using	inputs = std::vector<std::unique_ptr<Dense<Field>>>

Public Member Functions
	Prover (const Field &f)
void	prove (Proof< Field > *proof, const Proof< Field > *pad, const Circuit< Field > *circ, const inputs &in, Transcript &t)
Public Member Functions inherited from proofs::ProverLayers< Field >
	ProverLayers (const Field &f)
std::unique_ptr< Dense< Field > >	eval_circuit (inputs *in, const Circuit< Field > *circ, std::unique_ptr< Dense< Field > > W0, const Field &F)

Additional Inherited Members
Protected Member Functions inherited from proofs::ProverLayers< Field >
void	prove (Proof< Field > *pr, const Proof< Field > *pad, const Circuit< Field > *circ, const inputs &in, ProofAux< Field > *aux, bindings &bnd, TranscriptSumcheck< Field > &ts, const Field &F)
Protected Attributes inherited from proofs::ProverLayers< Field >
const Field &	f_

---

The documentation for this class was generated from the following file:

• lib/sumcheck/prover.h