acir_graph.hpp File Reference

#include <cstdint>
#include <unordered_map>
#include <unordered_set>
#include <vector>

Go to the source code of this file.

Classes
class	acir_components_check::AcirGraph
	Undirected graph on ACIR witness indices; connected components = "ACIR 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.