bb::avm2::simulation::RetrievedBytecodesTreeCheck Class Reference

#include <retrieved_bytecodes_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::RetrievedBytecodesTreeCheck:

Public Member Functions
	RetrievedBytecodesTreeCheck (Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, RetrievedBytecodesTree initial_state, EventEmitterInterface< RetrievedBytecodesTreeCheckEvent > &read_event_emitter)
bool	contains (const FF &class_id) override
void	insert (const FF &class_id) override
AppendOnlyTreeSnapshot	get_snapshot () const override
uint32_t	size () const override
Public Member Functions inherited from bb::avm2::simulation::RetrievedBytecodesInterface
virtual	~RetrievedBytecodesInterface ()=default

Private Member Functions
void	validate_low_leaf_jumps_over_class_id (const RetrievedBytecodesTreeLeafPreimage &low_leaf_preimage, const FF &class_id)

Private Attributes
EventEmitterInterface< RetrievedBytecodesTreeCheckEvent > &	events
Poseidon2Interface &	poseidon2
MerkleCheckInterface &	merkle_check
FieldGreaterThanInterface &	field_gt
RetrievedBytecodesTree	tree

Detailed Description

Definition at line 18 of file retrieved_bytecodes_tree_check.hpp.

Constructor & Destructor Documentation

RetrievedBytecodesTreeCheck()

bb::avm2::simulation::RetrievedBytecodesTreeCheck::RetrievedBytecodesTreeCheck ( Poseidon2Interface &  poseidon2, MerkleCheckInterface &  merkle_check, FieldGreaterThanInterface &  field_gt, RetrievedBytecodesTree  initial_state, EventEmitterInterface< RetrievedBytecodesTreeCheckEvent > &  read_event_emitter  )

inline

Definition at line 20 of file retrieved_bytecodes_tree_check.hpp.

Member Function Documentation

contains()

bool bb::avm2::simulation::RetrievedBytecodesTreeCheck::contains ( const FF &  class_id )

overridevirtual

Implements bb::avm2::simulation::RetrievedBytecodesInterface.

Definition at line 19 of file retrieved_bytecodes_tree_check.cpp.

get_snapshot()

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

overridevirtual

Implements bb::avm2::simulation::RetrievedBytecodesTreeCheckInterface.

Definition at line 111 of file retrieved_bytecodes_tree_check.cpp.

insert()

void bb::avm2::simulation::RetrievedBytecodesTreeCheck::insert ( const FF &  class_id )

overridevirtual

Implements bb::avm2::simulation::RetrievedBytecodesInterface.

Definition at line 52 of file retrieved_bytecodes_tree_check.cpp.

size()

uint32_t bb::avm2::simulation::RetrievedBytecodesTreeCheck::size ( ) const

overridevirtual

Implements bb::avm2::simulation::RetrievedBytecodesInterface.

Definition at line 116 of file retrieved_bytecodes_tree_check.cpp.

validate_low_leaf_jumps_over_class_id()

void bb::avm2::simulation::RetrievedBytecodesTreeCheck::validate_low_leaf_jumps_over_class_id ( const RetrievedBytecodesTreeLeafPreimage &  low_leaf_preimage, const FF &  class_id  )

private

Definition at line 8 of file retrieved_bytecodes_tree_check.cpp.

Member Data Documentation

events

EventEmitterInterface<RetrievedBytecodesTreeCheckEvent>& bb::avm2::simulation::RetrievedBytecodesTreeCheck::events

private

Definition at line 41 of file retrieved_bytecodes_tree_check.hpp.

field_gt

FieldGreaterThanInterface& bb::avm2::simulation::RetrievedBytecodesTreeCheck::field_gt

private

Definition at line 44 of file retrieved_bytecodes_tree_check.hpp.

merkle_check

MerkleCheckInterface& bb::avm2::simulation::RetrievedBytecodesTreeCheck::merkle_check

private

Definition at line 43 of file retrieved_bytecodes_tree_check.hpp.

poseidon2

Poseidon2Interface& bb::avm2::simulation::RetrievedBytecodesTreeCheck::poseidon2

private

Definition at line 42 of file retrieved_bytecodes_tree_check.hpp.

tree

RetrievedBytecodesTree bb::avm2::simulation::RetrievedBytecodesTreeCheck::tree

private

Definition at line 46 of file retrieved_bytecodes_tree_check.hpp.

---

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

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