MSM/Serialization: add method add_constraint in trait env

o1-labs · Feb 29, 2024 · da9a45f · da9a45f
1 parent 0c5a8f2
commit da9a45f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/msm/src/serialization/interpreter.rs b/msm/src/serialization/interpreter.rs
@@ -7,6 +7,8 @@ pub trait InterpreterEnv {
         + std::ops::Mul<Self::Variable, Output = Self::Variable>
         + std::fmt::Debug;
 
+    fn add_constraint(&mut self, cst: Self::Variable);
+
     fn copy(&mut self, x: &Self::Variable, position: Self::Position) -> Self::Variable;
 
     fn get_column_for_kimchi_limb(j: usize) -> Self::Position;

diff --git a/msm/src/serialization/witness.rs b/msm/src/serialization/witness.rs
@@ -21,6 +21,10 @@ impl<Fp: Field> InterpreterEnv for Env<Fp> {
     // values. Let's see later
     type Variable = u128;
 
+    fn add_constraint(&mut self, cst: Self::Variable) {
+        assert_eq!(cst, 0);
+    }
+
     fn constant(value: u128) -> Self::Variable {
         value
     }