data_copy.cpp

Go to the documentation of this file.

#include "barretenberg/vm2/simulation/gadgets/data_copy.hpp"
 
#include <stdexcept>
 
#include "barretenberg/common/log.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/simulation/events/data_copy_events.hpp"
 
namespace bb::avm2::simulation {
 
namespace {
 
DataCopyEvent create_cd_event(ContextInterface& context,
                              const uint32_t clk,
                              const uint32_t cd_copy_size,
                              const uint32_t cd_offset,
                              const MemoryAddress dst_addr,
                              const std::vector<FF>& calldata = {})
{
    return DataCopyEvent{ .execution_clk = clk,
                          .operation = DataCopyOperation::CD_COPY,
                          .calldata = calldata,
                          .write_context_id = context.get_context_id(),
                          .read_context_id = context.get_parent_id(),
                          .data_copy_size = cd_copy_size,
                          .data_offset = cd_offset,
                          .data_addr = context.get_parent_cd_addr(),
                          .data_size = context.get_parent_cd_size(),
                          .is_nested = context.has_parent(),
                          .dst_addr = dst_addr };
}
 
DataCopyEvent create_rd_event(ContextInterface& context,
                              const uint32_t clk,
                              const uint32_t rd_copy_size,
                              const uint32_t rd_offset,
                              const MemoryAddress dst_addr,
                              const std::vector<FF>& returndata = {})
{
    return DataCopyEvent{ .execution_clk = clk,
                          .operation = DataCopyOperation::RD_COPY,
                          .calldata = returndata,
                          .write_context_id = context.get_context_id(),
                          // This handles the case where there is no last child (i.e. new enqueued call)
                          .read_context_id = context.get_last_child_id(),
                          .data_copy_size = rd_copy_size,
                          .data_offset = rd_offset,
                          .data_addr = context.get_last_rd_addr(),
                          .data_size = context.get_last_rd_size(),
                          .is_nested = context.has_parent(),
                          .dst_addr = dst_addr };
}
 
} // namespace
 
// This is std::min but creates the relevant greater than event
uint64_t DataCopy::min(uint64_t a, uint64_t b)
{
    // Looks weird but ironically similar to the std::min implementation
    // i.e if a == b, return a
    if (gt.gt(a, b)) {
        return b;
    }
    return a;
}
 
void DataCopy::cd_copy(ContextInterface& context,
                       const uint32_t copy_size,
                       const uint32_t offset,
                       const MemoryAddress dst_addr)
{
    auto& memory = context.get_memory();
    uint32_t clk = execution_id_manager.get_execution_id();
 
    try {
        // This section is a bit leaky, but is necessary to ensure the correct gt events are generated.
        // This work is duplicated in context.get_calldata() - but it avoids us having a gt there.
 
        // Operations are performed over uint64_t in case the addition overflows, but the result in guaranteed to
        // fit in 32 bits since get_parent_cd_size() returns a u32 (constrained by a CALL or 0 if an enqueued call).
        uint64_t max_read_index = min(static_cast<uint64_t>(offset) + copy_size, context.get_parent_cd_size());
 
        // Check that we will not access out of bounds memory.
        // todo(ilyas): think of a way to not need to leak enqueued/nested context information here.
        uint64_t max_read_addr = max_read_index + context.get_parent_cd_addr();
        uint64_t max_write_addr = static_cast<uint64_t>(dst_addr) + copy_size;
 
        // Need all of this to happen regardless
        bool read_out_of_range = gt.gt(max_read_addr, AVM_HIGHEST_MEM_ADDRESS);
        bool write_out_of_range = gt.gt(max_write_addr, AVM_HIGHEST_MEM_ADDRESS);
 
        if (read_out_of_range || write_out_of_range) {
            throw std::runtime_error("Attempting to access out of bounds memory");
        }
 
        // If we get to this point, we know we will be error free
        std::vector<FF> padded_calldata(copy_size, 0); // Initialize with zeros
        // Calldata is retrieved from [offset, max_read_index]
        // if offset > max_read_index, we will read nothing
        if (!gt.gt(static_cast<uint64_t>(offset), max_read_index)) {
            padded_calldata = context.get_calldata(offset, copy_size);
        }
 
        for (uint32_t i = 0; i < copy_size; i++) {
            memory.set(dst_addr + i, MemoryValue::from<FF>(padded_calldata[i]));
        }
 
        events.emit(create_cd_event(context, clk, copy_size, offset, dst_addr, padded_calldata));
    } catch (const std::exception& e) {
        debug("CD_COPY exception: ", e.what());
        events.emit(create_cd_event(context, clk, copy_size, offset, dst_addr));
 
        // Re-throw something generic that execution will interpret as an opcode error.
        throw DataCopyException();
    }
}
 
void DataCopy::rd_copy(ContextInterface& context,
                       const uint32_t copy_size,
                       const uint32_t offset,
                       const MemoryAddress dst_addr)
{
    auto& memory = context.get_memory();
    uint32_t clk = execution_id_manager.get_execution_id();
 
    try {
        // Check cd_copy for why we do this here even though it is in get_returndata()
        uint64_t max_read_index = min(static_cast<uint64_t>(offset) + copy_size, context.get_last_rd_size());
 
        uint64_t max_read_addr = max_read_index + context.get_last_rd_addr();
        uint64_t max_write_addr = static_cast<uint64_t>(dst_addr) + copy_size;
 
        // Need both of this to happen regardless
        bool read_out_of_range = gt.gt(max_read_addr, AVM_HIGHEST_MEM_ADDRESS);
        bool write_out_of_range = gt.gt(max_write_addr, AVM_HIGHEST_MEM_ADDRESS);
 
        if (read_out_of_range || write_out_of_range) {
            throw std::runtime_error("Attempting to access out of bounds memory");
        }
 
        // If we get to this point, we know we will be error free
 
        // This is typically handled by the loop within get_returndata(), but we need to emit a range check in circuit
        // so we need to be explicit about it.
        // Returndata is retrieved from [offset, max_read_index], if offset > max_read_index, we will read nothing.
        std::vector<FF> padded_returndata(copy_size, 0); // Initialize with zeros
        if (!gt.gt(static_cast<uint64_t>(offset), max_read_index)) {
            padded_returndata = context.get_returndata(offset, copy_size);
        }
 
        for (uint32_t i = 0; i < copy_size; i++) {
            memory.set(dst_addr + i, MemoryValue::from<FF>(padded_returndata[i]));
        }
 
        events.emit(create_rd_event(context, clk, copy_size, offset, dst_addr, padded_returndata));
 
    } catch (const std::exception& e) {
        debug("RD_COPY exception: ", e.what());
        events.emit(create_rd_event(context, clk, copy_size, offset, dst_addr));
 
        // Re-throw something generic that execution will interpret as an opcode error.
        throw DataCopyException();
    }
}
 
} // namespace bb::avm2::simulation