Skip to content

Commit

Permalink
Merge branch 'keccak-interpreter/lookups' into keccak-interpreter/con…
Browse files Browse the repository at this point in the history
…straints
  • Loading branch information
querolita committed Mar 8, 2024
2 parents 80c2a52 + 14c9833 commit 9067ed7
Showing 1 changed file with 0 additions and 16 deletions.
16 changes: 0 additions & 16 deletions optimism/src/lookups.rs
Original file line number Diff line number Diff line change
Expand Up @@ -51,22 +51,6 @@ pub(crate) type Lookup<F> = RAMLookup<F, LookupTableIDs>;
/// The lookup table struct based on MVLookupTable for the VM table IDs
pub(crate) type LookupTable<F> = MVLookupTable<F, LookupTableIDs>;

/// This trait adds basic methods to deal with lookups inside an environment
pub(crate) trait Lookups {
type Column;
type Variable: std::ops::Mul<Self::Variable, Output = Self::Variable>
+ std::ops::Add<Self::Variable, Output = Self::Variable>
+ std::ops::Sub<Self::Variable, Output = Self::Variable>
+ std::ops::Neg<Output = Self::Variable>
+ Clone;

/// Adds a given Lookup to the environment
fn add_lookup(&mut self, lookup: Lookup<Self::Variable>);

/// Adds all lookups of Self to the environment
fn lookups(&mut self);
}

/// Trait that creates all the fixed lookup tables used in the VM
pub(crate) trait FixedLookupTables<F> {
fn table_range_check_16() -> LookupTable<F>;
Expand Down

0 comments on commit 9067ed7

Please sign in to comment.