proofs::Verifier< Field > Class Template Reference

Inheritance diagram for proofs::Verifier< Field >:

Collaboration diagram for proofs::Verifier< Field >:

Static Public Member Functions
static bool	verify (const char **why, const Circuit< Field > *circ, const Proof< Field > *proof, std::unique_ptr< Dense< Field > > V, std::unique_ptr< Dense< Field > > X, Transcript &ts, const Field &F)
Static Public Member Functions inherited from proofs::VerifierLayers< Field >
static bool	circuit (const char **why, claims *cl, const Circuit< Field > *CIRCUIT, const Proof< Field > *PROOF, Challenge< Field > *CH, std::unique_ptr< Dense< Field > > V, TranscriptSumcheck< Field > &ts, const Field &F)

Additional Inherited Members
Public Types inherited from proofs::VerifierLayers< Field >
typedef Quad< Field >::index_t	index_t
using	Elt = typename Field::Elt

---

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

• lib/sumcheck/verifier.h