to_radix.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <stdexcept>
#include <string>
#include <utility>
#include <vector>
 
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
 
namespace bb::avm2::simulation {
 
// Forward declarations
class MemoryInterface;
 
class ToRadixInterface {
  public:
    virtual ~ToRadixInterface() = default;
    virtual std::pair<std::vector<uint8_t>, /* truncated */ bool> to_le_radix(const FF& value,
                                                                              uint32_t num_limbs,
                                                                              uint32_t radix) = 0;
    virtual std::pair<std::vector<bool>, /* truncated */ bool> to_le_bits(const FF& value, uint32_t num_limbs) = 0;
    virtual void to_be_radix(MemoryInterface& memory,
                             const FF& value,
                             uint32_t radix,
                             uint32_t num_limbs,
                             bool is_output_bits,
                             MemoryAddress dst_addr) = 0;
};
 
class ToRadixException : public std::runtime_error {
  public:
    explicit ToRadixException(const std::string& message)
        : std::runtime_error("ToRadix Exception: " + message)
    {}
};
 
} // namespace bb::avm2::simulation