acir_formal_proofs Directory Reference

Files
	acir_loader.cpp
	acir_loader.hpp
	acir_loader.test.cpp
	Tests for verifying ACIR (Arithmetic Circuit Intermediate Representation) operations.
	formal_proofs.cpp
	formal_proofs.hpp
	helpers.cpp
	helpers.hpp
	helpers.test.cpp