#include <program_block.hpp>

Public Member Functions
	ProgramBlock ()=default

void	process_instruction_block (InstructionBlock &instruction_block)
	process the instruction block

void	process_instruction (FuzzInstruction instruction)
	process the instruction

void	finalize_with_return (uint8_t return_size, MemoryTagWrapper return_value_tag, uint16_t return_value_offset_index)
	finalize the program block with a return instruction Tries to find memory address with the given `return_value_tag`, if there are no such address (zero variables of such tag are stored), it sets the return address to 0. Sets the terminator type to RETURN.

void	finalize_with_revert (uint8_t revert_size, MemoryTagWrapper revert_value_tag, uint16_t revert_value_offset_index)
	finalize the program block with a revert instruction Similar to finalize_with_return but uses REVERT opcode instead. Sets the terminator type to REVERT.

void	finalize_with_jump (ProgramBlock *target_block, bool copy_memory_manager=true)
	finalize the block with a jump Sets the terminator type to JUMP, adds the target block to the successors and the current block to the predecessors.

void	finalize_with_jump_if (ProgramBlock target_then_block, ProgramBlock target_else_block, uint16_t condition_offset, bool copy_memory_manager=true)
	finalize the block with a jump if Sets the terminator type to JUMP_IF, adds the target blocks to the successors and the current block to the predecessors. Sets the condition offset index.

void	insert_internal_call (ProgramBlock *target_block)
	insert INTERNALCALL instruction with 0 offset

std::optional< uint16_t >	get_terminating_condition_value ()

void	process_write_terminating_condition_value ()

std::vector< bb::avm2::simulation::Instruction >	get_instructions ()

bool	is_memory_address_set (uint16_t address)

void	patch_internal_calls ()
	in `insert_internal_call` we insert INTERNALCALL instruction with 0 offset, because we don't know the resulting block offsets this method patches the INTERNALCALL instructions with the actual offset

Public Attributes
std::vector< ProgramBlock * >	successors

std::vector< ProgramBlock * >	predecessors

ProgramBlock *	caller = nullptr
	the block that called this block by INTERNALCALL This field is copied to predecessors on every CFG instructions

TerminatorType	terminator_type = TerminatorType::NONE

int	offset = -1

Private Member Functions
void	preprocess_memory_addresses (ResolvedAddress resolved_address)
	preprocess the memory addresses Sets M[0] = base_offset for Relative/IndirectRelative modes Sets M[pointer_address] = pointer_value for Indirect/IndirectRelative modes

void	record_result_tag_from_param_tags (std::initializer_list< ParamRef > params, ResolvedAddress result_address)

void	process_add_8_instruction (ADD_8_Instruction instruction)

void	process_sub_8_instruction (SUB_8_Instruction instruction)

void	process_mul_8_instruction (MUL_8_Instruction instruction)

void	process_div_8_instruction (DIV_8_Instruction instruction)

void	process_eq_8_instruction (EQ_8_Instruction instruction)

void	process_lt_8_instruction (LT_8_Instruction instruction)

void	process_lte_8_instruction (LTE_8_Instruction instruction)

void	process_and_8_instruction (AND_8_Instruction instruction)

void	process_or_8_instruction (OR_8_Instruction instruction)

void	process_xor_8_instruction (XOR_8_Instruction instruction)

void	process_shl_8_instruction (SHL_8_Instruction instruction)

void	process_shr_8_instruction (SHR_8_Instruction instruction)

void	process_set_8_instruction (SET_8_Instruction instruction)

void	process_set_16_instruction (SET_16_Instruction instruction)

void	process_set_32_instruction (SET_32_Instruction instruction)

void	process_set_64_instruction (SET_64_Instruction instruction)

void	process_set_128_instruction (SET_128_Instruction instruction)

void	process_set_ff_instruction (SET_FF_Instruction instruction)

void	process_mov_8_instruction (MOV_8_Instruction instruction)

