Trait zkevm_circuits::util::Expr

pub trait Expr<F>
where
    F: Field,
{
    // Required method
    fn expr(&self) -> Expression<F>;
}

Trait that implements functionality to get a constant expression from commonly used types.

Required Methods

fn expr(&self) -> Expression<F>

Returns an expression for the type.

Implementations on Foreign Types

impl<F> Expr<F> for &Expression<F>

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for CopyDataType

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for Target

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for OpcodeId

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for bool

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for i32

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for isize

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for u8

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for u64

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for usize

where F: Field,

fn expr(&self) -> Expression<F>

impl<F> Expr<F> for Expression<F>

where F: Field,

fn expr(&self) -> Expression<F>

Implementors

impl<F: Field> Expr<F> for &Cell<F>

impl<F: Field> Expr<F> for zkevm_circuits::evm_circuit::table::FixedTableTag

impl<F: Field> Expr<F> for zkevm_circuits::mpt_circuit::FixedTableTag

impl<F: Field> Expr<F> for AccountFieldTag

impl<F: Field> Expr<F> for BlockContextFieldTag

impl<F: Field> Expr<F> for BytecodeFieldTag

impl<F: Field> Expr<F> for CallContextFieldTag

impl<F: Field> Expr<F> for StepStateFieldTag

impl<F: Field> Expr<F> for TxFieldTag

impl<F: Field> Expr<F> for TxLogFieldTag

impl<F: Field> Expr<F> for TxReceiptFieldTag

impl<F: Field> Expr<F> for MPTProofType

impl<F: Field> Expr<F> for Cell<F>

impl<F: Field, const N_LIMBS: usize> Expr<F> for IntDecomposition<F, N_LIMBS>