Enum kimchi::circuits::expr::PolishToken

pub enum PolishToken<F, Column> {
    Constant(ConstantTerm<F>),
    Challenge(ChallengeTerm),
    Cell(Variable<Column>),
    Dup,
    Pow(u64),
    Add,
    Mul,
    Sub,
    VanishesOnZeroKnowledgeAndPreviousRows,
    UnnormalizedLagrangeBasis(RowOffset),
    Store,
    Load(usize),
    SkipIf(FeatureFlag, usize),
    SkipIfNot(FeatureFlag, usize),
}

For efficiency of evaluation, we compile expressions to reverse Polish notation expressions, which are vectors of the below tokens.

Variants

Constant(ConstantTerm<F>)

Challenge(ChallengeTerm)

Cell(Variable<Column>)

Dup

Pow(u64)

Add

Mul

Sub

VanishesOnZeroKnowledgeAndPreviousRows

UnnormalizedLagrangeBasis(RowOffset)

Store

Load(usize)

SkipIf(FeatureFlag, usize)

Skip the given number of tokens if the feature is enabled.

SkipIfNot(FeatureFlag, usize)

Skip the given number of tokens if the feature is disabled.

Implementations

impl<F: FftField, Column: Copy> PolishToken<F, Column>

pub fn evaluate<Evaluations: ColumnEvaluations<F, Column = Column>>( toks: &[PolishToken<F, Column>], d: D<F>, pt: F, evals: &Evaluations, c: &Constants<F>, chals: &Challenges<F> ) -> Result<F, ExprError<Column>>

Evaluate an RPN expression to a field element.

Trait Implementations

impl<F: Clone, Column: Clone> Clone for PolishToken<F, Column>

fn clone(&self) -> PolishToken<F, Column>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug, Column: Debug> Debug for PolishToken<F, Column>

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

Formats the value using the given formatter.

impl<'de, F, Column> Deserialize<'de> for PolishToken<F, Column>where F: Deserialize<'de>, Column: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: PartialEq, Column: PartialEq> PartialEq<PolishToken<F, Column>> for PolishToken<F, Column>

fn eq(&self, other: &PolishToken<F, Column>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F, Column> Serialize for PolishToken<F, Column>where F: Serialize, Column: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<F: Eq, Column: Eq> Eq for PolishToken<F, Column>

impl<F, Column> StructuralEq for PolishToken<F, Column>

impl<F, Column> StructuralPartialEq for PolishToken<F, Column>