diff --git a/src/bindings b/src/bindings
index 3c68a0dad4..552d97e367 160000
--- a/src/bindings
+++ b/src/bindings
@@ -1 +1 @@
-Subproject commit 3c68a0dad42df20e5ef89ed408c83c41fdfcfd24
+Subproject commit 552d97e3670a18bb57fe0019284b3ae4ea35e326
diff --git a/src/mina b/src/mina
index e818ecbe7c..9d1cd89a44 160000
--- a/src/mina
+++ b/src/mina
@@ -1 +1 @@
-Subproject commit e818ecbe7c45ac3bd45c08f36220aa7e7d4e03d8
+Subproject commit 9d1cd89a4454caeab76921e92868c2b3e1d4bb59
diff --git a/src/tests/fake-proof.ts b/src/tests/fake-proof.ts
index dcc1767560..430cff43be 100644
--- a/src/tests/fake-proof.ts
+++ b/src/tests/fake-proof.ts
@@ -14,7 +14,7 @@ const RealProgram = ZkProgram({
   methods: {
     make: {
       privateInputs: [UInt64],
-      method(value: UInt64) {
+      async method(value: UInt64) {
         let expected = UInt64.from(34);
         value.assertEquals(expected);
       },
@@ -25,7 +25,7 @@ const RealProgram = ZkProgram({
 const FakeProgram = ZkProgram({
   name: 'fake',
   methods: {
-    make: { privateInputs: [UInt64], method(_: UInt64) {} },
+    make: { privateInputs: [UInt64], async method(_: UInt64) {} },
   },
 });
 
@@ -36,7 +36,7 @@ const RecursiveProgram = ZkProgram({
   methods: {
     verifyReal: {
       privateInputs: [RealProof],
-      method(proof: RealProof) {
+      async method(proof: RealProof) {
         proof.verify();
       },
     },