stringify.hpp

Go to the documentation of this file.

#pragma once
 
#include <concepts>
#include <cstdint>
#include <sstream>
#include <string>
#include <tuple>
#include <utility>
 
#include "barretenberg/common/tuple.hpp"
#include "barretenberg/numeric/uint128/uint128.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
 
namespace bb::avm2 {
 
std::string field_to_string(const FF& ff);
 
template <typename T>
    requires(std::unsigned_integral<T>)
std::string to_hex(T value)
{
    std::ostringstream stream;
    auto num_bytes = static_cast<uint64_t>(sizeof(T));
    auto mask = static_cast<uint64_t>((static_cast<uint128_t>(1) << (num_bytes * 8)) - 1);
    auto padding = static_cast<int>(num_bytes * 2);
    stream << std::setfill('0') << std::setw(padding) << std::hex << (value & mask);
    return stream.str();
}
 
template <size_t N> std::string to_string(const std::array<FF, N>& arr)
{
    std::ostringstream stream;
    stream << "{";
    for (size_t i = 0; i < N; ++i) {
        stream << field_to_string(arr[i]);
        if (i < N - 1) {
            stream << ", ";
        }
    }
    stream << "}";
    return stream.str();
}
 
template <size_t N>
std::string column_values_to_string(const std::array<FF, N>& arr, const std::array<ColumnAndShifts, N>& columns)
{
    std::ostringstream stream;
    stream << "{";
    for (size_t i = 0; i < N; ++i) {
        stream << COLUMN_NAMES[static_cast<size_t>(columns[i])] << ": " << field_to_string(arr[i]);
        if (i < N - 1) {
            stream << ", ";
        }
    }
    stream << "}";
    return stream.str();
}
 
template <typename... Ts, size_t N>
std::string column_values_to_string(const flat_tuple::tuple<Ts...>& tup, const std::array<ColumnAndShifts, N>& columns)
{
    static_assert(sizeof...(Ts) == N, "Tuple and columns array must have the same size");
    std::ostringstream stream;
    stream << "{";
    [&]<size_t... Is>(std::index_sequence<Is...>) {
        size_t i = 0;
        ((stream << (i++ > 0 ? ", " : "") << COLUMN_NAMES[static_cast<size_t>(columns[Is])] << ": "
                 << field_to_string(flat_tuple::get<Is>(tup))),
         ...);
    }(std::make_index_sequence<N>{});
    stream << "}";
    return stream.str();
}
 
} // namespace bb::avm2