Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
avm_sim_api.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include "
barretenberg/vm2/common/avm_io.hpp
"
4
#include "
barretenberg/vm2/simulation/interfaces/db.hpp
"
5
6
namespace
bb::avm2
{
7
8
class
AvmSimAPI
{
9
public
:
10
using
ProvingInputs
=
AvmProvingInputs
;
11
using
FastSimulationInputs
=
AvmFastSimulationInputs
;
12
13
AvmSimAPI
() =
default
;
14
15
TxSimulationResult
simulate
(
const
FastSimulationInputs
&
inputs
,
16
simulation::ContractDBInterface
&
contract_db
,
17
world_state::WorldState
& ws);
18
TxSimulationResult
simulate_with_hinted_dbs
(
const
AvmProvingInputs
&
inputs
);
19
};
20
21
}
// namespace bb::avm2
avm_io.hpp
contract_db
StrictMock< MockContractDB > contract_db
Definition
bytecode_manager.test.cpp:48
bb::avm2::AvmSimAPI
Definition
avm_sim_api.hpp:8
bb::avm2::AvmSimAPI::simulate_with_hinted_dbs
TxSimulationResult simulate_with_hinted_dbs(const AvmProvingInputs &inputs)
Definition
avm_sim_api.cpp:28
bb::avm2::AvmSimAPI::AvmSimAPI
AvmSimAPI()=default
bb::avm2::AvmSimAPI::simulate
TxSimulationResult simulate(const FastSimulationInputs &inputs, simulation::ContractDBInterface &contract_db, world_state::WorldState &ws)
Definition
avm_sim_api.cpp:11
bb::avm2::simulation::ContractDBInterface
Definition
db.hpp:17
bb::world_state::WorldState
Holds the Merkle trees responsible for storing the state of the Aztec protocol.
Definition
world_state.hpp:59
db.hpp
inputs
AvmProvingInputs inputs
Definition
hinting_dbs.test.cpp:45
bb::avm2
Definition
dbs.cpp:13
bb::avm2::AvmFastSimulationInputs
Definition
avm_io.hpp:465
bb::avm2::AvmProvingInputs
Definition
avm_io.hpp:417
bb::avm2::TxSimulationResult
Definition
avm_io.hpp:548
src
barretenberg
vm2
avm_sim_api.hpp
Generated by
1.9.8