proofs::LayerProof< Field > Struct Template Reference

Collaboration diagram for proofs::LayerProof< Field >:

Public Types
using	Elt = typename Field::Elt
using	CPoly = SumcheckPoly<4, Field>
using	WPoly = SumcheckPoly<3, Field>
using	FWPoly = Poly<3, Field>
using	FCPoly = Poly<4, Field>

Data Fields
CPoly	cp [kMaxBindings]
WPoly	hp [2][kMaxBindings]
Elt	wc [2]

Static Public Attributes
static constexpr size_t	kMaxBindings = 40

---

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

• lib/sumcheck/circuit.h