Struct StepUp

pub struct StepUp { /* private fields */ }

Represents a multilinear F2-polynomial whose evaluations over the hypercube are 0 until a specified index where they change to 1.

If the index is the length of the multilinear, then all coefficients are 0.

    (1 << n_vars)
<-------------------->
0,0 .. 0,0,1,1, .. 1,1
           ^
           index of first 1

This is useful for making constraints that are not enforced at the first rows of the trace

Implementations

impl StepUp

pub fn new(n_vars: usize, index: usize) -> Result<Self, Error>

pub const fn n_vars(&self) -> usize

pub fn multilinear_extension<P: PackedField>( &self, ) -> Result<MultilinearExtension<P>, Error>

pub fn populate<P: PackedField>(&self, data: &mut [P])

Trait Implementations

impl Clone for StepUp

fn clone(&self) -> StepUp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StepUp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl DeserializeBytes for StepUp

fn deserialize( read_buf: impl Buf, mode: SerializationMode, ) -> Result<Self, SerializationError>

where Self: Sized,

impl<F: Field> MultivariatePoly<F> for StepUp

fn degree(&self) -> usize

Total degree of the polynomial.

fn n_vars(&self) -> usize

The number of variables.

fn evaluate(&self, query: &[F]) -> Result<F, Error>

Evaluate the polynomial at a point in the extension field.

fn binary_tower_level(&self) -> usize

Returns the maximum binary tower level of all constants in the arithmetic expression.

fn erased_serialize( &self, write_buf: &mut dyn BufMut, mode: SerializationMode, ) -> Result<(), SerializationError>

Serialize a type erased MultivariatePoly. Since not every MultivariatePoly implements serialization, this defaults to returning an error.

impl SerializeBytes for StepUp

fn serialize( &self, write_buf: impl BufMut, mode: SerializationMode, ) -> Result<(), SerializationError>