#include <written_public_data_slots_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck:

Public Member Functions
	WrittenPublicDataSlotsTreeCheck (IndexedTreeCheckInterface &indexed_tree_check, WrittenPublicDataSlotsTree initial_state)

bool	contains (const AztecAddress &contract_address, const FF &slot) override
	Checks whether a public data slot exists in the written public data slots tree.

void	insert (const AztecAddress &contract_address, const FF &slot) override
	Inserts a public data slot into the written public data slots tree.

AppendOnlyTreeSnapshot	get_snapshot () const override
	Returns the current tree snapshot from the top of the checkpoint stack.

uint32_t	size () const override
	Returns the number of written public data slots in the tree.

void	create_checkpoint () override
	Creates a checkpoint by pushing a copy of the current tree state onto the stack.

void	commit_checkpoint () override
	Commits the current checkpoint by replacing the previous tree state with the current one.

void	revert_checkpoint () override
	Reverts the current checkpoint by discarding the top of the tree state stack.

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

Private Attributes
IndexedTreeCheckInterface &	indexed_tree_check

std::stack< WrittenPublicDataSlotsTree >	written_public_data_slots_tree_stack = {}

Detailed Description

Definition at line 15 of file written_public_data_slots_tree_check.hpp.

Constructor & Destructor Documentation

◆ WrittenPublicDataSlotsTreeCheck()

bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::WrittenPublicDataSlotsTreeCheck	(	IndexedTreeCheckInterface &	indexed_tree_check,
		WrittenPublicDataSlotsTree	initial_state
	)

inline

Definition at line 17 of file written_public_data_slots_tree_check.hpp.

Member Function Documentation

◆ commit_checkpoint()

void bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::commit_checkpoint ( )

overridevirtual

Commits the current checkpoint by replacing the previous tree state with the current one.

Pops the top of the stack and overwrites the new top, finalizing all writes made since the last create_checkpoint call.

Implements bb::avm2::simulation::WrittenPublicDataSlotsInterface.

Definition at line 132 of file written_public_data_slots_tree_check.cpp.

◆ contains()

bool bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::contains	(	const AztecAddress &	contract_address,
		const FF &	slot
	)

overridevirtual

Checks whether a public data slot exists in the written public data slots tree.

Computes the leaf slot from the contract address and slot, queries the in memory tree for the low leaf, converts it to generic IndexedTreeLeafData, and delegates the membership/non-membership proof to the indexed tree check gadget. Siloing is applied using the public leaf slot domain separator.

Parameters

contract_address	The address of the contract that owns the slot.
slot	The public data slot to look up.

Returns: True if the slot exists in the tree, false otherwise.

Implements bb::avm2::simulation::WrittenPublicDataSlotsInterface.

Definition at line 20 of file written_public_data_slots_tree_check.cpp.

◆ create_checkpoint()

void bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::create_checkpoint ( )

overridevirtual

Creates a checkpoint by pushing a copy of the current tree state onto the stack.

Subsequent writes modify only the top of the stack, allowing the checkpoint to be reverted (discarding changes) or committed (propagating changes down).

Implements bb::avm2::simulation::WrittenPublicDataSlotsInterface.

Definition at line 120 of file written_public_data_slots_tree_check.cpp.

◆ get_snapshot()

AppendOnlyTreeSnapshot bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::get_snapshot ( ) const

overridevirtual

Returns the current tree snapshot from the top of the checkpoint stack.

Returns: The current tree snapshot.

Implements bb::avm2::simulation::WrittenPublicDataSlotsTreeCheckInterface.

Definition at line 97 of file written_public_data_slots_tree_check.cpp.

◆ insert()

void bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::insert	(	const AztecAddress &	contract_address,
		const FF &	slot
	)

overridevirtual

Inserts a public data slot into the written public data slots tree.

Computes the leaf slot, performs the insertion on the in memory tree, then delegates the constrained write (or duplicate detection) to the indexed tree check gadget. Siloing is applied using the public leaf slot domain separator.

Parameters