chore: bake input_aggregration_object into circuit

noir-lang · Oct 24, 2023 · c3251bd · c3251bd
1 parent 4c0a05e
commit c3251bd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git 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
@@ -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);