bb::avm2::simulation::PublicDataTreeCheck Class Reference

#include <public_data_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::PublicDataTreeCheck:

Public Member Functions
	PublicDataTreeCheck (Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, ExecutionIdGetterInterface &execution_id_manager, EventEmitterInterface< PublicDataTreeCheckEvent > &read_event_emitter)
void	assert_read (const FF &slot, const AztecAddress &contract_address, const FF &value, const PublicDataTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot) override
AppendOnlyTreeSnapshot	write (const FF &slot, const AztecAddress &contract_address, const FF &value, const PublicDataTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::span< const FF > insertion_sibling_path, bool is_protocol_write) override
void	on_checkpoint_created () override
void	on_checkpoint_committed () override
void	on_checkpoint_reverted () override
void	generate_ff_gt_events_for_squashing (std::vector< PublicDataWrite > &public_data_writes)
Public Member Functions inherited from bb::avm2::simulation::PublicDataTreeCheckInterface
virtual	~PublicDataTreeCheckInterface ()=default
Public Member Functions inherited from bb::avm2::simulation::CheckpointNotifiable
virtual	~CheckpointNotifiable ()=default

Private Member Functions
void	validate_low_leaf_jumps_over_slot (const PublicDataTreeLeafPreimage &low_leaf_preimage, const FF &leaf_slot)
FF	compute_leaf_slot (const AztecAddress &contract_address, const FF &slot)

Private Attributes
EventEmitterInterface< PublicDataTreeCheckEvent > &	events
Poseidon2Interface &	poseidon2
MerkleCheckInterface &	merkle_check
FieldGreaterThanInterface &	field_gt
ExecutionIdGetterInterface &	execution_id_manager

Detailed Description

Definition at line 13 of file public_data_tree_check.hpp.

Constructor & Destructor Documentation

PublicDataTreeCheck()

bb::avm2::simulation::PublicDataTreeCheck::PublicDataTreeCheck ( Poseidon2Interface &  poseidon2, MerkleCheckInterface &  merkle_check, FieldGreaterThanInterface &  field_gt, ExecutionIdGetterInterface &  execution_id_manager, EventEmitterInterface< PublicDataTreeCheckEvent > &  read_event_emitter  )

inline

Definition at line 15 of file public_data_tree_check.hpp.

Member Function Documentation

assert_read()

void bb::avm2::simulation::PublicDataTreeCheck::assert_read ( const FF &  slot, const AztecAddress &  contract_address, const FF &  value, const PublicDataTreeLeafPreimage &  low_leaf_preimage, uint64_t  low_leaf_index, std::span< const FF >  sibling_path, const AppendOnlyTreeSnapshot &  snapshot  )

overridevirtual

Implements bb::avm2::simulation::PublicDataTreeCheckInterface.

Definition at line 24 of file public_data_tree_check.cpp.

compute_leaf_slot()

FF bb::avm2::simulation::PublicDataTreeCheck::compute_leaf_slot ( const AztecAddress &  contract_address, const FF &  slot  )

private

Definition at line 7 of file public_data_tree_check.cpp.

generate_ff_gt_events_for_squashing()

void bb::avm2::simulation::PublicDataTreeCheck::generate_ff_gt_events_for_squashing

(

std::vector< PublicDataWrite > &

public_data_writes

)

Definition at line 156 of file public_data_tree_check.cpp.

on_checkpoint_committed()

void bb::avm2::simulation::PublicDataTreeCheck::on_checkpoint_committed ( )

overridevirtual

Implements bb::avm2::simulation::CheckpointNotifiable.

Definition at line 144 of file public_data_tree_check.cpp.

on_checkpoint_created()

void bb::avm2::simulation::PublicDataTreeCheck::on_checkpoint_created ( )

overridevirtual

Implements bb::avm2::simulation::CheckpointNotifiable.

Definition at line 139 of file public_data_tree_check.cpp.

on_checkpoint_reverted()

void bb::avm2::simulation::PublicDataTreeCheck::on_checkpoint_reverted ( )

overridevirtual

Implements bb::avm2::simulation::CheckpointNotifiable.

Definition at line 149 of file public_data_tree_check.cpp.

validate_low_leaf_jumps_over_slot()

void bb::avm2::simulation::PublicDataTreeCheck::validate_low_leaf_jumps_over_slot ( const PublicDataTreeLeafPreimage &  low_leaf_preimage, const FF &  leaf_slot  )

private

Definition at line 12 of file public_data_tree_check.cpp.

write()

AppendOnlyTreeSnapshot bb::avm2::simulation::PublicDataTreeCheck::write ( const FF &  slot, const AztecAddress &  contract_address, const FF &  value, const PublicDataTreeLeafPreimage &  low_leaf_preimage, uint64_t  low_leaf_index, std::span< const FF >  low_leaf_sibling_path, const AppendOnlyTreeSnapshot &  prev_snapshot, std::span< const FF >  insertion_sibling_path, bool  is_protocol_write  )

overridevirtual

Implements bb::avm2::simulation::PublicDataTreeCheckInterface.

Definition at line 63 of file public_data_tree_check.cpp.

Member Data Documentation

events

EventEmitterInterface<PublicDataTreeCheckEvent>& bb::avm2::simulation::PublicDataTreeCheck::events

private

Definition at line 53 of file public_data_tree_check.hpp.

execution_id_manager

ExecutionIdGetterInterface& bb::avm2::simulation::PublicDataTreeCheck::execution_id_manager

private

Definition at line 57 of file public_data_tree_check.hpp.

field_gt

FieldGreaterThanInterface& bb::avm2::simulation::PublicDataTreeCheck::field_gt

private

Definition at line 56 of file public_data_tree_check.hpp.

merkle_check

MerkleCheckInterface& bb::avm2::simulation::PublicDataTreeCheck::merkle_check

private

Definition at line 55 of file public_data_tree_check.hpp.

poseidon2

Poseidon2Interface& bb::avm2::simulation::PublicDataTreeCheck::poseidon2

private

Definition at line 54 of file public_data_tree_check.hpp.

---

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

• src/barretenberg/vm2/simulation/gadgets/public_data_tree_check.hpp
• src/barretenberg/vm2/simulation/gadgets/public_data_tree_check.cpp