written_public_data_slots_tree_check.hpp File Reference

#include <stack>
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/events/written_public_data_slot_tree_check_event.hpp"
#include "barretenberg/vm2/simulation/field_gt.hpp"
#include "barretenberg/vm2/simulation/lib/db_interfaces.hpp"
#include "barretenberg/vm2/simulation/lib/written_slots_tree.hpp"
#include "barretenberg/vm2/simulation/merkle_check.hpp"
#include "barretenberg/vm2/simulation/poseidon2.hpp"

Go to the source code of this file.

Classes
class	bb::avm2::simulation::WrittenPublicDataSlotsInterface
class	bb::avm2::simulation::WrittenPublicDataSlotsTreeCheckInterface
class	bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::simulation