#include <l1_to_l2_message_tree_check.hpp>

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

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
	Checks whether an L1-to-L2 message exists in the message tree via Merkle membership proof.

Public Member Functions inherited from bb::avm2::simulation::L1ToL2MessageTreeCheckInterface
virtual	~L1ToL2MessageTreeCheckInterface ()=default

Private Attributes
EventEmitterInterface< L1ToL2MessageTreeCheckEvent > &	events

MerkleCheckInterface &	merkle_check

Detailed Description

Definition at line 15 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 17 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

Checks whether an L1-to-L2 message exists in the message tree via Merkle membership proof.

Verifies that leaf_value is present at leaf_index in the tree whose root is given by snapshot, then compares it against the user provided msg_hash.

Note: This won't check that leaf index is less than the next available leaf index.

Parameters

msg_hash	The message hash the user wants to know if exists.
leaf_value	The actual leaf value retrieved from the tree.
leaf_index	The index of the leaf in the tree.
sibling_path	The Merkle sibling path used for the membership proof.
snapshot	The tree snapshot to verify against.