diff --git a/msm/src/serialization/mod.rs b/msm/src/serialization/mod.rs index fb86109f32..1308613f25 100644 --- a/msm/src/serialization/mod.rs +++ b/msm/src/serialization/mod.rs @@ -1,3 +1,7 @@ +use ark_ff::Field; + +use crate::mvlookup::LookupTableID; + /// The number of intermediate limbs of 4 bits required for the circuit pub const N_INTERMEDIATE_LIMBS: usize = 20; @@ -6,6 +10,20 @@ pub mod constraints; pub mod interpreter; pub mod witness; +pub enum LookupTable { + RangeCheck15, + RangeCheck4, +} + +impl LookupTableID for LookupTable { + fn into_field(self) -> F { + match self { + Self::RangeCheck15 => F::one(), + Self::RangeCheck4 => F::one() + F::one(), + } + } +} + #[cfg(test)] mod tests { use kimchi::circuits::domains::EvaluationDomains;