From da9a45f465f8cfc8ed82e74f36b4180a73857ed7 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Thu, 29 Feb 2024 18:00:42 +0100
Subject: [PATCH] MSM/Serialization: add method add_constraint in trait env

---
 msm/src/serialization/interpreter.rs | 2 ++
 msm/src/serialization/witness.rs     | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/msm/src/serialization/interpreter.rs b/msm/src/serialization/interpreter.rs
index fc57b7b52e..9b1b420310 100644
--- 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
index fccf763985..0f94a1521f 100644
--- 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
     }