raw_data_dbs.cpp File Reference

#include "barretenberg/vm2/simulation/lib/raw_data_dbs.hpp"
#include <cassert>
#include <optional>
#include <span>
#include <stdexcept>
#include <string>
#include "barretenberg/aztec/aztec_constants.hpp"
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/crypto/merkle_tree/indexed_tree/indexed_leaf.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/simulation/interfaces/db.hpp"
#include "barretenberg/vm2/simulation/lib/contract_crypto.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.