acir_graph.cpp File Reference

Opcode → witness hyperedges for ACIR connectivity analysis. More...

#include "acir_graph.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include <stack>
#include <unordered_map>
#include <variant>

Go to the source code of this file.

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

Detailed Description

Opcode → witness hyperedges for ACIR connectivity analysis.

Definition in file acir_graph.cpp.