Trait ArithHelpers

pub trait ArithHelpers<F: One + Debug + Zero>
where
    Self: Interpreter<F>,
{
    // Required method
    fn two_pow(x: u64) -> Self::Variable;

    // Provided methods
    fn zero() -> Self::Variable { ... }
    fn one() -> Self::Variable { ... }
    fn two() -> Self::Variable { ... }
}

This trait contains helper functions for arithmetic operations used in the Keccak circuit

Required Methods

fn two_pow(x: u64) -> Self::Variable

Returns a variable representing the value 2^x

Provided Methods

fn zero() -> Self::Variable

Returns a variable representing the value zero

fn one() -> Self::Variable

Returns a variable representing the value one

fn two() -> Self::Variable

Returns a variable representing the value two

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<F: Field> ArithHelpers<F> for o1vm::interpreters::keccak::constraints::Env<F>

impl<F: Field> ArithHelpers<F> for o1vm::interpreters::keccak::witness::Env<F>