acir_loader.cpp File Reference

#include "acir_loader.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/serialize/msgpack_impl.hpp"
#include "barretenberg/smt_verification/circuit/ultra_circuit.hpp"
#include "barretenberg/smt_verification/terms/term.hpp"
#include <fstream>
#include <string>
#include <vector>

Go to the source code of this file.

Functions
std::vector< uint8_t >	readFile (std::string filename)

Function Documentation

readFile()

std::vector< uint8_t > readFile

(

std::string

filename

)

Definition at line 11 of file acir_loader.cpp.