context_helper.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/avm_fuzzer/fuzz_lib/constants.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/simulation/gadgets/bytecode_hashing.hpp"
#include "barretenberg/vm2/simulation/gadgets/bytecode_manager.hpp"
#include "barretenberg/vm2/simulation/gadgets/calldata_hashing.hpp"
#include "barretenberg/vm2/simulation/gadgets/context_provider.hpp"
#include "barretenberg/vm2/simulation/gadgets/contract_instance_manager.hpp"
#include "barretenberg/vm2/simulation/gadgets/field_gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/internal_call_stack_manager.hpp"
#include "barretenberg/vm2/simulation/gadgets/merkle_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/poseidon2.hpp"
#include "barretenberg/vm2/simulation/gadgets/range_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/update_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/written_public_data_slots_tree_check.hpp"
#include "barretenberg/vm2/simulation/interfaces/context.hpp"
#include "barretenberg/vm2/simulation/lib/execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/lib/side_effect_tracker.hpp"
#include "barretenberg/vm2/simulation/standalone/concrete_dbs.hpp"
 
namespace bb::avm2::fuzzing {
 
using namespace bb::avm2::simulation;
 
class GadgetFuzzerContextHelper {
  public:
    GadgetFuzzerContextHelper(AztecAddress contract_address = AztecAddress(0),
                              bool is_static = false,
                              uint32_t start_clk = 0);
    // Commonly used emitters:
    DeduplicatingEventEmitter<RangeCheckEvent> range_check_emitter;
    DeduplicatingEventEmitter<GreaterThanEvent> greater_than_emitter;
    DeduplicatingEventEmitter<FieldGreaterThanEvent> field_gt_emitter;
    EventEmitter<InternalCallStackEvent> internal_call_stack_emitter;
 
    // Commonly used gadgets:
    ExecutionIdManager execution_id_manager;
    RangeCheck range_check;
    FieldGreaterThan field_gt;
    GreaterThan greater_than;
    // Side effect tracker:
    SideEffectTracker side_effect_tracker;
    // Memory provider:
    MemoryProvider memory_provider;
    // Context provider:
    std::unique_ptr<simulation::ContextProvider> context_provider;
    // Context:
    std::unique_ptr<simulation::ContextInterface> make_enqueued_fuzzing_context(
        AztecAddress address = AztecAddress(0),
        AztecAddress msg_sender = AztecAddress(0),
        bool is_static = false,
        FF transaction_fee = FF(0),
        std::span<const FF> calldata = {},
        Gas gas_limit = GAS_LIMIT,
        Gas gas_used = GAS_USED_BY_PRIVATE,
        TransactionPhase phase = TransactionPhase::APP_LOGIC);
 
    std::unique_ptr<simulation::ContextInterface> make_nested_fuzzing_context(AztecAddress address,
                                                                              AztecAddress msg_sender,
                                                                              ContextInterface& parent_context,
                                                                              bool is_static = false,
                                                                              Gas gas_limit = GAS_LIMIT);
 
  private:
    // Emitters:
    EventEmitter<MemoryEvent> memory_emitter;
    EventEmitter<Poseidon2HashEvent> hash_event_emitter;
    EventEmitter<Poseidon2PermutationEvent> perm_event_emitter;
    EventEmitter<Poseidon2PermutationMemoryEvent> perm_mem_event_emitter;
    EventEmitter<UpdateCheckEvent> update_check_emitter;
    EventEmitter<MerkleCheckEvent> merkle_check_emitter;
    EventEmitter<ContractInstanceRetrievalEvent> contract_instance_retrieval_emitter;
    EventEmitter<WrittenPublicDataSlotsTreeCheckEvent> written_public_data_slots_tree_check_emitter;
    EventEmitter<BytecodeRetrievalEvent> bytecode_retrieval_emitter;
    EventEmitter<BytecodeHashingEvent> bytecode_hashing_emitter;
    EventEmitter<BytecodeDecompositionEvent> bytecode_decomposition_emitter;
    EventEmitter<RetrievedBytecodesTreeCheckEvent> retrieved_bytecodes_tree_check_emitter;
    EventEmitter<CalldataEvent> calldata_event_emitter;
    DeduplicatingEventEmitter<InstructionFetchingEvent> instruction_fetching_emitter;
 
    // Gadgets:
    MerkleCheck merkle_check;
    Poseidon2 poseidon2;
    WrittenPublicDataSlotsTreeCheck written_public_data_slots_tree_check;
    RetrievedBytecodesTreeCheck retrieved_bytecodes_tree_check;
    std::unique_ptr<TxBytecodeManager> tx_bytecode_manager;
 
    // Misc:
    GlobalVariables global_variables;
    ExecutionHints hints;
    PureMerkleDB make_empty_merkle_db();
};
 
} // namespace bb::avm2::fuzzing