ultra_circuit_checker.cpp File Reference

#include "ultra_circuit_checker.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/constexpr_utils.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/relations/relation_types.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include <unordered_set>

Go to the source code of this file.

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

Functions
template<>
auto	bb::UltraCircuitChecker::init_empty_values< MegaCircuitBuilder_< bb::fr > > ()
template<>
MegaCircuitBuilder_< bb::fr >	bb::UltraCircuitChecker::prepare_circuit< MegaCircuitBuilder_< bb::fr > > (const MegaCircuitBuilder_< bb::fr > &builder_in)
template bool	bb::UltraCircuitChecker::check< MegaCircuitBuilder_< bb::fr > > (const MegaCircuitBuilder_< bb::fr > &builder_in)
template bool	bb::UltraCircuitChecker::check_relation_at_row< Poseidon2ExternalRelation< bb::fr > > (MegaCircuitBuilder_< bb::fr > &, MegaTraceBlock &, size_t)
template bool	bb::UltraCircuitChecker::check_relation_at_row< Poseidon2TransitionEntryRelation< bb::fr > > (MegaCircuitBuilder_< bb::fr > &, MegaTraceBlock &, size_t)
template bool	bb::UltraCircuitChecker::check_relation_at_row< Poseidon2QuadInternalRelation< bb::fr > > (MegaCircuitBuilder_< bb::fr > &, MegaTraceBlock &, size_t)
template bool	bb::UltraCircuitChecker::check_relation_at_row< Poseidon2QuadInternalTerminalRelation< bb::fr > > (MegaCircuitBuilder_< bb::fr > &, MegaTraceBlock &, size_t)