Merge pull request #2141 from o1-labs/dw/reintro-commit-af6f5f3

dannywillems · web-flow · commit b29ad2299119 · 2025-04-14T21:07:48.000+02:00
Reintro commit af6f5f3 from proof-systems
diff --git a/flake.lock b/flake.lock
diff --git a/src/bindings b/src/bindings
@@ -1 +1 @@
-Subproject commit b4c073bbf2bf922b1a357e7f593261a366e94e5b
+Subproject commit 43a8ad07e21782480ddb9ecfb08cd4e2681f0cc9
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit 8f6609ebc9ea9edcc677d006e20ed6b704b3cd4e
+Subproject commit edba17792592d397090114dc9037523bc6568aad
