components_check.cpp File Reference

Maps each ACIR witness to a circuit-side component (real, virtual, or absent) and compares per ACIR component. More...

#include "components_check.hpp"

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

Maps each ACIR witness to a circuit-side component (real, virtual, or absent) and compares per ACIR component.

Definition in file components_check.cpp.