feat: add mstream constraints

0xPolygonMiden · Jun 7, 2023 · 5208891 · 5208891
1 parent 445393e
commit 5208891
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/constraints/miden-vm/stack.air b/constraints/miden-vm/stack.air
@@ -682,8 +682,10 @@ ev mpverify([s[16], op_bits[8], op_helpers[6]]):
 ev pipe([s[16], op_bits[8], op_helpers[6]]):
 
 
-# TODO: add constraints
+# Bus constraint is implemented in a separate file
 ev mstream([s[16], op_bits[8], op_helpers[6]]):
+    enf s[i]' = s[i] for i in 8..12
+    enf s[i]' = s[i] for i in 13..16
 
 # TODO: add constraints
 ev span([s[16], op_bits[8], op_helpers[6]])