diff --git a/docs/zkapps/o1js/recursion.mdx b/docs/zkapps/o1js/recursion.mdx
index 3987ef963..80f27c555 100644
--- 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,7 +111,7 @@ const AddOne = ZkProgram({
     baseCase: {
       privateInputs: [],
 
-      method(publicInput: Field) {
+      async method(publicInput: Field) {
         publicInput.assertEquals(Field(0));
       },
     },
@@ -119,7 +119,7 @@ const AddOne = ZkProgram({
     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>