submodule: update proof-systems

querolita · querolita · commit cb030a42fafe · 2025-10-23T19:52:24.000+02:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit d4ff2e968c9b3239e99f9c414afe2a24ac855a1d
+Subproject commit 677dcd25069c7c2fe02d05431ac4f4b80f5a4521
