to_radix.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/to_radix_event.hpp"
#include "barretenberg/vm2/simulation/gt.hpp"
#include "barretenberg/vm2/simulation/lib/execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/memory.hpp"
 
namespace bb::avm2::simulation {
 
class ToRadixInterface {
  public:
    virtual ~ToRadixInterface() = default;
    virtual std::vector<uint8_t> to_le_radix(const FF& value, uint32_t num_limbs, uint32_t radix) = 0;
    virtual std::vector<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 ToRadix : public ToRadixInterface {
  public:
    ToRadix(ExecutionIdManagerInterface& execution_id_manager,
            GreaterThanInterface& gt,
            EventEmitterInterface<ToRadixEvent>& event_emitter,
            EventEmitterInterface<ToRadixMemoryEvent>& memory_event_emitter)
        : execution_id_manager(execution_id_manager)
        , gt(gt)
        , events(event_emitter)
        , memory_events(memory_event_emitter)
    {}
 
    std::vector<uint8_t> to_le_radix(const FF& value, uint32_t num_limbs, uint32_t radix) override;
    std::vector<bool> to_le_bits(const FF& value, uint32_t num_limbs) override;
    void to_be_radix(MemoryInterface& memory,
                     const FF& value,
                     uint32_t radix,
                     uint32_t num_limbs,
                     bool is_output_bits,
                     MemoryAddress dst_addr) override;
 
  private:
    ExecutionIdManagerInterface& execution_id_manager;
    GreaterThanInterface& gt;
    EventEmitterInterface<ToRadixEvent>& events;
    EventEmitterInterface<ToRadixMemoryEvent>& memory_events;
};
 
} // namespace bb::avm2::simulation