Trait o1vm::interpreters::keccak::helpers::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

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>