Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | Private Member Functions | Private Attributes | List of all members
bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck Class Reference

#include <written_public_data_slots_tree_check.hpp>

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

Public Member Functions

 WrittenPublicDataSlotsTreeCheck (Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, WrittenPublicDataSlotsTree initial_state, EventEmitterInterface< WrittenPublicDataSlotsTreeCheckEvent > &read_event_emitter)
 
bool contains (const AztecAddress &contract_address, const FF &slot) override
 
void insert (const AztecAddress &contract_address, const FF &slot) override
 
AppendOnlyTreeSnapshot get_snapshot () const override
 
uint32_t size () const override
 
void create_checkpoint () override
 
void commit_checkpoint () override
 
void revert_checkpoint () override
 
- Public Member Functions inherited from bb::avm2::simulation::WrittenPublicDataSlotsInterface
virtual ~WrittenPublicDataSlotsInterface ()=default
 

Private Member Functions

void validate_low_leaf_jumps_over_slot (const WrittenPublicDataSlotsTreeLeafPreimage &low_leaf_preimage, const FF &leaf_slot)
 
FF compute_leaf_slot (const AztecAddress &contract_address, const FF &slot)
 

Private Attributes

EventEmitterInterface< WrittenPublicDataSlotsTreeCheckEvent > & events
 
Poseidon2Interface & poseidon2
 
MerkleCheckInterface & merkle_check
 
FieldGreaterThanInterface & field_gt
 
std::stack< WrittenPublicDataSlotsTree > written_public_data_slots_tree_stack = {}
 

Detailed Description

Definition at line 17 of file written_public_data_slots_tree_check.hpp.

Constructor & Destructor Documentation

◆ WrittenPublicDataSlotsTreeCheck()

bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::WrittenPublicDataSlotsTreeCheck ( Poseidon2Interface &  poseidon2,
MerkleCheckInterface &  merkle_check,
FieldGreaterThanInterface &  field_gt,
WrittenPublicDataSlotsTree  initial_state,
EventEmitterInterface< WrittenPublicDataSlotsTreeCheckEvent > &  read_event_emitter 
)
inline

Definition at line 19 of file written_public_data_slots_tree_check.hpp.

Member Function Documentation

◆ commit_checkpoint()

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

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

Definition at line 141 of file written_public_data_slots_tree_check.cpp.

◆ compute_leaf_slot()

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

Definition at line 8 of file written_public_data_slots_tree_check.cpp.

◆ contains()

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

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

Definition at line 24 of file written_public_data_slots_tree_check.cpp.

◆ create_checkpoint()

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

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

Definition at line 135 of file written_public_data_slots_tree_check.cpp.

◆ get_snapshot()

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

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

Definition at line 124 of file written_public_data_slots_tree_check.cpp.

◆ insert()

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

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

Definition at line 60 of file written_public_data_slots_tree_check.cpp.

◆ revert_checkpoint()

void bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::revert_checkpoint ( )
overridevirtual

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

Definition at line 149 of file written_public_data_slots_tree_check.cpp.

◆ size()

uint32_t bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::size ( ) const
overridevirtual

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

Definition at line 129 of file written_public_data_slots_tree_check.cpp.

◆ validate_low_leaf_jumps_over_slot()

void bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::validate_low_leaf_jumps_over_slot ( const WrittenPublicDataSlotsTreeLeafPreimage &  low_leaf_preimage,
const FF &  leaf_slot 
)
private

Definition at line 13 of file written_public_data_slots_tree_check.cpp.

Member Data Documentation

◆ events

EventEmitterInterface<WrittenPublicDataSlotsTreeCheckEvent>& bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::events
private

Definition at line 45 of file written_public_data_slots_tree_check.hpp.

◆ field_gt

FieldGreaterThanInterface& bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::field_gt
private

Definition at line 48 of file written_public_data_slots_tree_check.hpp.

◆ merkle_check

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

Definition at line 47 of file written_public_data_slots_tree_check.hpp.

◆ poseidon2

Poseidon2Interface& bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::poseidon2
private

Definition at line 46 of file written_public_data_slots_tree_check.hpp.

◆ written_public_data_slots_tree_stack

std::stack<WrittenPublicDataSlotsTree> bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck::written_public_data_slots_tree_stack = {}
private

Definition at line 50 of file written_public_data_slots_tree_check.hpp.

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