databus.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include "../circuit_builders/circuit_builders_fwd.hpp"
#include "../field/field.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/public_input_component/public_input_component.hpp"
#include "barretenberg/stdlib/protogalaxy_verifier/recursive_decider_verification_keys.hpp"
#include "barretenberg/stdlib_circuit_builders/databus.hpp"
 
namespace bb::stdlib {
 
template <typename Builder> class databus {
  public:
    databus() = default;
 
  private:
    class bus_vector {
      private:
        using field_pt = field_t<Builder>;
 
      public:
        bus_vector(const BusId bus_idx)
            : bus_idx(bus_idx) {};
 
        void set_values(const std::vector<field_pt>& entries_in)
            requires IsMegaBuilder<Builder>;
 
        field_pt operator[](const field_pt& index) const
            requires IsMegaBuilder<Builder>;
 
        size_t size() const { return length; }
        Builder* get_context() const { return context; }
 
      private:
        mutable std::vector<field_pt> entries; // bus vector entries
        size_t length = 0;
        BusId bus_idx; // Idx of column in bus
        mutable Builder* context = nullptr;
    };
 
  public:
    // The columns of the DataBus
    bus_vector calldata{ BusId::CALLDATA };
    bus_vector secondary_calldata{ BusId::SECONDARY_CALLDATA };
    bus_vector return_data{ BusId::RETURNDATA };
};
 
template <class Builder> class DataBusDepot {
  public:
    using Curve = stdlib::bn254<Builder>;
    using Commitment = typename Curve::Group;
    using CommitmentNative = typename Curve::AffineElementNative;
    using FrNative = typename Curve::ScalarFieldNative;
 
    // Storage for the return data commitments to be propagated via the public inputs
    Commitment app_return_data_commitment;
    Commitment kernel_return_data_commitment;
 
    // Existence flags indicating whether each return data commitment has been set
    bool app_return_data_commitment_exists = false;
    bool kernel_return_data_commitment_exists = false;
 
    void set_kernel_return_data_commitment(const Commitment& commitment)
    {
        kernel_return_data_commitment = commitment;
        kernel_return_data_commitment_exists = true;
    }
 
    void set_app_return_data_commitment(const Commitment& commitment)
    {
        app_return_data_commitment = commitment;
        app_return_data_commitment_exists = true;
    }
 
    static Commitment construct_default_commitment(Builder& builder)
    {
        CommitmentNative DEFAULT_COMMITMENT_VALUE = CommitmentNative::one() * FrNative(BusVector::DEFAULT_VALUE);
        auto default_commitment = Commitment(DEFAULT_COMMITMENT_VALUE);
        default_commitment.convert_constant_to_fixed_witness(&builder);
        return default_commitment;
    }
 
    Commitment get_kernel_return_data_commitment(Builder& builder)
    {
        if (!kernel_return_data_commitment_exists) {
            return construct_default_commitment(builder);
        }
        kernel_return_data_commitment_exists = false; // Reset the existence flag after retrieval
        return kernel_return_data_commitment;
    }
 
    Commitment get_app_return_data_commitment(Builder& builder)
    {
        if (!app_return_data_commitment_exists) {
            return construct_default_commitment(builder);
        }
        app_return_data_commitment_exists = false; // Reset the existence flag after retrieval
        return app_return_data_commitment;
    }
};
 
} // namespace bb::stdlib