MSM/Serialization: add constraints file and basis environment

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

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/msm/src/serialization/constraints.rs 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
@@ -1,2 +1,3 @@
+pub mod constraints;
 pub mod interpreter;
 pub mod witness;