void	process_mov_16_instruction (MOV_16_Instruction instruction)

void	process_not_8_instruction (NOT_8_Instruction instruction)

void	process_fdiv_8_instruction (FDIV_8_Instruction instruction)

void	process_add_16_instruction (ADD_16_Instruction instruction)

void	process_sub_16_instruction (SUB_16_Instruction instruction)

void	process_mul_16_instruction (MUL_16_Instruction instruction)

void	process_div_16_instruction (DIV_16_Instruction instruction)

void	process_fdiv_16_instruction (FDIV_16_Instruction instruction)

void	process_eq_16_instruction (EQ_16_Instruction instruction)

void	process_lt_16_instruction (LT_16_Instruction instruction)

void	process_lte_16_instruction (LTE_16_Instruction instruction)

void	process_and_16_instruction (AND_16_Instruction instruction)

void	process_or_16_instruction (OR_16_Instruction instruction)

void	process_xor_16_instruction (XOR_16_Instruction instruction)

void	process_not_16_instruction (NOT_16_Instruction instruction)

void	process_shl_16_instruction (SHL_16_Instruction instruction)

void	process_shr_16_instruction (SHR_16_Instruction instruction)

void	process_cast_8_instruction (CAST_8_Instruction instruction)

void	process_cast_16_instruction (CAST_16_Instruction instruction)

void	process_sstore_instruction (SSTORE_Instruction instruction)

void	process_sload_instruction (SLOAD_Instruction instruction)

void	process_getenvvar_instruction (GETENVVAR_Instruction instruction)

void	process_emitnulifier_instruction (EMITNULLIFIER_Instruction instruction)

void	process_nullifierexists_instruction (NULLIFIEREXISTS_Instruction instruction)

void	process_emitnotehash_instruction (EMITNOTEHASH_Instruction instruction)

void	process_notehashexists_instruction (NOTEHASHEXISTS_Instruction instruction)

void	process_calldatacopy_instruction (CALLDATACOPY_Instruction instruction)

void	process_sendl2tol1msg_instruction (SENDL2TOL1MSG_Instruction instruction)

void	process_emitpubliclog_instruction (EMITPUBLICLOG_Instruction instruction)

void	process_call_instruction (CALL_Instruction instruction)

void	process_returndatasize_instruction (RETURNDATASIZE_Instruction instruction)

void	process_returndatacopy_instruction (RETURNDATACOPY_Instruction instruction)

void	process_getcontractinstance_instruction (GETCONTRACTINSTANCE_Instruction instruction)

void	process_successcopy_instruction (SUCCESSCOPY_Instruction instruction)

void	process_ecadd_instruction (ECADD_Instruction instruction)

void	process_poseidon2perm_instruction (POSEIDON2PERM_Instruction instruction)

void	process_keccakf1600_instruction (KECCAKF1600_Instruction instruction)

void	process_sha256compression_instruction (SHA256COMPRESSION_Instruction instruction)

void	process_l1tol2msgexists_instruction (L1TOL2MSGEXISTS_Instruction instruction)

void	process_toradixbe_instruction (TORADIXBE_Instruction instruction)

void	process_debuglog_instruction (DEBUGLOG_Instruction instruction)

Private Attributes
MemoryManager	memory_manager

std::vector< bb::avm2::simulation::Instruction >	instructions

uint16_t	condition_offset_index = 0
	the offset index of the condition variable (for JUMP_IF)

std::map< size_t, ProgramBlock * >	internal_call_instruction_indicies_to_patch

Detailed Description

Definition at line 41 of file program_block.hpp.

Constructor & Destructor Documentation

◆ ProgramBlock()

ProgramBlock::ProgramBlock ( )

default

Member Function Documentation

◆ finalize_with_jump()

void ProgramBlock::finalize_with_jump	(	ProgramBlock *	target_block,
		bool	copy_memory_manager = `true`
	)

