From d8017e5ed826ee3cf45c9fb6d7533cf2c37806d9 Mon Sep 17 00:00:00 2001 From: Arkadiusz Konior Date: Mon, 10 Jun 2024 10:47:20 +0200 Subject: [PATCH] Recursive proof test comment --- .../lib/src/account_with_storage_recursive_int_test.nr | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ethereum/circuits/lib/src/account_with_storage_recursive_int_test.nr b/ethereum/circuits/lib/src/account_with_storage_recursive_int_test.nr index 10802212..599f36d1 100644 --- a/ethereum/circuits/lib/src/account_with_storage_recursive_int_test.nr +++ b/ethereum/circuits/lib/src/account_with_storage_recursive_int_test.nr @@ -4,11 +4,13 @@ use crate::fixtures::mainnet::paris::usdc_circle::{header::{number, hash}, accou use crate::chain::ETHEREUM_MAINNET_ID; use crate::misc::types::{Bytes32, Address}; use dep::std::test::OracleMock; +use dep::std::unsafe::zeroed; #[test] fn success() { let result = StorageWithinBlock { block_hash: hash, account, values }; - let recursive_proof = RecursiveProof { key_hash: 1, verification_key: [0; 114], proof: [0; 93] }; + // This is not a correct proof but it passes because nargo does not verify it. Nargo thinks that it's bb's job, but doesn't call bb. + let recursive_proof = RecursiveProof { proof: zeroed(), verification_key: zeroed(), key_hash: zeroed() }; let _ = OracleMock::mock("get_storage_recursive").returns((result.serialize(), recursive_proof));