Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::L1ToL2MessageTreeCheck Class Reference

#include <l1_to_l2_message_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::L1ToL2MessageTreeCheck:
bb::avm2::simulation::L1ToL2MessageTreeCheckInterface

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
 
- Public Member Functions inherited from bb::avm2::simulation::L1ToL2MessageTreeCheckInterface
virtual ~L1ToL2MessageTreeCheckInterface ()=default
 

Private Attributes

EventEmitterInterface< L1ToL2MessageTreeCheckEvent > & events
 
MerkleCheckInterfacemerkle_check
 

Detailed Description

Definition at line 12 of file l1_to_l2_message_tree_check.hpp.

Constructor & Destructor Documentation

◆ L1ToL2MessageTreeCheck()

bb::avm2::simulation::L1ToL2MessageTreeCheck::L1ToL2MessageTreeCheck ( MerkleCheckInterface merkle_check,
EventEmitterInterface< L1ToL2MessageTreeCheckEvent > &  event_emitter 
)
inline

Definition at line 14 of file l1_to_l2_message_tree_check.hpp.

Member Function Documentation

◆ exists()

bool bb::avm2::simulation::L1ToL2MessageTreeCheck::exists ( const FF msg_hash,
const FF leaf_value,
uint64_t  leaf_index,
std::span< const FF sibling_path,
const AppendOnlyTreeSnapshot snapshot 
)
overridevirtual

Member Data Documentation

◆ events

EventEmitterInterface<L1ToL2MessageTreeCheckEvent>& bb::avm2::simulation::L1ToL2MessageTreeCheck::events
private

Definition at line 27 of file l1_to_l2_message_tree_check.hpp.

◆ merkle_check

MerkleCheckInterface& bb::avm2::simulation::L1ToL2MessageTreeCheck::merkle_check
private

Definition at line 28 of file l1_to_l2_message_tree_check.hpp.


The documentation for this class was generated from the following files: