From e4cedfdbd614c8dc50190a8d6299a94ed408148b Mon Sep 17 00:00:00 2001 From: Tom French Date: Sun, 15 Oct 2023 23:58:15 +0100 Subject: [PATCH] chore: add sanity check that offchain verification passes --- .../test/node/onchain_recursive_verification.test.ts | 1 + 1 file changed, 1 insertion(+) 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 0181a6202d2..d9391f02d42 100644 --- a/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts +++ b/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts @@ -51,6 +51,7 @@ it(`smart contract can verify a recursive proof`, async () => { }; const recursion_proof = await recursion.generateFinalProof(recursion_inputs); + expect(await recursion.verifyFinalProof(recursion_proof)).to.be.true; // Smart contract verification