From 0c5a8f2c24de341608b67d1318ab05496cba5891 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Thu, 29 Feb 2024 17:27:03 +0100
Subject: [PATCH] MSM/Serialization: add constraints file and basis environment

---
 msm/src/serialization/constraints.rs | 7 +++++++
 msm/src/serialization/mod.rs         | 1 +
 2 files changed, 8 insertions(+)
 create mode 100644 msm/src/serialization/constraints.rs

diff --git a/msm/src/serialization/constraints.rs b/msm/src/serialization/constraints.rs
new file mode 100644
index 0000000000..a8c8235b0a
--- /dev/null
+++ b/msm/src/serialization/constraints.rs
@@ -0,0 +1,7 @@
+use kimchi::circuits::expr::{ConstantExpr, Expr};
+
+use crate::columns::Column;
+
+pub struct Env<Fp> {
+    pub constraints: Vec<Expr<ConstantExpr<Fp>, Column>>,
+}
diff --git a/msm/src/serialization/mod.rs b/msm/src/serialization/mod.rs
index 765e9556ed..03936c22ed 100644
--- a/msm/src/serialization/mod.rs
+++ b/msm/src/serialization/mod.rs
@@ -1,2 +1,3 @@
+pub mod constraints;
 pub mod interpreter;
 pub mod witness;