Merge pull request #934 from o1-labs/feature/hf-audit-recursion

Audit recursion section
o1-labs · May 30, 2024 · 671f89e · 671f89e
2 parents e450ca6 + d6b3bcb
commit 671f89e
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/docs/zkapps/o1js/recursion.mdx b/docs/zkapps/o1js/recursion.mdx
@@ -57,10 +57,10 @@ const SimpleProgram = ZkProgram({
   publicInput: Field,
 
   methods: {
-    run: {
+   run: {
       privateInputs: [],
 
-      method(publicInput: Field) {
+      async method(publicInput: Field) {
         publicInput.assertEquals(Field(0));
       },
     }
@@ -111,15 +111,15 @@ const AddOne = ZkProgram({
     baseCase: {
       privateInputs: [],
 
-      method(publicInput: Field) {
+      async method(publicInput: Field) {
         publicInput.assertEquals(Field(0));
       },
     },
 
     step: {
       privateInputs: [SelfProof],
 
-      method(publicInput: Field, earlierProof: SelfProof<Field, void>) {
+      async method(publicInput: Field, earlierProof: SelfProof<Field, void>) {
         earlierProof.verify();
         earlierProof.publicInput.add(1).assertEquals(publicInput);
       },
@@ -177,13 +177,13 @@ let RollupAdd = ZkProgram({
     baseCase: {
       privateInputs: [],
 
-      method(publicInput: Field) { },
+      async method(publicInput: Field) { },
     },
 
     step: {
       privateInputs: [SelfProof, SelfProof],
 
-      method(
+      async method(
         publicInput: Field,
         left: SelfProof<Field, void>,
         right: SelfProof<Field, void>