#include <context_provider.hpp>

Inheritance diagram for bb::avm2::simulation::ContextProvider:

Public Member Functions
	ContextProvider (TxBytecodeManagerInterface &tx_bytecode_manager, MemoryProviderInterface &memory_provider, CalldataHashingProviderInterface &cd_hash_provider, InternalCallStackManagerProviderInterface &internal_call_stack_manager_provider, HighLevelMerkleDBInterface &merkle_db, WrittenPublicDataSlotsTreeCheckInterface &written_public_data_slots_tree, RetrievedBytecodesTreeCheckInterface &retrieved_bytecodes_tree, SideEffectTrackerInterface &side_effect_tracker, const GlobalVariables &global_variables)

std::unique_ptr< ContextInterface >	make_nested_context (const AztecAddress &address, const AztecAddress &msg_sender, const FF &transaction_fee, ContextInterface &parent_context, MemoryAddress cd_offset_address, uint32_t cd_size, bool is_static, const Gas &gas_limit, TransactionPhase phase) override
	Make a new nested context.

std::unique_ptr< ContextInterface >	make_enqueued_context (const AztecAddress &address, const AztecAddress &msg_sender, const FF &transaction_fee, std::span< const FF > calldata, const FF &calldata_hash, bool is_static, const Gas &gas_limit, const Gas &gas_used, TransactionPhase phase) override
	Make a new enqueued call context.

uint32_t	get_next_context_id () const override

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

Detailed Description

Definition at line 23 of file context_provider.hpp.

Constructor & Destructor Documentation

◆ ContextProvider()

bb::avm2::simulation::ContextProvider::ContextProvider	(	TxBytecodeManagerInterface &	tx_bytecode_manager,
		MemoryProviderInterface &	memory_provider,
		CalldataHashingProviderInterface &	cd_hash_provider,
		InternalCallStackManagerProviderInterface &	internal_call_stack_manager_provider,
		HighLevelMerkleDBInterface &	merkle_db,
		WrittenPublicDataSlotsTreeCheckInterface &	written_public_data_slots_tree,
		RetrievedBytecodesTreeCheckInterface &	retrieved_bytecodes_tree,
		SideEffectTrackerInterface &	side_effect_tracker,
		const GlobalVariables &	global_variables
	)

inline

Definition at line 25 of file context_provider.hpp.

Member Function Documentation

◆ get_next_context_id()

uint32_t bb::avm2::simulation::ContextProvider::get_next_context_id ( ) const

overridevirtual

Implements bb::avm2::simulation::ContextProviderInterface.

Definition at line 116 of file context_provider.cpp.

◆ make_enqueued_context()

std::unique_ptr< ContextInterface > bb::avm2::simulation::ContextProvider::make_enqueued_context	(	const AztecAddress &	address,
		const AztecAddress &	msg_sender,
		const FF &	transaction_fee,
		std::span< const FF >	calldata,
		const FF &	calldata_hash,
		bool	is_static,
		const Gas &	gas_limit,
		const Gas &	gas_used,
		TransactionPhase	phase
	)

overridevirtual

Make a new enqueued call context.

Parameters

address	The address of the context.
msg_sender	The message sender of the context.
transaction_fee	The transaction fee of the context.
calldata	The calldata of the context.
is_static	Whether the context is static.
gas_limit	The gas limit of the context.
gas_used	The gas used at the start of the context.
phase	The transaction phase of the context.

Returns: The new enqueued call context.

Implements bb::avm2::simulation::ContextProviderInterface.

Definition at line 78 of file context_provider.cpp.

◆ make_nested_context()

std::unique_ptr< ContextInterface > bb::avm2::simulation::ContextProvider::make_nested_context	(	const AztecAddress &	address,
		const AztecAddress &	msg_sender,
		const FF &	transaction_fee,
		ContextInterface &	parent_context,
		MemoryAddress	cd_offset_address,
		uint32_t	cd_size,
		bool	is_static,
		const Gas &	gas_limit,
		TransactionPhase	phase
	)

