Merge pull request #2140 from o1-labs/dw/reintro-commit-8837834

dannywillems · web-flow · commit df1ff77af12d · 2025-04-09T23:09:24.000+02:00
Reintro commit 8837834 from proof-systems
diff --git a/flake.lock b/flake.lock
diff --git a/src/bindings b/src/bindings
@@ -1 +1 @@
-Subproject commit cc582eee41f32bb9ee61c983703b9b476db8f293
+Subproject commit b4c073bbf2bf922b1a357e7f593261a366e94e5b
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit e8732113d9262f36ab28d7d62afee45401c172a7
+Subproject commit 8f6609ebc9ea9edcc677d006e20ed6b704b3cd4e
