public_data_tree_check.cpp File Reference

#include "barretenberg/vm2/simulation/gadgets/public_data_tree_check.hpp"
#include <algorithm>
#include <limits>
#include <stdexcept>
#include "barretenberg/aztec/aztec_constants.hpp"
#include "barretenberg/vm2/simulation/events/checkpoint_event_type.hpp"

Go to the source code of this file.

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