Skip to content

Commit

Permalink
Recursive proof test comment
Browse files Browse the repository at this point in the history
  • Loading branch information
akonior committed Jun 10, 2024
1 parent 79db2cb commit d8017e5
Showing 1 changed file with 3 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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));

Expand Down

0 comments on commit d8017e5

Please sign in to comment.