proofs::VerifierLayers< Field > Class Template Reference

Inheritance diagram for proofs::VerifierLayers< Field >:

Data Structures
struct	claims

Public Types
typedef Quad< Field >::index_t	index_t
using	Elt = typename Field::Elt

Static Public Member Functions
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)

---

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

• lib/sumcheck/verifier_layers.h