Struct ark_linear_sumcheck::ml_sumcheck::data_structures::PolynomialInfo [−][src]
Expand description
Stores the number of variables and max number of multiplicands of the added polynomial used by the prover. This data structures will is used as the verifier key.
Fields
max_multiplicands: usize
max number of multiplicands in each product
num_variables: usize
number of variables of the polynomial
Trait Implementations
Reads Self
from reader
.
Reads Self
from reader
without compression.
Reads self
from reader
without compression, and without performing
validity checks. Should be used only when the input is trusted. Read more
Serializes self
into writer
.
It is left up to a particular type for how it strikes the
serialization efficiency vs compression tradeoff.
For standard types (e.g. bool
, lengths, etc.) typically an uncompressed
form is used, whereas for algebraic types compressed forms are used. Read more
Serializes self
into writer
without compression.
Serializes self
into writer
without compression, and without
performing validity checks. Should be used only when there is no
danger of adversarial manipulation of the output. Read more
Auto Trait Implementations
impl RefUnwindSafe for PolynomialInfo
impl Send for PolynomialInfo
impl Sync for PolynomialInfo
impl Unpin for PolynomialInfo
impl UnwindSafe for PolynomialInfo
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V