finalize the block with a jump Sets the terminator type to JUMP, adds the target block to the successors and the current block to the predecessors.

Definition at line 1558 of file program_block.cpp.

◆ finalize_with_jump_if()

void ProgramBlock::finalize_with_jump_if	(	ProgramBlock *	target_then_block,
		ProgramBlock *	target_else_block,
		uint16_t	condition_offset,
		bool	copy_memory_manager = `true`
	)

finalize the block with a jump if Sets the terminator type to JUMP_IF, adds the target blocks to the successors and the current block to the predecessors. Sets the condition offset index.

Definition at line 1569 of file program_block.cpp.

◆ finalize_with_return()

void ProgramBlock::finalize_with_return	(	uint8_t	return_size,
		MemoryTagWrapper	return_value_tag,
		uint16_t	return_value_offset_index
	)

finalize the program block with a return instruction Tries to find memory address with the given return_value_tag, if there are no such address (zero variables of such tag are stored), it sets the return address to 0. Sets the terminator type to RETURN.

Note: if the block has caller, it inserts INTERNALRETURN only

Definition at line 1494 of file program_block.cpp.

◆ finalize_with_revert()

void ProgramBlock::finalize_with_revert	(	uint8_t	revert_size,
		MemoryTagWrapper	revert_value_tag,
		uint16_t	revert_value_offset_index
	)

finalize the program block with a revert instruction Similar to finalize_with_return but uses REVERT opcode instead. Sets the terminator type to REVERT.

Definition at line 1530 of file program_block.cpp.

◆ get_instructions()

std::vector< bb::avm2::simulation::Instruction > ProgramBlock::get_instructions ( )

Definition at line 1744 of file program_block.cpp.

◆ get_terminating_condition_value()

std::optional< uint16_t > ProgramBlock::get_terminating_condition_value ( )

Definition at line 1614 of file program_block.cpp.

◆ insert_internal_call()

void ProgramBlock::insert_internal_call ( ProgramBlock * target_block )

insert INTERNALCALL instruction with 0 offset

Definition at line 1588 of file program_block.cpp.

◆ is_memory_address_set()

bool ProgramBlock::is_memory_address_set ( uint16_t address )

Definition at line 1632 of file program_block.cpp.

◆ patch_internal_calls()

void ProgramBlock::patch_internal_calls ( )

in insert_internal_call we insert INTERNALCALL instruction with 0 offset, because we don't know the resulting block offsets this method patches the INTERNALCALL instructions with the actual offset

Definition at line 1599 of file program_block.cpp.

◆ preprocess_memory_addresses()

void ProgramBlock::preprocess_memory_addresses ( ResolvedAddress resolved_address )

private

preprocess the memory addresses Sets M[0] = base_offset for Relative/IndirectRelative modes Sets M[pointer_address] = pointer_value for Indirect/IndirectRelative modes

Definition at line 12 of file program_block.cpp.

◆ process_add_16_instruction()

void ProgramBlock::process_add_16_instruction ( ADD_16_Instruction instruction )

private

Definition at line 538 of file program_block.cpp.

◆ process_add_8_instruction()

void ProgramBlock::process_add_8_instruction ( ADD_8_Instruction instruction )

private

Definition at line 53 of file program_block.cpp.

◆ process_and_16_instruction()

void ProgramBlock::process_and_16_instruction ( AND_16_Instruction instruction )

private

Definition at line 735 of file program_block.cpp.

◆ process_and_8_instruction()

void ProgramBlock::process_and_8_instruction ( AND_8_Instruction instruction )

private

Definition at line 215 of file program_block.cpp.

◆ process_call_instruction()

void ProgramBlock::process_call_instruction ( CALL_Instruction instruction )

private

Definition at line 1162 of file program_block.cpp.

◆ process_calldatacopy_instruction()

void ProgramBlock::process_calldatacopy_instruction ( CALLDATACOPY_Instruction instruction )

private

