acir_components_check Directory Reference

Files
	acir_graph.cpp
	Opcode → witness hyperedges for ACIR connectivity analysis.
	acir_graph.hpp
	components_check.cpp
	Maps each ACIR witness to a circuit-side component (real, virtual, or absent) and compares per ACIR component.
	components_check.hpp
	components_check.test.cpp
	Regression tests: small hand-built Acir::Circuit values through serde, create_circuit, and ComponentsChecker (same path as the acir_components_check binary minus file I/O).
	main.cpp