Struct StepDown

pub struct StepDown { /* private fields */ }

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

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

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

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

Implementations

impl StepDown

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

pub const fn n_vars(&self) -> usize

pub const fn index(&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 StepDown

fn clone(&self) -> StepDown

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StepDown

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

Formats the value using the given formatter.

impl DeserializeBytes for StepDown

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

where Self: Sized,

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

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 StepDown

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