20 std::ifstream file(filename, std::ios::binary | std::ios::ate);
25 file.seekg(0, std::ios::end);
26 return (
size_t)file.tellg();
29inline std::vector<uint8_t>
read_file(
const std::string& filename,
size_t bytes = 0)
32 if (filename ==
"-") {
36 std::ifstream file(filename, std::ios::binary);
38 THROW std::runtime_error(
"Unable to open file: " + filename);
42 if (!file.seekg(0, std::ios::end)) {
48 auto size =
static_cast<size_t>(file.tellg());
49 file.seekg(0, std::ios::beg);
52 auto to_read = bytes == 0 ? size : bytes;
53 std::vector<uint8_t> fileData(to_read);
54 file.read(
reinterpret_cast<char*
>(fileData.data()), (
std::streamsize)to_read);
58inline void write_file(
const std::string& filename, std::vector<uint8_t>
const&
data)
61 if (stat(filename.c_str(), &st) == 0 && S_ISFIFO(st.st_mode)) {
63 int fd = open(filename.c_str(), O_WRONLY);
65 THROW std::runtime_error(
"Failed to open file descriptor: " + filename);
68 size_t total_written = 0;
69 size_t data_size =
data.size();
70 while (total_written < data_size) {
71 ssize_t written =
::write(fd,
data.data() + total_written, data_size - total_written);
74 THROW std::runtime_error(
"Failed to write to file descriptor: " + filename);
76 total_written +=
static_cast<size_t>(written);
80 std::ofstream file(filename, std::ios::binary);
82 THROW std::runtime_error(
"Failed to open data file for writing: " + filename +
" (" + strerror(errno) +
94 for (
size_t i = 0; i < fields.size(); ++i) {
95 ss <<
'"' << fields[i] <<
'"';
96 if (i != fields.size() - 1) {
const std::vector< FF > data
Entry point for Barretenberg command-line interface.
void write(B &buf, field2< base_field, Params > const &value)
std::vector< uint8_t > read_file(const std::string &filename, size_t bytes=0)
void write_file(const std::string &filename, std::vector< uint8_t > const &data)
std::string field_elements_to_json(const std::vector< Fr > &fields)
size_t get_file_size(std::string const &filename)
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept