simulator.hpp

Go to the documentation of this file.

#pragma once
 
#include <vector>
 
#include "barretenberg/avm_fuzzer/common/interfaces/dbs.hpp"
#include "barretenberg/crypto/merkle_tree/indexed_tree/indexed_leaf.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/interfaces/execution.hpp"
 
using namespace bb::avm2::simulation;
using namespace bb::avm2;
 
struct SimulatorResult {
    bool reverted;
    std::vector<FF> output;
    TreeSnapshots end_tree_snapshots;
    std::string revert_reason;
    PublicTxEffect public_tx_effect;
 
    MSGPACK_CAMEL_CASE_FIELDS(reverted, output, end_tree_snapshots, revert_reason, public_tx_effect);
};
 
class Simulator {
  public:
    virtual ~Simulator() = default;
    Simulator(const Simulator&) = delete;
    Simulator& operator=(const Simulator&) = delete;
    Simulator(Simulator&&) = delete;
    Simulator& operator=(Simulator&&) = delete;
    Simulator() = default;
    virtual SimulatorResult simulate(
        fuzzer::FuzzerWorldStateManager& ws_mgr,
        fuzzer::FuzzerContractDB& contract_db,
        const Tx& tx,
        const GlobalVariables& globals,
        const std::vector<bb::crypto::merkle_tree::PublicDataLeafValue>& public_data_writes,
        const std::vector<FF>& note_hashes,
        const ProtocolContracts& protocol_contracts) = 0;
};
 
class CppSimulator : public Simulator {
  public:
    SimulatorResult simulate(fuzzer::FuzzerWorldStateManager& ws_mgr,
                             fuzzer::FuzzerContractDB& contract_db,
                             const Tx& tx,
                             const GlobalVariables& globals,
                             const std::vector<bb::crypto::merkle_tree::PublicDataLeafValue>& public_data_writes,
                             const std::vector<FF>& note_hashes,
                             const ProtocolContracts& protocol_contracts) override;
};
 
GlobalVariables create_default_globals();
 
Tx create_default_tx(const AztecAddress& contract_address,
                     const AztecAddress& sender_address,
                     const std::vector<FF>& calldata,
                     [[maybe_unused]] const FF& transaction_fee,
                     bool is_static_call,
                     const Gas& gas_limit);