adapt example

Author: mitschabaude

src/tests/inductive-proofs-internal.ts

@@ -1,4 +1,4 @@
-import { Field, ZkProgram, assert, Provable, Proof } from 'o1js';
+import { Field, ZkProgram, assert, Provable, Proof, Experimental } from 'o1js';
 import { tic, toc } from '../examples/utils/tic-toc.js';
 
 let log: string[] = [];
@@ -10,7 +10,7 @@ function pushLog(s: string) {
   });
 }
 
-let MaxProofsVerifiedTwo = ZkProgram({
+let mergeProgram = ZkProgram({
   name: 'recursive-2',
   publicOutput: Field,
 
@@ -31,7 +31,7 @@ let MaxProofsVerifiedTwo = ZkProgram({
       async method() {
         pushLog('mergeOne');
         let z = Provable.witness(Field, () => 0);
-        let x: Field = await MaxProofsVerifiedTwo.proveRecursively.baseCase(z);
+        let x: Field = await mergeProgramRecursive.baseCase(z);
         return { publicOutput: x.add(1) };
       },
     },
@@ -42,20 +42,21 @@ let MaxProofsVerifiedTwo = ZkProgram({
       async method() {
         pushLog('mergeTwo');
         let z = Provable.witness(Field, () => 0);
-        let x: Field = await MaxProofsVerifiedTwo.proveRecursively.baseCase(z);
-        let y: Field = await MaxProofsVerifiedTwo.proveRecursively.mergeOne();
+        let x: Field = await mergeProgramRecursive.baseCase(z);
+        let y: Field = await mergeProgramRecursive.mergeOne();
         return { publicOutput: x.add(y) };
       },
     },
   },
 });
+let mergeProgramRecursive = Experimental.Recursive(mergeProgram);
 
 let Wrapper = ZkProgram({
   name: 'wraps-recursive-2',
 
   methods: {
     wrap: {
-      privateInputs: [ZkProgram.Proof(MaxProofsVerifiedTwo)],
+      privateInputs: [ZkProgram.Proof(mergeProgram)],
 
       async method(proof: Proof<undefined, Field>) {
         proof.verify();
@@ -67,15 +68,15 @@ let Wrapper = ZkProgram({
 });
 
 tic('compiling');
-await MaxProofsVerifiedTwo.compile();
+await mergeProgram.compile();
 await Wrapper.compile();
 toc();
 
 tic('executing 4 proofs');
-let { proof } = await MaxProofsVerifiedTwo.mergeTwo();
+let { proof } = await mergeProgram.mergeTwo();
 toc();
 
-assert(await MaxProofsVerifiedTwo.verify(proof), 'Proof is not valid');
+assert(await mergeProgram.verify(proof), 'Proof is not valid');
 
 proof.publicOutput.assertEquals(15);