Struct ark_linear_sumcheck::ml_sumcheck::data_structures::PolynomialInfo

pub struct PolynomialInfo {
    pub max_multiplicands: usize,
    pub num_variables: usize,
}

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

impl CanonicalDeserialize for PolynomialInfo

fn deserialize<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

fn deserialize_unchecked<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl CanonicalSerialize for PolynomialInfo

fn serialize<W: Write>(&self, writer: W) -> Result<(), SerializationError>

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.

fn serialized_size(&self) -> usize

fn serialize_uncompressed<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression.

fn serialize_unchecked<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

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.

fn uncompressed_size(&self) -> usize

impl Clone for PolynomialInfo

fn clone(&self) -> PolynomialInfo

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.