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§
Sourcefn lookup_rc16(&mut self, flag: Self::Variable, value: Self::Variable)
fn lookup_rc16(&mut self, flag: Self::Variable, value: Self::Variable)
Adds a lookup to the RangeCheck16 table
Sourcefn lookup_reset(
&mut self,
flag: Self::Variable,
dense: Self::Variable,
sparse: Self::Variable,
)
fn lookup_reset( &mut self, flag: Self::Variable, dense: Self::Variable, sparse: Self::Variable, )
Adds a lookup to the Reset table
Sourcefn lookup_sparse(&mut self, flag: Self::Variable, value: Self::Variable)
fn lookup_sparse(&mut self, flag: Self::Variable, value: Self::Variable)
Adds a lookup to the Shift table
Sourcefn lookup_byte(&mut self, flag: Self::Variable, value: Self::Variable)
fn lookup_byte(&mut self, flag: Self::Variable, value: Self::Variable)
Adds a lookup to the Byte table
Sourcefn lookup_pad(&mut self, flag: Self::Variable, value: Vec<Self::Variable>)
fn lookup_pad(&mut self, flag: Self::Variable, value: Vec<Self::Variable>)
Adds a lookup to the Pad table
Sourcefn lookup_round_constants(
&mut self,
flag: Self::Variable,
value: Vec<Self::Variable>,
)
fn lookup_round_constants( &mut self, flag: Self::Variable, value: Vec<Self::Variable>, )
Adds a lookup to the RoundConstants table
fn read_syscall(&mut self, flag: Self::Variable, value: Vec<Self::Variable>)
fn write_syscall(&mut self, flag: Self::Variable, value: Vec<Self::Variable>)
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.