goblin_field.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include "../bigfield/bigfield.hpp"
#include "../circuit_builders/circuit_builders_fwd.hpp"
#include "../field/field.hpp"
#include "barretenberg/honk/types/public_inputs_type.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
 
namespace bb::stdlib {
 
template <class Builder> class goblin_field {
  public:
    inline static const uint1024_t DEFAULT_MAXIMUM_REMAINDER =
        bigfield<Builder, bb::Bn254FqParams>::DEFAULT_MAXIMUM_REMAINDER;
    static constexpr size_t NUM_LIMBS = bigfield<Builder, bb::Bn254FqParams>::NUM_LIMBS;
    static constexpr size_t NUM_LIMB_BITS = bigfield<Builder, bb::Bn254FqParams>::NUM_LIMB_BITS;
    static constexpr size_t NUM_LAST_LIMB_BITS =
        static_cast<size_t>(bigfield<Builder, bb::Bn254FqParams>::NUM_LAST_LIMB_BITS);
 
    using field_ct = stdlib::field_t<Builder>;
    using bool_ct = stdlib::bool_t<Builder>;
    std::array<field_ct, 2> limbs;
 
    // Number of bb::fr elements used to represent a goblin field in the public inputs
    // This matches the Codec representation (2 limbs)
    static constexpr size_t PUBLIC_INPUTS_SIZE = GOBLIN_FIELD_PUBLIC_INPUTS_SIZE;
 
    // constructors mirror bigfield constructors
    goblin_field()
        : limbs{ 0, 0 }
    {}
    goblin_field(Builder* parent_context, const uint256_t& value)
    {
        (*this) = goblin_field(bb::fq(value));
        limbs[0].context = parent_context;
        limbs[1].context = parent_context;
    }
    goblin_field(bb::fq input)
    {
        uint256_t converted(input);
        uint256_t lo_v = converted.slice(0, NUM_LIMB_BITS * 2);
        uint256_t hi_v = converted.slice(NUM_LIMB_BITS * 2, NUM_LIMB_BITS * 3 + NUM_LAST_LIMB_BITS);
        limbs = { bb::fr(lo_v), bb::fr(hi_v) };
    }
    goblin_field(field_ct lo, field_ct hi)
        : limbs{ lo, hi }
    {}
 
    // N.B. this method is because AggregationState expects group element coordinates to be split into 4 slices
    // (we could update to only use 2 for Mega but that feels complex)
    static goblin_field construct_from_limbs(
        field_ct lolo, field_ct lohi, field_ct hilo, field_ct hihi, [[maybe_unused]] bool can_overflow = false)
    {
        goblin_field result;
        result.limbs = { lolo + lohi * (uint256_t(1) << NUM_LIMB_BITS), hilo + hihi * (uint256_t(1) << NUM_LIMB_BITS) };
        return result;
    }
 
    void assert_equal(const goblin_field& other, const std::string& msg = "goblin_field::assert_equal") const
    {
        limbs[0].assert_equal(other.limbs[0], msg);
        limbs[1].assert_equal(other.limbs[1], msg);
    }
    static goblin_field zero() { return goblin_field{ 0, 0 }; }
 
    static goblin_field from_witness(Builder* ctx, bb::fq input)
    {
        uint256_t converted(input);
        uint256_t lo_v = converted.slice(0, NUM_LIMB_BITS * 2);
        uint256_t hi_v = converted.slice(NUM_LIMB_BITS * 2, NUM_LIMB_BITS * 3 + NUM_LAST_LIMB_BITS);
        field_ct lo = field_ct::from_witness(ctx, bb::fr(lo_v));
        field_ct hi = field_ct::from_witness(ctx, bb::fr(hi_v));
        auto result = goblin_field(lo, hi);
        result.set_free_witness_tag();
        return result;
    }
 
    void convert_constant_to_fixed_witness(Builder* builder)
    {
        for (auto& limb : limbs) {
            limb.convert_constant_to_fixed_witness(builder);
        }
        this->unset_free_witness_tag();
    }
 
    void fix_witness()
    {
        for (auto& limb : limbs) {
            limb.fix_witness();
        }
        // This is now effectively a constant
        unset_free_witness_tag();
    }
 
    static goblin_field conditional_assign(const bool_ct& predicate, const goblin_field& lhs, goblin_field& rhs)
    {
        goblin_field result;
        result.limbs = {
            field_ct::conditional_assign(predicate, lhs.limbs[0], rhs.limbs[0]),
            field_ct::conditional_assign(predicate, lhs.limbs[1], rhs.limbs[1]),
        };
        return result;
    }
 
    // matches the interface for bigfield
    uint512_t get_value() const
    {
        uint256_t lo = limbs[0].get_value();
        uint256_t hi = limbs[1].get_value();
        uint256_t result = lo + (hi << 136);
        return result;
    }
 
    // matches the interface for bigfield
    uint512_t get_maximum_value() const { return (*this).get_value(); }
 
    Builder* get_context() const
    {
        if (limbs[0].get_context()) {
            return limbs[0].get_context();
        }
        return limbs[1].get_context();
    }
 
    // done in the translator circuit
    void assert_is_in_field() {};
 
    OriginTag get_origin_tag() const { return OriginTag(limbs[0].get_origin_tag(), limbs[1].get_origin_tag()); }
 
    void set_origin_tag(const OriginTag& tag) const
    {
        limbs[0].set_origin_tag(tag);
        limbs[1].set_origin_tag(tag);
    }
 
    void set_free_witness_tag()
    {
        for (auto& limb : limbs) {
            limb.set_free_witness_tag();
        }
    }
 
    void unset_free_witness_tag()
    {
        for (auto& limb : limbs) {
            limb.unset_free_witness_tag();
        }
    }
    uint32_t set_public() const
    {
        uint32_t start_idx = limbs[0].set_public();
        limbs[1].set_public();
        return start_idx;
    }
};
template <typename C> inline std::ostream& operator<<(std::ostream& os, goblin_field<C> const& v)
{
    return os << "{ " << v.limbs[0] << " , " << v.limbs[1] << " }";
}
} // namespace bb::stdlib