#include <execution.hpp>

Inheritance diagram for bb::avm2::simulation::Execution:

Public Member Functions
	Execution (AluInterface &alu, BitwiseInterface &bitwise, DataCopyInterface &data_copy, Poseidon2Interface &poseidon2, EccInterface &ecc, ToRadixInterface &to_radix, Sha256Interface &sha256, ExecutionComponentsProviderInterface &execution_components, ContextProviderInterface &context_provider, const InstructionInfoDBInterface &instruction_info_db, ExecutionIdManagerInterface &execution_id_manager, EventEmitterInterface< ExecutionEvent > &event_emitter, EventEmitterInterface< ContextStackEvent > &ctx_stack_emitter, KeccakF1600Interface &keccakf1600, GreaterThanInterface &greater_than, GetContractInstanceInterface &get_contract_instance_component, EmitUnencryptedLogInterface &emit_unencrypted_log_component, HighLevelMerkleDBInterface &merkle_db)

ExecutionResult	execute (std::unique_ptr< ContextInterface > enqueued_call_context) override

void	add (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	sub (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	mul (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	div (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	fdiv (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	eq (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	lt (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	lte (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	op_not (ContextInterface &context, MemoryAddress src_addr, MemoryAddress dst_addr)

void	cast (ContextInterface &context, MemoryAddress src_addr, MemoryAddress dst_addr, uint8_t dst_tag)

void	get_env_var (ContextInterface &context, MemoryAddress dst_addr, uint8_t var_enum)

void	set (ContextInterface &context, MemoryAddress dst_addr, uint8_t tag, const FF &value)

void	mov (ContextInterface &context, MemoryAddress src_addr, MemoryAddress dst_addr)

void	jump (ContextInterface &context, uint32_t loc)

void	jumpi (ContextInterface &context, MemoryAddress cond_addr, uint32_t loc)

void	call (ContextInterface &context, MemoryAddress l2_gas_offset, MemoryAddress da_gas_offset, MemoryAddress addr, MemoryAddress cd_size_offset, MemoryAddress cd_offset)

void	static_call (ContextInterface &context, MemoryAddress l2_gas_offset, MemoryAddress da_gas_offset, MemoryAddress addr, MemoryAddress cd_size_offset, MemoryAddress cd_offset)

void	ret (ContextInterface &context, MemoryAddress ret_size_offset, MemoryAddress ret_offset)

void	revert (ContextInterface &context, MemoryAddress rev_size_offset, MemoryAddress rev_offset)

void	cd_copy (ContextInterface &context, MemoryAddress cd_size_offset, MemoryAddress cd_offset, MemoryAddress dst_addr)

void	rd_copy (ContextInterface &context, MemoryAddress rd_size_offset, MemoryAddress rd_offset, MemoryAddress dst_addr)

void	rd_size (ContextInterface &context, MemoryAddress dst_addr)

void	internal_call (ContextInterface &context, uint32_t loc)

void	internal_return (ContextInterface &context)

void	keccak_permutation (ContextInterface &context, MemoryAddress dst_addr, MemoryAddress src_addr)

void	success_copy (ContextInterface &context, MemoryAddress dst_addr)

void	debug_log (ContextInterface &context, MemoryAddress message_offset, MemoryAddress fields_offset, MemoryAddress fields_size_offset, uint16_t message_size, bool is_debug_logging_enabled)

void	and_op (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	or_op (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	xor_op (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress dst_addr)

void	sload (ContextInterface &context, MemoryAddress slot_addr, MemoryAddress dst_addr)

void	sstore (ContextInterface &context, MemoryAddress src_addr, MemoryAddress slot_addr)

void	note_hash_exists (ContextInterface &context, MemoryAddress unique_note_hash_addr, MemoryAddress leaf_index_addr, MemoryAddress dst_addr)

void	nullifier_exists (ContextInterface &context, MemoryAddress nullifier_offset, MemoryAddress address_offset, MemoryAddress exists_offset)

void	emit_nullifier (ContextInterface &context, MemoryAddress nullifier_addr)

void	get_contract_instance (ContextInterface &context, MemoryAddress address_offset, MemoryAddress dst_offset, uint8_t member_enum)

void	emit_note_hash (ContextInterface &context, MemoryAddress note_hash_addr)

void	l1_to_l2_message_exists (ContextInterface &context, MemoryAddress msg_hash_addr, MemoryAddress leaf_index_addr, MemoryAddress dst_addr)

void	poseidon2_permutation (ContextInterface &context, MemoryAddress src_addr, MemoryAddress dst_addr)

void	ecc_add (ContextInterface &context, MemoryAddress p_x_addr, MemoryAddress p_y_addr, MemoryAddress p_inf_addr, MemoryAddress q_x_addr, MemoryAddress q_y_addr, MemoryAddress q_inf_addr, MemoryAddress dst_addr)

void	to_radix_be (ContextInterface &context, MemoryAddress value_addr, MemoryAddress radix_addr, MemoryAddress num_limbs_addr, MemoryAddress is_output_bits_addr, MemoryAddress dst_addr)

void	emit_unencrypted_log (ContextInterface &context, MemoryAddress log_offset, MemoryAddress log_size_offset)

void	send_l2_to_l1_msg (ContextInterface &context, MemoryAddress recipient_addr, MemoryAddress content_addr)

void	sha256_compression (ContextInterface &context, MemoryAddress output_addr, MemoryAddress state_addr, MemoryAddress input_addr)

void	shr (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress c_addr)

void	shl (ContextInterface &context, MemoryAddress a_addr, MemoryAddress b_addr, MemoryAddress c_addr)

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

Protected Member Functions
virtual GasTrackerInterface &	get_gas_tracker ()

Private Member Functions
void	set_execution_result (ExecutionResult exec_result)

ExecutionResult	get_execution_result () const

void	dispatch_opcode (ExecutionOpCode opcode, ContextInterface &context, const std::vector< Operand > &resolved_operands)

template<typename... Ts>
void	call_with_operands (void(Execution::*f)(ContextInterface &, Ts...), ContextInterface &context, const std::vector< Operand > &resolved_operands)

std::vector< Operand >	resolve_operands (const Instruction &instruction, const ExecInstructionSpec &spec)

void	handle_enter_call (ContextInterface &parent_context, std::unique_ptr< ContextInterface > child_context)

void	handle_exit_call ()

void	handle_exceptional_halt (ContextInterface &context)

void	set_and_validate_inputs (ExecutionOpCode opcode, std::vector< TaggedValue > inputs)

void	set_output (ExecutionOpCode opcode, TaggedValue output)

const std::vector< TaggedValue > &	get_inputs () const

const TaggedValue &	get_output () const

Private Attributes
ExecutionComponentsProviderInterface &	execution_components

const InstructionInfoDBInterface &	instruction_info_db

AluInterface &	alu

BitwiseInterface &	bitwise

Poseidon2Interface &	poseidon2

EccInterface &	embedded_curve

ToRadixInterface &	to_radix

Sha256Interface &	sha256

ContextProviderInterface &	context_provider

ExecutionIdManagerInterface &	execution_id_manager

DataCopyInterface &	data_copy

KeccakF1600Interface &	keccakf1600

GreaterThanInterface &	greater_than

GetContractInstanceInterface &	get_contract_instance_component

EmitUnencryptedLogInterface &	emit_unencrypted_log_component

HighLevelMerkleDBInterface &	merkle_db

EventEmitterInterface< ExecutionEvent > &	events

EventEmitterInterface< ContextStackEvent > &	ctx_stack_events

ExecutionResult	exec_result

std::stack< std::unique_ptr< ContextInterface > >	external_call_stack

std::vector< TaggedValue >	inputs

TaggedValue	output

std::unique_ptr< GasTrackerInterface >	gas_tracker

Detailed Description

Definition at line 54 of file execution.hpp.

Constructor & Destructor Documentation

◆ Execution()

bb::avm2::simulation::Execution::Execution	(	AluInterface &	alu,
		BitwiseInterface &	bitwise,
		DataCopyInterface &	data_copy,
		Poseidon2Interface &	poseidon2,
		EccInterface &	ecc,
		ToRadixInterface &	to_radix,
		Sha256Interface &	sha256,
		ExecutionComponentsProviderInterface &	execution_components,
		ContextProviderInterface &	context_provider,
		const InstructionInfoDBInterface &	instruction_info_db,
		ExecutionIdManagerInterface &	execution_id_manager,
		EventEmitterInterface< ExecutionEvent > &	event_emitter,
		EventEmitterInterface< ContextStackEvent > &	ctx_stack_emitter,
		KeccakF1600Interface &	keccakf1600,
		GreaterThanInterface &	greater_than,
		GetContractInstanceInterface &	get_contract_instance_component,
		EmitUnencryptedLogInterface &	emit_unencrypted_log_component,
		HighLevelMerkleDBInterface &	merkle_db
	)

inline

Definition at line 56 of file execution.hpp.

Member Function Documentation

◆ add()

void bb::avm2::simulation::Execution::add	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 45 of file execution.cpp.

◆ and_op()

void bb::avm2::simulation::Execution::and_op	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 628 of file execution.cpp.

◆ call()

void bb::avm2::simulation::Execution::call	(	ContextInterface &	context,
		MemoryAddress	l2_gas_offset,
		MemoryAddress	da_gas_offset,
		MemoryAddress	addr,
		MemoryAddress	cd_size_offset,
		MemoryAddress	cd_offset
	)

Definition at line 345 of file execution.cpp.

◆ call_with_operands()

template<typename... Ts>

void bb::avm2::simulation::Execution::call_with_operands	(	void(Execution::*)(ContextInterface &, Ts...)	f,
		ContextInterface &	context,
		const std::vector< Operand > &	resolved_operands
	)

inlineprivate

Definition at line 1399 of file execution.cpp.

◆ cast()

void bb::avm2::simulation::Execution::cast	(	ContextInterface &	context,
		MemoryAddress	src_addr,
		MemoryAddress	dst_addr,
		uint8_t	dst_tag
	)

Definition at line 253 of file execution.cpp.

◆ cd_copy()

void bb::avm2::simulation::Execution::cd_copy	(	ContextInterface &	context,
		MemoryAddress	cd_size_offset,
		MemoryAddress	cd_offset,
		MemoryAddress	dst_addr
	)

Definition at line 423 of file execution.cpp.

◆ debug_log()

void bb::avm2::simulation::Execution::debug_log	(	ContextInterface &	context,
		MemoryAddress	message_offset,
		MemoryAddress	fields_offset,
		MemoryAddress	fields_size_offset,
		uint16_t	message_size,
		bool	is_debug_logging_enabled
	)

Definition at line 569 of file execution.cpp.

◆ dispatch_opcode()

void bb::avm2::simulation::Execution::dispatch_opcode	(	ExecutionOpCode	opcode,
		ContextInterface &	context,
		const std::vector< Operand > &	resolved_operands
	)

private

Definition at line 1236 of file execution.cpp.

◆ div()

void bb::avm2::simulation::Execution::div	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 102 of file execution.cpp.

◆ ecc_add()

void bb::avm2::simulation::Execution::ecc_add	(	ContextInterface &	context,
		MemoryAddress	p_x_addr,
		MemoryAddress	p_y_addr,
		MemoryAddress	p_inf_addr,
		MemoryAddress	q_x_addr,
		MemoryAddress	q_y_addr,
		MemoryAddress	q_inf_addr,
		MemoryAddress	dst_addr
	)

Definition at line 902 of file execution.cpp.

◆ emit_note_hash()

void bb::avm2::simulation::Execution::emit_note_hash	(	ContextInterface &	context,
		MemoryAddress	note_hash_addr
	)

Definition at line 841 of file execution.cpp.

◆ emit_nullifier()

void bb::avm2::simulation::Execution::emit_nullifier	(	ContextInterface &	context,
		MemoryAddress	nullifier_addr
	)

Definition at line 789 of file execution.cpp.

◆ emit_unencrypted_log()

void bb::avm2::simulation::Execution::emit_unencrypted_log	(	ContextInterface &	context,
		MemoryAddress	log_offset,
		MemoryAddress	log_size_offset
	)

Definition at line 994 of file execution.cpp.

◆ eq()

void bb::avm2::simulation::Execution::eq	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 140 of file execution.cpp.

◆ execute()

ExecutionResult bb::avm2::simulation::Execution::execute ( std::unique_ptr< ContextInterface > enqueued_call_context )

overridevirtual

Implements bb::avm2::simulation::ExecutionInterface.

Definition at line 1059 of file execution.cpp.

◆ fdiv()

void bb::avm2::simulation::Execution::fdiv	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 121 of file execution.cpp.

◆ get_contract_instance()

void bb::avm2::simulation::Execution::get_contract_instance	(	ContextInterface &	context,
		MemoryAddress	address_offset,
		MemoryAddress	dst_offset,
		uint8_t	member_enum
	)

Definition at line 815 of file execution.cpp.

◆ get_env_var()

void bb::avm2::simulation::Execution::get_env_var	(	ContextInterface &	context,
		MemoryAddress	dst_addr,
		uint8_t	var_enum
	)

Definition at line 266 of file execution.cpp.

◆ get_execution_result()

ExecutionResult bb::avm2::simulation::Execution::get_execution_result ( ) const

inlineprivate

Definition at line 198 of file execution.hpp.

◆ get_gas_tracker()

virtual GasTrackerInterface & bb::avm2::simulation::Execution::get_gas_tracker ( )

inlineprotectedvirtual

Definition at line 194 of file execution.hpp.

◆ get_inputs()

const std::vector< TaggedValue > & bb::avm2::simulation::Execution::get_inputs ( ) const

inlineprivate

Definition at line 216 of file execution.hpp.

◆ get_output()

const TaggedValue & bb::avm2::simulation::Execution::get_output ( ) const

inlineprivate

Definition at line 217 of file execution.hpp.

◆ handle_enter_call()

void bb::avm2::simulation::Execution::handle_enter_call	(	ContextInterface &	parent_context,
		std::unique_ptr< ContextInterface >	child_context
	)

private

Definition at line 1159 of file execution.cpp.

◆ handle_exceptional_halt()

void bb::avm2::simulation::Execution::handle_exceptional_halt ( ContextInterface & context )

private

Definition at line 1223 of file execution.cpp.

◆ handle_exit_call()

void bb::avm2::simulation::Execution::handle_exit_call ( )

private

Definition at line 1181 of file execution.cpp.

◆ internal_call()

void bb::avm2::simulation::Execution::internal_call	(	ContextInterface &	context,
		uint32_t	loc
	)

Definition at line 534 of file execution.cpp.

◆ internal_return()

void bb::avm2::simulation::Execution::internal_return ( ContextInterface & context )

Definition at line 544 of file execution.cpp.

◆ jump()

void bb::avm2::simulation::Execution::jump	(	ContextInterface &	context,
		uint32_t	loc
	)

Definition at line 512 of file execution.cpp.

◆ jumpi()

void bb::avm2::simulation::Execution::jumpi	(	ContextInterface &	context,
		MemoryAddress	cond_addr,
		uint32_t	loc
	)

Definition at line 519 of file execution.cpp.

◆ keccak_permutation()

void bb::avm2::simulation::Execution::keccak_permutation	(	ContextInterface &	context,
		MemoryAddress	dst_addr,
		MemoryAddress	src_addr
	)

Definition at line 558 of file execution.cpp.

◆ l1_to_l2_message_exists()

void bb::avm2::simulation::Execution::l1_to_l2_message_exists	(	ContextInterface &	context,
		MemoryAddress	msg_hash_addr,
		MemoryAddress	leaf_index_addr,
		MemoryAddress	dst_addr
	)

Definition at line 862 of file execution.cpp.

◆ lt()

void bb::avm2::simulation::Execution::lt	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 159 of file execution.cpp.

◆ lte()

void bb::avm2::simulation::Execution::lte	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 178 of file execution.cpp.

◆ mov()

void bb::avm2::simulation::Execution::mov	(	ContextInterface &	context,
		MemoryAddress	src_addr,
		MemoryAddress	dst_addr
	)

Definition at line 332 of file execution.cpp.

◆ mul()

void bb::avm2::simulation::Execution::mul	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 83 of file execution.cpp.

◆ note_hash_exists()

void bb::avm2::simulation::Execution::note_hash_exists	(	ContextInterface &	context,
		MemoryAddress	unique_note_hash_addr,
		MemoryAddress	leaf_index_addr,
		MemoryAddress	dst_addr
	)

Definition at line 734 of file execution.cpp.

◆ nullifier_exists()

void bb::avm2::simulation::Execution::nullifier_exists	(	ContextInterface &	context,
		MemoryAddress	nullifier_offset,
		MemoryAddress	address_offset,
		MemoryAddress	exists_offset
	)

Definition at line 764 of file execution.cpp.

◆ op_not()

void bb::avm2::simulation::Execution::op_not	(	ContextInterface &	context,
		MemoryAddress	src_addr,
		MemoryAddress	dst_addr
	)

Definition at line 197 of file execution.cpp.

◆ or_op()

void bb::avm2::simulation::Execution::or_op	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 649 of file execution.cpp.

◆ poseidon2_permutation()

void bb::avm2::simulation::Execution::poseidon2_permutation	(	ContextInterface &	context,
		MemoryAddress	src_addr,
		MemoryAddress	dst_addr
	)

Definition at line 892 of file execution.cpp.

◆ rd_copy()

void bb::avm2::simulation::Execution::rd_copy	(	ContextInterface &	context,
		MemoryAddress	rd_size_offset,
		MemoryAddress	rd_offset,
		MemoryAddress	dst_addr
	)

Definition at line 443 of file execution.cpp.

◆ rd_size()

void bb::avm2::simulation::Execution::rd_size	(	ContextInterface &	context,
		MemoryAddress	dst_addr
	)

Definition at line 463 of file execution.cpp.

◆ resolve_operands()

std::vector< Operand > bb::avm2::simulation::Execution::resolve_operands	(	const Instruction &	instruction,
		const ExecInstructionSpec &	spec
	)

private

◆ ret()

void bb::avm2::simulation::Execution::ret	(	ContextInterface &	context,
		MemoryAddress	ret_size_offset,
		MemoryAddress	ret_offset
	)

Definition at line 476 of file execution.cpp.

◆ revert()

void bb::avm2::simulation::Execution::revert	(	ContextInterface &	context,
		MemoryAddress	rev_size_offset,
		MemoryAddress	rev_offset
	)

Definition at line 494 of file execution.cpp.

◆ send_l2_to_l1_msg()

void bb::avm2::simulation::Execution::send_l2_to_l1_msg	(	ContextInterface &	context,
		MemoryAddress	recipient_addr,
		MemoryAddress	content_addr
	)

Definition at line 1015 of file execution.cpp.

◆ set()

void bb::avm2::simulation::Execution::set	(	ContextInterface &	context,
		MemoryAddress	dst_addr,
		uint8_t	tag,
		const FF &	value
	)

Definition at line 322 of file execution.cpp.

◆ set_and_validate_inputs()

void bb::avm2::simulation::Execution::set_and_validate_inputs	(	ExecutionOpCode	opcode,
		std::vector< TaggedValue >	inputs
	)

private

Definition at line 1413 of file execution.cpp.

◆ set_execution_result()

void bb::avm2::simulation::Execution::set_execution_result ( ExecutionResult exec_result )

inlineprivate

Definition at line 197 of file execution.hpp.

◆ set_output()

void bb::avm2::simulation::Execution::set_output	(	ExecutionOpCode	opcode,
		TaggedValue	output
	)

private

Definition at line 1430 of file execution.cpp.

◆ sha256_compression()

void bb::avm2::simulation::Execution::sha256_compression	(	ContextInterface &	context,
		MemoryAddress	output_addr,
		MemoryAddress	state_addr,
		MemoryAddress	input_addr
	)

Definition at line 1043 of file execution.cpp.

◆ shl()

void bb::avm2::simulation::Execution::shl	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	c_addr
	)

Definition at line 215 of file execution.cpp.

◆ shr()

void bb::avm2::simulation::Execution::shr	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	c_addr
	)

Definition at line 234 of file execution.cpp.

◆ sload()

void bb::avm2::simulation::Execution::sload	(	ContextInterface &	context,
		MemoryAddress	slot_addr,
		MemoryAddress	dst_addr
	)

Definition at line 691 of file execution.cpp.

◆ sstore()

void bb::avm2::simulation::Execution::sstore	(	ContextInterface &	context,
		MemoryAddress	src_addr,
		MemoryAddress	slot_addr
	)

Definition at line 708 of file execution.cpp.

◆ static_call()

void bb::avm2::simulation::Execution::static_call	(	ContextInterface &	context,
		MemoryAddress	l2_gas_offset,
		MemoryAddress	da_gas_offset,
		MemoryAddress	addr,
		MemoryAddress	cd_size_offset,
		MemoryAddress	cd_offset
	)

Definition at line 384 of file execution.cpp.

◆ sub()

void bb::avm2::simulation::Execution::sub	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 64 of file execution.cpp.

◆ success_copy()

void bb::avm2::simulation::Execution::success_copy	(	ContextInterface &	context,
		MemoryAddress	dst_addr
	)

Definition at line 616 of file execution.cpp.

◆ to_radix_be()

void bb::avm2::simulation::Execution::to_radix_be	(	ContextInterface &	context,
		MemoryAddress	value_addr,
		MemoryAddress	radix_addr,
		MemoryAddress	num_limbs_addr,
		MemoryAddress	is_output_bits_addr,
		MemoryAddress	dst_addr
	)

Definition at line 938 of file execution.cpp.

◆ xor_op()

void bb::avm2::simulation::Execution::xor_op	(	ContextInterface &	context,
		MemoryAddress	a_addr,
		MemoryAddress	b_addr,
		MemoryAddress	dst_addr
	)

Definition at line 670 of file execution.cpp.

Member Data Documentation

◆ alu

AluInterface& bb::avm2::simulation::Execution::alu

private

Definition at line 222 of file execution.hpp.

◆ bitwise

BitwiseInterface& bb::avm2::simulation::Execution::bitwise

private

Definition at line 223 of file execution.hpp.

◆ context_provider

ContextProviderInterface& bb::avm2::simulation::Execution::context_provider

private

Definition at line 228 of file execution.hpp.

◆ ctx_stack_events

EventEmitterInterface<ContextStackEvent>& bb::avm2::simulation::Execution::ctx_stack_events

private

Definition at line 238 of file execution.hpp.

◆ data_copy

DataCopyInterface& bb::avm2::simulation::Execution::data_copy

private

Definition at line 230 of file execution.hpp.

◆ embedded_curve

EccInterface& bb::avm2::simulation::Execution::embedded_curve

private

Definition at line 225 of file execution.hpp.

◆ emit_unencrypted_log_component

EmitUnencryptedLogInterface& bb::avm2::simulation::Execution::emit_unencrypted_log_component

private

Definition at line 234 of file execution.hpp.

◆ events

EventEmitterInterface<ExecutionEvent>& bb::avm2::simulation::Execution::events

private

Definition at line 237 of file execution.hpp.

◆ exec_result

ExecutionResult bb::avm2::simulation::Execution::exec_result

private

Definition at line 240 of file execution.hpp.

◆ execution_components

ExecutionComponentsProviderInterface& bb::avm2::simulation::Execution::execution_components

private

Definition at line 219 of file execution.hpp.

◆ execution_id_manager

ExecutionIdManagerInterface& bb::avm2::simulation::Execution::execution_id_manager

private

Definition at line 229 of file execution.hpp.

◆ external_call_stack

std::stack<std::unique_ptr<ContextInterface> > bb::avm2::simulation::Execution::external_call_stack

private

Definition at line 242 of file execution.hpp.

◆ gas_tracker

std::unique_ptr<GasTrackerInterface> bb::avm2::simulation::Execution::gas_tracker

private

Definition at line 245 of file execution.hpp.

◆ get_contract_instance_component

GetContractInstanceInterface& bb::avm2::simulation::Execution::get_contract_instance_component

private

Definition at line 233 of file execution.hpp.

◆ greater_than

GreaterThanInterface& bb::avm2::simulation::Execution::greater_than

private

Definition at line 232 of file execution.hpp.

◆ inputs

std::vector<TaggedValue> bb::avm2::simulation::Execution::inputs

private

Definition at line 243 of file execution.hpp.

◆ instruction_info_db

const InstructionInfoDBInterface& bb::avm2::simulation::Execution::instruction_info_db

private

Definition at line 220 of file execution.hpp.

◆ keccakf1600

KeccakF1600Interface& bb::avm2::simulation::Execution::keccakf1600

private

Definition at line 231 of file execution.hpp.

◆ merkle_db

HighLevelMerkleDBInterface& bb::avm2::simulation::Execution::merkle_db

private

Definition at line 235 of file execution.hpp.

◆ output

TaggedValue bb::avm2::simulation::Execution::output

private

Definition at line 244 of file execution.hpp.

◆ poseidon2

Poseidon2Interface& bb::avm2::simulation::Execution::poseidon2

private

Definition at line 224 of file execution.hpp.

◆ sha256

Sha256Interface& bb::avm2::simulation::Execution::sha256

private

Definition at line 227 of file execution.hpp.

◆ to_radix

ToRadixInterface& bb::avm2::simulation::Execution::to_radix

private

Definition at line 226 of file execution.hpp.

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

src/barretenberg/vm2/simulation/execution.hpp
src/barretenberg/vm2/simulation/execution.cpp

Public Member Functions

Protected Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ Execution()

Member Function Documentation

◆ add()

◆ and_op()

◆ call()

◆ call_with_operands()

◆ cast()

◆ cd_copy()

◆ debug_log()

◆ dispatch_opcode()

◆ div()

◆ ecc_add()

◆ emit_note_hash()

◆ emit_nullifier()

◆ emit_unencrypted_log()

◆ eq()

◆ execute()

◆ fdiv()

◆ get_contract_instance()

◆ get_env_var()

◆ get_execution_result()

◆ get_gas_tracker()

◆ get_inputs()

◆ get_output()

◆ handle_enter_call()

◆ handle_exceptional_halt()

◆ handle_exit_call()

◆ internal_call()

◆ internal_return()

◆ jump()

◆ jumpi()

◆ keccak_permutation()

◆ l1_to_l2_message_exists()

◆ lt()

◆ lte()

◆ mov()

◆ mul()

◆ note_hash_exists()

◆ nullifier_exists()

◆ op_not()

◆ or_op()

◆ poseidon2_permutation()

◆ rd_copy()

◆ rd_size()

◆ resolve_operands()

◆ ret()

◆ revert()

◆ send_l2_to_l1_msg()

◆ set()

◆ set_and_validate_inputs()

◆ set_execution_result()

◆ set_output()

◆ sha256_compression()

◆ shl()

◆ shr()

◆ sload()

◆ sstore()

◆ static_call()

◆ sub()

◆ success_copy()

◆ to_radix_be()

◆ xor_op()

Member Data Documentation

◆ alu

◆ bitwise

◆ context_provider

◆ ctx_stack_events

◆ data_copy

◆ embedded_curve

◆ emit_unencrypted_log_component

◆ events

◆ exec_result

◆ execution_components

◆ execution_id_manager