Longfellow ZK 0290cb32
Loading...
Searching...
No Matches
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: