ultra_circuit_checker.hpp File Reference

#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/relations/delta_range_constraint_relation.hpp"
#include "barretenberg/relations/ecc_op_queue_relation.hpp"
#include "barretenberg/relations/elliptic_relation.hpp"
#include "barretenberg/relations/memory_relation.hpp"
#include "barretenberg/relations/non_native_field_relation.hpp"
#include "barretenberg/relations/poseidon2_external_relation.hpp"
#include "barretenberg/relations/poseidon2_internal_relation.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/ultra_arithmetic_relation.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <optional>

Go to the source code of this file.

Classes
class	bb::UltraCircuitChecker
struct	bb::UltraCircuitChecker::TagCheckData
	Struct for managing the running tag product data for ensuring tag correctness. More...
struct	bb::UltraCircuitChecker::MemoryCheckData
	Struct for managing memory record data for ensuring RAM/ROM correctness. More...
struct	bb::UltraCircuitChecker::HashFunction

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