pub trait LogupHelpers<F: One + Debug + Zero>where
    Self: Interpreter<F>,{
    // Provided methods
    fn lookup_rc16(&mut self, flag: Self::Variable, value: Self::Variable) { ... }
    fn lookup_reset(
        &mut self,
        flag: Self::Variable,
        dense: Self::Variable,
        sparse: Self::Variable
    ) { ... }
    fn lookup_sparse(&mut self, flag: Self::Variable, value: Self::Variable) { ... }
    fn lookup_byte(&mut self, flag: Self::Variable, value: Self::Variable) { ... }
    fn lookup_pad(&mut self, flag: Self::Variable, value: Vec<Self::Variable>) { ... }
    fn lookup_round_constants(
        &mut self,
        flag: Self::Variable,
        value: Vec<Self::Variable>
    ) { ... }
    fn read_syscall(&mut self, flag: Self::Variable, value: Vec<Self::Variable>) { ... }
    fn write_syscall(
        &mut self,
        flag: Self::Variable,
        value: Vec<Self::Variable>
    ) { ... }
}
Expand description

This trait contains helper functions for the lookups used in the Keccak circuit using the zkVM lookup tables

Provided Methods§

source

fn lookup_rc16(&mut self, flag: Self::Variable, value: Self::Variable)

Adds a lookup to the RangeCheck16 table

source

fn lookup_reset( &mut self, flag: Self::Variable, dense: Self::Variable, sparse: Self::Variable )

Adds a lookup to the Reset table

source

fn lookup_sparse(&mut self, flag: Self::Variable, value: Self::Variable)

Adds a lookup to the Shift table

source

fn lookup_byte(&mut self, flag: Self::Variable, value: Self::Variable)

Adds a lookup to the Byte table

source

fn lookup_pad(&mut self, flag: Self::Variable, value: Vec<Self::Variable>)

Adds a lookup to the Pad table

source

fn lookup_round_constants( &mut self, flag: Self::Variable, value: Vec<Self::Variable> )

Adds a lookup to the RoundConstants table

source

fn read_syscall(&mut self, flag: Self::Variable, value: Vec<Self::Variable>)

source

fn write_syscall(&mut self, flag: Self::Variable, value: Vec<Self::Variable>)

Implementors§

source§

impl<F: Field> LogupHelpers<F> for o1vm::keccak::constraints::Env<F>

source§

impl<F: Field> LogupHelpers<F> for o1vm::keccak::witness::Env<F>