indexed_tree_check_event.hpp File Reference

#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/events/checkpoint_event_type.hpp"
#include "barretenberg/vm2/simulation/lib/db_types.hpp"
#include <cstdint>
#include <optional>
#include <variant>

Go to the source code of this file.

Classes
struct	bb::avm2::simulation::IndexedTreeLeafData
struct	bb::avm2::simulation::IndexedTreeSiloingParameters
struct	bb::avm2::simulation::IndexedLeafSiloingData
struct	bb::avm2::simulation::IndexedLeafAppendData
struct	bb::avm2::simulation::IndexedTreeReadWriteEvent

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::simulation
	AVM range check gadget for witness generation.

Typedefs
using	bb::avm2::simulation::IndexedTreeCheckEvent = std::variant< IndexedTreeReadWriteEvent, CheckPointEventType >