Merge pull request #2459 from o1-labs/shigoto/fix-side-loading-example

Fix side-loading zkprogram example to use the second child proof

Author: Shigoto-dev19

src/examples/zkprogram/side-loading/dynamic-keys-merkletree.ts

@@ -2,7 +2,6 @@ import {
   DynamicProof,
   FeatureFlags,
   Field,
-  MerkleTree,
   MerkleWitness,
   Proof,
   SelfProof,
@@ -11,7 +10,13 @@ import {
   ZkProgram,
 } from 'o1js';
 
-export { mainProgram, sideloadedProgram, SideloadedProgramProof,MerkleTreeWitness, MainProgramState };
+export {
+  mainProgram,
+  sideloadedProgram,
+  SideloadedProgramProof,
+  MerkleTreeWitness,
+  MainProgramState,
+};
 
 /**
  * This example showcases how DynamicProofs can be used along with a merkletree that stores
@@ -127,4 +132,3 @@ const mainProgram = ZkProgram({
     },
   },
 });
-

src/examples/zkprogram/side-loading/run.ts

@@ -1,36 +1,42 @@
-import { Field, MerkleTree, verify } from "o1js";
-import { sideloadedProgram, mainProgram, SideloadedProgramProof, MerkleTreeWitness, MainProgramState } from "./dynamic-keys-merkletree.js";
+import { Field, MerkleTree, verify } from 'o1js';
+import {
+  sideloadedProgram,
+  mainProgram,
+  SideloadedProgramProof,
+  MerkleTreeWitness,
+  MainProgramState,
+} from './dynamic-keys-merkletree.js';
 
 console.log('Compiling circuits...');
-const programVk = (await sideloadedProgram.compile()).verificationKey;
+const sideVk = (await sideloadedProgram.compile()).verificationKey;
 const mainVk = (await mainProgram.compile()).verificationKey;
 
 const tree = new MerkleTree(64);
 
 console.log('Proving deployment of side-loaded key');
 const rootBefore = tree.getRoot();
-tree.setLeaf(1n, programVk.hash);
+tree.setLeaf(1n, sideVk.hash);
 const witness = new MerkleTreeWitness(tree.getWitness(1n));
 
 const { proof: proof1 } = await mainProgram.addSideloadedProgram(
   new MainProgramState({
     treeRoot: rootBefore,
     state: Field(0),
   }),
-  programVk,
+  sideVk,
   witness
 );
 
 console.log('Proving child program execution');
-const { proof: childProof } = await sideloadedProgram.compute(Field(0), Field(10));
+const { proof: childProof1 } = await sideloadedProgram.compute(Field(0), Field(10));
 
 console.log('Proving verification inside main program');
 const { proof: proof2 } = await mainProgram.validateUsingTree(
   proof1.publicOutput,
   proof1,
-  programVk,
+  sideVk,
   witness,
-  SideloadedProgramProof.fromProof(childProof)
+  SideloadedProgramProof.fromProof(childProof1)
 );
 
 const validProof2 = await verify(proof2, mainVk);
@@ -40,13 +46,13 @@ console.log('Proving different method of child program');
 const { proof: childProof2 } = await sideloadedProgram.assertAndAdd(Field(0), Field(10));
 
 console.log('Proving verification inside main program');
-const proof3 = await mainProgram.validateUsingTree(
+const { proof: proof3 } = await mainProgram.validateUsingTree(
   proof1.publicOutput,
   proof1,
-  programVk,
+  sideVk,
   witness,
-  SideloadedProgramProof.fromProof(childProof)
+  SideloadedProgramProof.fromProof(childProof2)
 );
 
-const validProof3 = await verify(proof2, mainVk);
-console.log('ok?', validProof2);
+const validProof3 = await verify(proof3, mainVk);
+console.log('ok?', validProof3);