components_check.hpp File Reference

#include "acir_graph.hpp"
#include "barretenberg/boomerang_value_detection/graph.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include <cstdint>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <vector>

Go to the source code of this file.

Classes
struct	acir_components_check::Error
class	acir_components_check::ComponentsChecker_< Builder >
	Structural comparison between ACIR-level and circuit-level connected components. More...

Namespaces
namespace	Acir
namespace	acir_components_check
	Validates that ACIR witness connectivity (from the Noir circuit) matches circuit variable connectivity after create_circuit.

Typedefs
using	acir_components_check::ComponentsChecker = ComponentsChecker_< bb::UltraCircuitBuilder >
	Default alias for callers that work with UltraCircuitBuilder.
using	acir_components_check::UltraComponentsChecker = ComponentsChecker_< bb::UltraCircuitBuilder >
using	acir_components_check::MegaComponentsChecker = ComponentsChecker_< bb::MegaCircuitBuilder >