Definition at line 1099 of file program_block.cpp.

◆ process_cast_16_instruction()

void ProgramBlock::process_cast_16_instruction ( CAST_16_Instruction instruction )

private

Definition at line 904 of file program_block.cpp.

◆ process_cast_8_instruction()

void ProgramBlock::process_cast_8_instruction ( CAST_8_Instruction instruction )

private

Definition at line 881 of file program_block.cpp.

◆ process_debuglog_instruction()

void ProgramBlock::process_debuglog_instruction ( DEBUGLOG_Instruction instruction )

private

Definition at line 1466 of file program_block.cpp.

◆ process_div_16_instruction()

void ProgramBlock::process_div_16_instruction ( DIV_16_Instruction instruction )

private

Definition at line 613 of file program_block.cpp.

◆ process_div_8_instruction()

void ProgramBlock::process_div_8_instruction ( DIV_8_Instruction instruction )

private

Definition at line 123 of file program_block.cpp.

◆ process_ecadd_instruction()

void ProgramBlock::process_ecadd_instruction ( ECADD_Instruction instruction )

private

Definition at line 1283 of file program_block.cpp.

◆ process_emitnotehash_instruction()

void ProgramBlock::process_emitnotehash_instruction ( EMITNOTEHASH_Instruction instruction )

private

Definition at line 1050 of file program_block.cpp.

◆ process_emitnulifier_instruction()

void ProgramBlock::process_emitnulifier_instruction ( EMITNULLIFIER_Instruction instruction )

private

Definition at line 1011 of file program_block.cpp.

◆ process_emitpubliclog_instruction()

void ProgramBlock::process_emitpubliclog_instruction ( EMITPUBLICLOG_Instruction instruction )

private

Definition at line 1142 of file program_block.cpp.

◆ process_eq_16_instruction()

void ProgramBlock::process_eq_16_instruction ( EQ_16_Instruction instruction )

private

Definition at line 663 of file program_block.cpp.

◆ process_eq_8_instruction()

void ProgramBlock::process_eq_8_instruction ( EQ_8_Instruction instruction )

private

Definition at line 146 of file program_block.cpp.

◆ process_fdiv_16_instruction()

void ProgramBlock::process_fdiv_16_instruction ( FDIV_16_Instruction instruction )

private

Definition at line 638 of file program_block.cpp.

◆ process_fdiv_8_instruction()

void ProgramBlock::process_fdiv_8_instruction ( FDIV_8_Instruction instruction )

private

Definition at line 492 of file program_block.cpp.

◆ process_getcontractinstance_instruction()

void ProgramBlock::process_getcontractinstance_instruction ( GETCONTRACTINSTANCE_Instruction instruction )

private

Definition at line 1240 of file program_block.cpp.

◆ process_getenvvar_instruction()

void ProgramBlock::process_getenvvar_instruction ( GETENVVAR_Instruction instruction )

private

Definition at line 986 of file program_block.cpp.

◆ process_instruction()

void ProgramBlock::process_instruction ( FuzzInstruction instruction )

process the instruction

Parameters

instruction the instruction to process Updates stored_variables if the instruction writes to memory Updates instructions with the instruction If arguments of the instruction are not in stored_variables, the instruction is skipped

Definition at line 1649 of file program_block.cpp.

◆ process_instruction_block()

void ProgramBlock::process_instruction_block ( InstructionBlock & instruction_block )

process the instruction block

Parameters

instruction_block the instruction block to process

Definition at line 1637 of file program_block.cpp.

◆ process_keccakf1600_instruction()

void ProgramBlock::process_keccakf1600_instruction ( KECCAKF1600_Instruction instruction )

private

Definition at line 1353 of file program_block.cpp.

◆ process_l1tol2msgexists_instruction()

void ProgramBlock::process_l1tol2msgexists_instruction ( L1TOL2MSGEXISTS_Instruction instruction )

private

