Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
simulation_helper.hpp
Go to the documentation of this file.
1#pragma once
2
8
9namespace bb::avm2 {
10
12 public:
13 // Full simulation with event collection.
15
16 // Fast simulation without event collection.
18 const world_state::WorldStateRevision& world_state_revision,
20 const PublicSimulatorConfig& config,
21 const Tx& tx,
22 const GlobalVariables& global_variables,
23 const ProtocolContracts& protocol_contracts);
24
26
27 protected:
28 // Helper called by simulate_fast* functions.
31 const PublicSimulatorConfig& config,
32 const Tx& tx,
33 const GlobalVariables& global_variables,
34 const ProtocolContracts& protocol_contracts);
35};
36
37} // namespace bb::avm2
TxSimulationResult simulate_fast_with_hinted_dbs(const ExecutionHints &hints)
TxSimulationResult simulate_fast(simulation::ContractDBInterface &raw_contract_db, simulation::LowLevelMerkleDBInterface &raw_merkle_db, const PublicSimulatorConfig &config, const Tx &tx, const GlobalVariables &global_variables, const ProtocolContracts &protocol_contracts)
simulation::EventsContainer simulate_for_witgen(const ExecutionHints &hints)
TxSimulationResult simulate_fast_with_existing_ws(simulation::ContractDBInterface &raw_contract_db, const world_state::WorldStateRevision &world_state_revision, world_state::WorldState &ws, const PublicSimulatorConfig &config, const Tx &tx, const GlobalVariables &global_variables, const ProtocolContracts &protocol_contracts)
Holds the Merkle trees responsible for storing the state of the Aztec protocol.