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::HintedRawContractDB Class Referencefinal

#include <raw_data_dbs.hpp>

Inheritance diagram for bb::avm2::simulation::HintedRawContractDB:
bb::avm2::simulation::ContractDBInterface

Public Member Functions

 HintedRawContractDB (const ExecutionHints &hints)
 
std::optional< ContractInstance > get_contract_instance (const AztecAddress &address) const override
 
std::optional< ContractClass > get_contract_class (const ContractClassId &class_id) const override
 
std::optional< FF > get_bytecode_commitment (const ContractClassId &class_id) const override
 
std::optional< std::string > get_debug_function_name (const AztecAddress &address, const FunctionSelector &selector) const override
 
void add_contracts (const ContractDeploymentData &contract_deployment_data) override
 
void create_checkpoint () override
 
void commit_checkpoint () override
 
void revert_checkpoint () override
 
- Public Member Functions inherited from bb::avm2::simulation::ContractDBInterface
virtual ~ContractDBInterface ()=default
 

Private Member Functions

uint32_t get_checkpoint_id () const
 

Private Attributes

unordered_flat_map< GetContractInstanceKey, ContractInstanceHint > contract_instances
 
unordered_flat_map< GetContractClassKey, ContractClassHint > contract_classes
 
unordered_flat_map< GetBytecodeCommitmentKey, FF > bytecode_commitments
 
unordered_flat_map< GetDebugFunctionNameKey, std::string > debug_function_names
 
uint32_t action_counter = 0
 
std::stack< uint32_t > checkpoint_stack { { 0 } }
 
unordered_flat_map< uint32_t, ContractDBCreateCheckpointHint > create_checkpoint_hints
 
unordered_flat_map< uint32_t, ContractDBCommitCheckpointHint > commit_checkpoint_hints
 
unordered_flat_map< uint32_t, ContractDBRevertCheckpointHint > revert_checkpoint_hints
 

Detailed Description

Definition at line 25 of file raw_data_dbs.hpp.

Constructor & Destructor Documentation

◆ HintedRawContractDB()

bb::avm2::simulation::HintedRawContractDB::HintedRawContractDB ( const ExecutionHints &  hints)

Definition at line 53 of file raw_data_dbs.cpp.

Member Function Documentation

◆ add_contracts()

void bb::avm2::simulation::HintedRawContractDB::add_contracts ( const ContractDeploymentData &  contract_deployment_data)
overridevirtual

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 166 of file raw_data_dbs.cpp.

◆ commit_checkpoint()

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

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 183 of file raw_data_dbs.cpp.

◆ create_checkpoint()

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

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 171 of file raw_data_dbs.cpp.

◆ get_bytecode_commitment()

std::optional< FF > bb::avm2::simulation::HintedRawContractDB::get_bytecode_commitment ( const ContractClassId &  class_id) const
overridevirtual

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 144 of file raw_data_dbs.cpp.

◆ get_checkpoint_id()

uint32_t bb::avm2::simulation::HintedRawContractDB::get_checkpoint_id ( ) const
private

Definition at line 211 of file raw_data_dbs.cpp.

◆ get_contract_class()

std::optional< ContractClass > bb::avm2::simulation::HintedRawContractDB::get_contract_class ( const ContractClassId &  class_id) const
overridevirtual

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 125 of file raw_data_dbs.cpp.

◆ get_contract_instance()

std::optional< ContractInstance > bb::avm2::simulation::HintedRawContractDB::get_contract_instance ( const AztecAddress &  address) const
overridevirtual

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 98 of file raw_data_dbs.cpp.

◆ get_debug_function_name()

std::optional< std::string > bb::avm2::simulation::HintedRawContractDB::get_debug_function_name ( const AztecAddress &  address,
const FunctionSelector &  selector 
) const
overridevirtual

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 156 of file raw_data_dbs.cpp.

◆ revert_checkpoint()

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

Implements bb::avm2::simulation::ContractDBInterface.

Definition at line 197 of file raw_data_dbs.cpp.

Member Data Documentation

◆ action_counter

uint32_t bb::avm2::simulation::HintedRawContractDB::action_counter = 0
private

Definition at line 48 of file raw_data_dbs.hpp.

◆ bytecode_commitments

unordered_flat_map<GetBytecodeCommitmentKey, FF> bb::avm2::simulation::HintedRawContractDB::bytecode_commitments
private

Definition at line 45 of file raw_data_dbs.hpp.

◆ checkpoint_stack

std::stack<uint32_t> bb::avm2::simulation::HintedRawContractDB::checkpoint_stack { { 0 } }
private

Definition at line 49 of file raw_data_dbs.hpp.

◆ commit_checkpoint_hints

unordered_flat_map<uint32_t, ContractDBCommitCheckpointHint> bb::avm2::simulation::HintedRawContractDB::commit_checkpoint_hints
private

Definition at line 51 of file raw_data_dbs.hpp.

◆ contract_classes

unordered_flat_map<GetContractClassKey, ContractClassHint> bb::avm2::simulation::HintedRawContractDB::contract_classes
private

Definition at line 44 of file raw_data_dbs.hpp.

◆ contract_instances

unordered_flat_map<GetContractInstanceKey, ContractInstanceHint> bb::avm2::simulation::HintedRawContractDB::contract_instances
private

Definition at line 43 of file raw_data_dbs.hpp.

◆ create_checkpoint_hints

unordered_flat_map<uint32_t, ContractDBCreateCheckpointHint> bb::avm2::simulation::HintedRawContractDB::create_checkpoint_hints
private

Definition at line 50 of file raw_data_dbs.hpp.

◆ debug_function_names

unordered_flat_map<GetDebugFunctionNameKey, std::string> bb::avm2::simulation::HintedRawContractDB::debug_function_names
private

Definition at line 46 of file raw_data_dbs.hpp.

◆ revert_checkpoint_hints

unordered_flat_map<uint32_t, ContractDBRevertCheckpointHint> bb::avm2::simulation::HintedRawContractDB::revert_checkpoint_hints
private

Definition at line 52 of file raw_data_dbs.hpp.

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