Definition at line 1410 of file program_block.cpp.

◆ process_lt_16_instruction()

void ProgramBlock::process_lt_16_instruction ( LT_16_Instruction instruction )

private

Definition at line 687 of file program_block.cpp.

◆ process_lt_8_instruction()

void ProgramBlock::process_lt_8_instruction ( LT_8_Instruction instruction )

private

Definition at line 169 of file program_block.cpp.

◆ process_lte_16_instruction()

void ProgramBlock::process_lte_16_instruction ( LTE_16_Instruction instruction )

private

Definition at line 711 of file program_block.cpp.

◆ process_lte_8_instruction()

void ProgramBlock::process_lte_8_instruction ( LTE_8_Instruction instruction )

private

Definition at line 192 of file program_block.cpp.

◆ process_mov_16_instruction()

void ProgramBlock::process_mov_16_instruction ( MOV_16_Instruction instruction )

private

Definition at line 471 of file program_block.cpp.

◆ process_mov_8_instruction()

void ProgramBlock::process_mov_8_instruction ( MOV_8_Instruction instruction )

private

Definition at line 451 of file program_block.cpp.

◆ process_mul_16_instruction()

void ProgramBlock::process_mul_16_instruction ( MUL_16_Instruction instruction )

private

Definition at line 588 of file program_block.cpp.

◆ process_mul_8_instruction()

void ProgramBlock::process_mul_8_instruction ( MUL_8_Instruction instruction )

private

Definition at line 100 of file program_block.cpp.

◆ process_not_16_instruction()

void ProgramBlock::process_not_16_instruction ( NOT_16_Instruction instruction )

private

Definition at line 810 of file program_block.cpp.

◆ process_not_8_instruction()

void ProgramBlock::process_not_8_instruction ( NOT_8_Instruction instruction )

private

Definition at line 517 of file program_block.cpp.

◆ process_notehashexists_instruction()

void ProgramBlock::process_notehashexists_instruction ( NOTEHASHEXISTS_Instruction instruction )

private

Definition at line 1073 of file program_block.cpp.

◆ process_nullifierexists_instruction()

void ProgramBlock::process_nullifierexists_instruction ( NULLIFIEREXISTS_Instruction instruction )

private

Definition at line 1027 of file program_block.cpp.

◆ process_or_16_instruction()

void ProgramBlock::process_or_16_instruction ( OR_16_Instruction instruction )

private

Definition at line 760 of file program_block.cpp.

◆ process_or_8_instruction()

void ProgramBlock::process_or_8_instruction ( OR_8_Instruction instruction )

private

Definition at line 239 of file program_block.cpp.

◆ process_poseidon2perm_instruction()

void ProgramBlock::process_poseidon2perm_instruction ( POSEIDON2PERM_Instruction instruction )

private

Definition at line 1326 of file program_block.cpp.

◆ process_returndatacopy_instruction()

void ProgramBlock::process_returndatacopy_instruction ( RETURNDATACOPY_Instruction instruction )

private

Definition at line 1216 of file program_block.cpp.

◆ process_returndatasize_instruction()

void ProgramBlock::process_returndatasize_instruction ( RETURNDATASIZE_Instruction instruction )

private

Definition at line 1199 of file program_block.cpp.

◆ process_sendl2tol1msg_instruction()

void ProgramBlock::process_sendl2tol1msg_instruction ( SENDL2TOL1MSG_Instruction instruction )

private

Definition at line 1123 of file program_block.cpp.

◆ process_set_128_instruction()

void ProgramBlock::process_set_128_instruction ( SET_128_Instruction instruction )

private

Definition at line 411 of file program_block.cpp.

◆ process_set_16_instruction()

void ProgramBlock::process_set_16_instruction ( SET_16_Instruction instruction )

private

Definition at line 354 of file program_block.cpp.

◆ process_set_32_instruction()

void ProgramBlock::process_set_32_instruction ( SET_32_Instruction instruction )

