Struct Encoder

pub struct Encoder { /* private fields */ }

Implementations

impl Encoder

pub fn new(cnt: usize, max_degree: u32) -> Self

Create a new encoder for a given number of flags and maximum degree. The flags will correspond to points in F^k, where k is the number of variables. The zero point is reserved for the dummy row. max_degree is the upper bound for the flag expressions, but the eval function of the encoder itself will use some constraints of degree max_degree + 1.

pub fn get_flag_expr<AB: InteractionBuilder>( &self, flag_idx: usize, vars: &[AB::Var], ) -> AB::Expr

pub fn get_flag_pt(&self, flag_idx: usize) -> Vec<u32>

pub fn is_valid<AB: InteractionBuilder>(&self, vars: &[AB::Var]) -> AB::Expr

pub fn flags<AB: InteractionBuilder>(&self, vars: &[AB::Var]) -> Vec<AB::Expr>

pub fn sum_of_unused<AB: InteractionBuilder>( &self, vars: &[AB::Var], ) -> AB::Expr

pub fn width(&self) -> usize

Trait Implementations

impl Clone for Encoder

fn clone(&self) -> Encoder

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Encoder

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

Formats the value using the given formatter.

impl<AB: InteractionBuilder> SubAir<AB> for Encoder

type AirContext<'a> = &'a [<AB as AirBuilder>::Var] where AB: 'a, AB::Var: 'a, AB::Expr: 'a

Type to define the context, typically in terms of AB::Expr that are needed to define the SubAir’s constraints.

fn eval<'a>(&'a self, builder: &'a mut AB, local: &'a [AB::Var])

where AB: 'a, AB::Expr: 'a,