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));