acir_loader.hpp File Reference

#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/smt_verification/circuit/ultra_circuit.hpp"
#include <cstdint>
#include <string>
#include <vector>

Go to the source code of this file.

Classes
class	AcirToSmtLoader
	Class for loading ACIR (Arithmetic Circuit Intermediate Representation) programs and converting them to SMT format. More...