From c3251bd6afa860199cc128b607cada2d36c42ba7 Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Tue, 24 Oct 2023 12:32:40 +0100
Subject: [PATCH] chore: bake `input_aggregration_object` into circuit

---
 .../integration-tests/circuits/recursion/src/main.nr  | 11 ++++-------
 .../test/node/onchain_recursive_verification.test.ts  |  1 -
 2 files changed, 4 insertions(+), 8 deletions(-)

diff --git a/compiler/integration-tests/circuits/recursion/src/main.nr b/compiler/integration-tests/circuits/recursion/src/main.nr
index ffa3ccef90e..e60e4e0b61a 100644
--- a/compiler/integration-tests/circuits/recursion/src/main.nr
+++ b/compiler/integration-tests/circuits/recursion/src/main.nr
@@ -5,15 +5,12 @@ fn main(
     proof : [Field; 94], 
     public_inputs : [Field; 1], 
     key_hash : Field, 
-    input_aggregation_object : [Field; 16],
 ) -> pub [Field;16]{
-    let vk : [Field] = verification_key;
-    let p : [Field] = proof;
-    let pi : [Field] = public_inputs;
+    let input_aggregation_object = [0; 16];
     std::verify_proof(
-        vk, 
-        p, 
-        pi, 
+        verification_key.as_slice(), 
+        proof.as_slice(), 
+        public_inputs.as_slice(), 
         key_hash, 
         input_aggregation_object
     )
diff --git a/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts b/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts
index d8041bd25a1..4c1aafd6200 100644
--- a/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts
+++ b/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts
@@ -47,7 +47,6 @@ it(`smart contract can verify a recursive proof`, async () => {
     proof: proofAsFields,
     public_inputs: [main_inputs.y as Field],
     key_hash: vkHash,
-    input_aggregation_object: ['0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '0'],
   };
 
   const recursion_proof = await recursion.generateFinalProof(recursion_inputs);