overridevirtual

Make a new nested context.

Parameters

address	The address of the context.
msg_sender	The message sender of the context.
transaction_fee	The transaction fee of the context.
parent_context	The parent context.
cd_offset_address	The offset address of the calldata in the parent memory.
cd_size	The size of the calldata.
is_static	Whether the context is static.
gas_limit	The gas limit of the context.
phase	The transaction phase of the context.

Returns: The new nested context.

Implements bb::avm2::simulation::ContextProviderInterface.

Definition at line 26 of file context_provider.cpp.

Member Data Documentation

◆ cd_hash_provider

CalldataHashingProviderInterface& bb::avm2::simulation::ContextProvider::cd_hash_provider

private

Definition at line 69 of file context_provider.hpp.

◆ global_variables

const GlobalVariables& bb::avm2::simulation::ContextProvider::global_variables

private

Definition at line 75 of file context_provider.hpp.

◆ internal_call_stack_manager_provider

InternalCallStackManagerProviderInterface& bb::avm2::simulation::ContextProvider::internal_call_stack_manager_provider

private

Definition at line 70 of file context_provider.hpp.

◆ memory_provider

MemoryProviderInterface& bb::avm2::simulation::ContextProvider::memory_provider

private

Definition at line 68 of file context_provider.hpp.

◆ merkle_db

HighLevelMerkleDBInterface& bb::avm2::simulation::ContextProvider::merkle_db

private

Definition at line 71 of file context_provider.hpp.

◆ next_context_id

uint32_t bb::avm2::simulation::ContextProvider::next_context_id = 1

private

Definition at line 65 of file context_provider.hpp.

◆ retrieved_bytecodes_tree

RetrievedBytecodesTreeCheckInterface& bb::avm2::simulation::ContextProvider::retrieved_bytecodes_tree

private

Definition at line 73 of file context_provider.hpp.

◆ side_effect_tracker

SideEffectTrackerInterface& bb::avm2::simulation::ContextProvider::side_effect_tracker

private

Definition at line 74 of file context_provider.hpp.

◆ tx_bytecode_manager

TxBytecodeManagerInterface& bb::avm2::simulation::ContextProvider::tx_bytecode_manager

private

Definition at line 67 of file context_provider.hpp.

◆ written_public_data_slots_tree

WrittenPublicDataSlotsTreeCheckInterface& bb::avm2::simulation::ContextProvider::written_public_data_slots_tree

private

Definition at line 72 of file context_provider.hpp.

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

src/barretenberg/vm2/simulation/gadgets/context_provider.hpp
src/barretenberg/vm2/simulation/gadgets/context_provider.cpp

Private Attributes
uint32_t	next_context_id = 1

TxBytecodeManagerInterface &	tx_bytecode_manager

MemoryProviderInterface &	memory_provider

CalldataHashingProviderInterface &	cd_hash_provider

InternalCallStackManagerProviderInterface &	internal_call_stack_manager_provider

HighLevelMerkleDBInterface &	merkle_db

WrittenPublicDataSlotsTreeCheckInterface &	written_public_data_slots_tree

RetrievedBytecodesTreeCheckInterface &	retrieved_bytecodes_tree

SideEffectTrackerInterface &	side_effect_tracker

const GlobalVariables &	global_variables

Public Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ ContextProvider()

Member Function Documentation

◆ get_next_context_id()

◆ make_enqueued_context()

◆ make_nested_context()

Member Data Documentation

◆ cd_hash_provider

◆ global_variables

◆ internal_call_stack_manager_provider

◆ memory_provider

◆ merkle_db

◆ next_context_id

◆ retrieved_bytecodes_tree

◆ side_effect_tracker

◆ tx_bytecode_manager

◆ written_public_data_slots_tree