Fix execution errors with outer recursive proof

Author: jzaki

how-to/recursive-proofs/circuits/recurseNode/src/main.nr

@@ -2,9 +2,9 @@ use dep::std;
 
 fn main(
     verification_key: [Field; 114],
-    public_inputs: pub [Field; 2],
+    public_inputs: pub [Field; 5],
     key_hash: Field,
-    proof: [Field; 109]
+    proof: [Field; 93] //109
 ) -> pub u64 {
     // verify sum was computed correctly
     std::verify_proof(
@@ -13,5 +13,5 @@ fn main(
         public_inputs.as_slice(),
         key_hash
     );
-    public_inputs[1] as u64
+    public_inputs[4] as u64
 }

how-to/recursive-proofs/main.ts

@@ -77,11 +77,15 @@ async function start() {
     innerProof2,
     numPubInputs + 1 + 16 // +1 for public return +16 for hidden aggregation object
   );
+  console.log("artifacts2.proof length = ", artifacts2.proofAsFields.length);
+
+  pub_inputs.push(returnValue.toString()); // leaf returns sum
+  pub_inputs.push(returnValue.toString()); // node also coded to return same value
 
   // Generate and verify outer proof
   const outerParams = {
     verification_key: artifacts2.vkAsFields,
-    public_inputs: [pub_inputs.map.toString(), returnValue.toString()], // returns proven sum
+    public_inputs: pub_inputs,
     key_hash: artifacts2.vkHash,
     proof: artifacts2.proofAsFields
   };