private

Definition at line 373 of file program_block.cpp.

◆ process_set_64_instruction()

void ProgramBlock::process_set_64_instruction ( SET_64_Instruction instruction )

private

Definition at line 392 of file program_block.cpp.

◆ process_set_8_instruction()

void ProgramBlock::process_set_8_instruction ( SET_8_Instruction instruction )

private

Definition at line 335 of file program_block.cpp.

◆ process_set_ff_instruction()

void ProgramBlock::process_set_ff_instruction ( SET_FF_Instruction instruction )

private

Definition at line 432 of file program_block.cpp.

◆ process_sha256compression_instruction()

void ProgramBlock::process_sha256compression_instruction ( SHA256COMPRESSION_Instruction instruction )

private

Definition at line 1380 of file program_block.cpp.

◆ process_shl_16_instruction()

void ProgramBlock::process_shl_16_instruction ( SHL_16_Instruction instruction )

private

Definition at line 831 of file program_block.cpp.

◆ process_shl_8_instruction()

void ProgramBlock::process_shl_8_instruction ( SHL_8_Instruction instruction )

private

Definition at line 287 of file program_block.cpp.

◆ process_shr_16_instruction()

void ProgramBlock::process_shr_16_instruction ( SHR_16_Instruction instruction )

private

Definition at line 856 of file program_block.cpp.

◆ process_shr_8_instruction()

void ProgramBlock::process_shr_8_instruction ( SHR_8_Instruction instruction )

private

Definition at line 311 of file program_block.cpp.

◆ process_sload_instruction()

void ProgramBlock::process_sload_instruction ( SLOAD_Instruction instruction )

private

Definition at line 951 of file program_block.cpp.

◆ process_sstore_instruction()

void ProgramBlock::process_sstore_instruction ( SSTORE_Instruction instruction )

private

Definition at line 927 of file program_block.cpp.

◆ process_sub_16_instruction()

void ProgramBlock::process_sub_16_instruction ( SUB_16_Instruction instruction )

private

Definition at line 563 of file program_block.cpp.

◆ process_sub_8_instruction()

void ProgramBlock::process_sub_8_instruction ( SUB_8_Instruction instruction )

private

Definition at line 77 of file program_block.cpp.

◆ process_successcopy_instruction()

void ProgramBlock::process_successcopy_instruction ( SUCCESSCOPY_Instruction instruction )

private

Definition at line 1266 of file program_block.cpp.

◆ process_toradixbe_instruction()

void ProgramBlock::process_toradixbe_instruction ( TORADIXBE_Instruction instruction )

private

Definition at line 1433 of file program_block.cpp.

◆ process_write_terminating_condition_value()

void ProgramBlock::process_write_terminating_condition_value ( )

Definition at line 1623 of file program_block.cpp.

◆ process_xor_16_instruction()

void ProgramBlock::process_xor_16_instruction ( XOR_16_Instruction instruction )

private

Definition at line 785 of file program_block.cpp.

◆ process_xor_8_instruction()

void ProgramBlock::process_xor_8_instruction ( XOR_8_Instruction instruction )

private

Definition at line 263 of file program_block.cpp.

◆ record_result_tag_from_param_tags()

void ProgramBlock::record_result_tag_from_param_tags	(	std::initializer_list< ParamRef >	params,
		ResolvedAddress	result_address
	)

private

Definition at line 38 of file program_block.cpp.

Member Data Documentation

◆ caller

ProgramBlock* ProgramBlock::caller = nullptr

the block that called this block by INTERNALCALL This field is copied to predecessors on every CFG instructions

Definition at line 127 of file program_block.hpp.

◆ condition_offset_index

uint16_t ProgramBlock::condition_offset_index = 0

private

the offset index of the condition variable (for JUMP_IF)

Definition at line 47 of file program_block.hpp.

◆ instructions

std::vector<bb::avm2::simulation::Instruction> ProgramBlock::instructions

