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 "#include"
#include "barretenberg/smt_verification/terms/term.hpp"
#include <fstream>
#include <string>
#include <vector>

Go to the source code of this file.

Functions
barretenberg serialize msgpack_impl hpp barretenberg smt_verification circuit ultra_circuit hpp std::vector< uint8_t >	readFile (std::string filename)

Function Documentation

readFile()

barretenberg serialize msgpack_impl hpp barretenberg smt_verification circuit ultra_circuit hpp std::vector< uint8_t > readFile

(

std::string

filename

)

Definition at line 11 of file acir_loader.cpp.