|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <l1_to_l2_message_tree_check.hpp>
Public Member Functions | |
| L1ToL2MessageTreeCheck (MerkleCheckInterface &merkle_check, EventEmitterInterface< L1ToL2MessageTreeCheckEvent > &event_emitter) | |
| bool | exists (const FF &msg_hash, const FF &leaf_value, uint64_t leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot) override |
Private Attributes | |
| EventEmitterInterface< L1ToL2MessageTreeCheckEvent > & | events |
| MerkleCheckInterface & | merkle_check |
Definition at line 12 of file l1_to_l2_message_tree_check.hpp.
|
inline |
Definition at line 14 of file l1_to_l2_message_tree_check.hpp.
|
overridevirtual |
Implements bb::avm2::simulation::L1ToL2MessageTreeCheckInterface.
Definition at line 8 of file l1_to_l2_message_tree_check.cpp.
|
private |
Definition at line 27 of file l1_to_l2_message_tree_check.hpp.
|
private |
Definition at line 28 of file l1_to_l2_message_tree_check.hpp.