private

Definition at line 44 of file program_block.hpp.

◆ internal_call_instruction_indicies_to_patch

std::map<size_t, ProgramBlock*> ProgramBlock::internal_call_instruction_indicies_to_patch

private

Definition at line 52 of file program_block.hpp.

◆ memory_manager

MemoryManager ProgramBlock::memory_manager

private

Definition at line 43 of file program_block.hpp.

◆ offset

int ProgramBlock::offset = -1

Definition at line 129 of file program_block.hpp.

◆ predecessors

std::vector<ProgramBlock*> ProgramBlock::predecessors

Definition at line 123 of file program_block.hpp.

◆ successors

std::vector<ProgramBlock*> ProgramBlock::successors

Definition at line 122 of file program_block.hpp.

◆ terminator_type

TerminatorType ProgramBlock::terminator_type = TerminatorType::NONE

Definition at line 128 of file program_block.hpp.

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

src/barretenberg/avm_fuzzer/fuzz_lib/program_block.hpp
src/barretenberg/avm_fuzzer/fuzz_lib/program_block.cpp

Public Member Functions

Public Attributes

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ ProgramBlock()

Member Function Documentation

◆ finalize_with_jump()

◆ finalize_with_jump_if()

◆ finalize_with_return()

◆ finalize_with_revert()

◆ get_instructions()

◆ get_terminating_condition_value()

◆ insert_internal_call()

◆ is_memory_address_set()

◆ patch_internal_calls()

◆ preprocess_memory_addresses()

◆ process_add_16_instruction()

◆ process_add_8_instruction()

◆ process_and_16_instruction()

◆ process_and_8_instruction()

◆ process_call_instruction()

◆ process_calldatacopy_instruction()

◆ process_cast_16_instruction()

◆ process_cast_8_instruction()

◆ process_debuglog_instruction()

◆ process_div_16_instruction()

◆ process_div_8_instruction()

◆ process_ecadd_instruction()

◆ process_emitnotehash_instruction()

◆ process_emitnulifier_instruction()

◆ process_emitpubliclog_instruction()

◆ process_eq_16_instruction()

◆ process_eq_8_instruction()

◆ process_fdiv_16_instruction()

◆ process_fdiv_8_instruction()

◆ process_getcontractinstance_instruction()

◆ process_getenvvar_instruction()

◆ process_instruction()

◆ process_instruction_block()

◆ process_keccakf1600_instruction()

◆ process_l1tol2msgexists_instruction()

◆ process_lt_16_instruction()

◆ process_lt_8_instruction()

◆ process_lte_16_instruction()

◆ process_lte_8_instruction()

◆ process_mov_16_instruction()

◆ process_mov_8_instruction()

◆ process_mul_16_instruction()

◆ process_mul_8_instruction()

◆ process_not_16_instruction()

◆ process_not_8_instruction()

◆ process_notehashexists_instruction()

◆ process_nullifierexists_instruction()

◆ process_or_16_instruction()

◆ process_or_8_instruction()

◆ process_poseidon2perm_instruction()

◆ process_returndatacopy_instruction()

◆ process_returndatasize_instruction()

◆ process_sendl2tol1msg_instruction()

◆ process_set_128_instruction()

◆ process_set_16_instruction()

◆ process_set_32_instruction()

◆ process_set_64_instruction()

◆ process_set_8_instruction()

◆ process_set_ff_instruction()

◆ process_sha256compression_instruction()

◆ process_shl_16_instruction()

◆ process_shl_8_instruction()

◆ process_shr_16_instruction()

◆ process_shr_8_instruction()

◆ process_sload_instruction()

◆ process_sstore_instruction()

◆ process_sub_16_instruction()

◆ process_sub_8_instruction()

◆ process_successcopy_instruction()

◆ process_toradixbe_instruction()

◆ process_write_terminating_condition_value()

◆ process_xor_16_instruction()