chore: assert that vks are the same

noir-lang · Apr 5, 2024 · 6bf8431 · 6bf8431
1 parent 6ce0bc9
commit 6bf8431
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/compiler/integration-tests/test/browser/recursion.test.ts b/compiler/integration-tests/test/browser/recursion.test.ts
@@ -113,10 +113,13 @@ describe('It compiles noir program code, receiving circuit bytes and abi object.
       main_proof,
       numPublicInputs,
     );
-    const { proofAsFields: proofAsFields2 } = await main_backend.generateRecursiveProofArtifacts(
-      main_proof2,
-      numPublicInputs,
-    );
+    const {
+      proofAsFields: proofAsFields2,
+      vkAsFields: vkAsFields2,
+      vkHash: vkHash2,
+    } = await main_backend.generateRecursiveProofArtifacts(main_proof2, numPublicInputs);
+    expect(vkAsFields).to.be.deep.eq(vkAsFields2, 'two separate vks for the same program.');
+    expect(vkHash).to.be.eq(vkHash2, 'two separate vk hashes for the same program.');
 
     const recursion_inputs: InputMap = {
       verification_key: vkAsFields,