Merge pull request #1494 from o1-labs/fix/lock-async-circuits

Fix Pickles async circuits
o1-labs · Apr 4, 2024 · 260c30d · 260c30d
2 parents 8dde2c3 + f3388ee
commit 260c30d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/src/bindings b/src/bindings
diff --git a/src/mina b/src/mina
diff --git 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();
       },
     },