biggroup_goblin_impl.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 "barretenberg/common/assert.hpp"
#include "barretenberg/stdlib/primitives/biggroup/biggroup_goblin.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
namespace bb::stdlib::element_goblin {
 
template <typename C, class Fq, class Fr, class G>
goblin_element<C, Fq, Fr, G> goblin_element<C, Fq, Fr, G>::batch_mul(const std::vector<goblin_element>& points,
                                                                     const std::vector<Fr>& scalars,
                                                                     [[maybe_unused]] const size_t max_num_bits,
                                                                     [[maybe_unused]] const bool handle_edge_cases,
                                                                     [[maybe_unused]] const Fr& masking_scalar)
{
    auto builder = validate_context<C>(validate_context<C>(points), validate_context<C>(scalars));
 
    BB_ASSERT(builder != nullptr, "biggroup_goblin: builder context is invalid.");
    BB_ASSERT(points.size() == scalars.size(), "biggroup_goblin: points and scalars lengths not equal.");
 
    // Check that the internal accumulator is zero?
    BB_ASSERT(builder->op_queue->get_accumulator().is_point_at_infinity());
 
    // Loop over all points and scalars
    size_t num_points = points.size();
 
    OriginTag tag_union = OriginTag::constant(); // Initialize as CONSTANT so merging with input tags works correctly
    for (size_t i = 0; i < num_points; ++i) {
        auto& point = points[i];
        auto& scalar = scalars[i];
 
        // Merge tags
        tag_union = OriginTag(tag_union, OriginTag(point.get_origin_tag(), scalar.get_origin_tag()));
        // Populate the goblin-style ecc op gates for the given mul inputs
        ecc_op_tuple op_tuple;
        bool scalar_is_constant_equal_one = scalar.is_constant() && scalar.get_value() == 1;
        if (scalar_is_constant_equal_one) { // if scalar is 1, there is no need to perform a mul
            op_tuple = builder->queue_ecc_add_accum(point.get_value());
        } else { // otherwise, perform a mul-then-accumulate
            op_tuple = builder->queue_ecc_mul_accum(point.get_value(), scalar.get_value());
        }
 
        // Add constraints demonstrating that the EC point coordinates were decomposed faithfully. In particular, show
        // that the lo-hi components that have been encoded in the op wires can be reconstructed via the limbs of the
        // original point coordinates.
        auto x_lo = Fr::from_witness_index(builder, op_tuple.x_lo);
        auto x_hi = Fr::from_witness_index(builder, op_tuple.x_hi);
        auto y_lo = Fr::from_witness_index(builder, op_tuple.y_lo);
        auto y_hi = Fr::from_witness_index(builder, op_tuple.y_hi);
        // Note: These constraints do not assume or enforce that the coordinates of the original point have been
        // asserted to be in the field, only that they are less than the smallest power of 2 greater than the field
        // modulus (a la the bigfield(lo, hi) constructor with can_overflow == false).
        if (!point.get_value().is_point_at_infinity()) {
            BB_ASSERT_LTE(uint1024_t(point._x.get_maximum_value()), Fq::DEFAULT_MAXIMUM_REMAINDER);
            BB_ASSERT_LTE(uint1024_t(point._y.get_maximum_value()), Fq::DEFAULT_MAXIMUM_REMAINDER);
        }
        x_lo.assert_equal(point._x.limbs[0]);
        x_hi.assert_equal(point._x.limbs[1]);
        y_lo.assert_equal(point._y.limbs[0]);
        y_hi.assert_equal(point._y.limbs[1]);
 
        // Add constraints demonstrating proper decomposition of scalar into endomorphism scalars
        if (!scalar_is_constant_equal_one) {
            auto z_1 = Fr::from_witness_index(builder, op_tuple.z_1);
            auto z_2 = Fr::from_witness_index(builder, op_tuple.z_2);
            auto beta = G::Fr::cube_root_of_unity();
            scalar.assert_equal(z_1 - z_2 * beta);
        }
        // There will be created op_tuple as a result of queue_ecc_mul_accum or queue_ecc_add_accum depending on scalar.
        // What is more, all variables x_lo, x_hi, y_lo, y_hi from op_tuple are normalized witnesses, so assert_equal
        // function doesn't create additional gates. Also
        builder->update_used_witnesses({ op_tuple.x_lo, op_tuple.x_hi, op_tuple.y_lo, op_tuple.y_hi });
        // if scalar equals one it means that we don't create gate for expression z_1 - z_2 * beta,
        // so z_1 and z_2 will be in one gate for ecc_op
        if (scalar_is_constant_equal_one) {
            builder->update_used_witnesses({ op_tuple.z_1, op_tuple.z_2 });
        }
    }
    // Populate equality gates based on the internal accumulator point
    auto op_tuple = builder->queue_ecc_eq();
    // When function queue_ecc_eq is called, scalar in function construct_and_populate_ultra_ops is zero by default.
    // so, (z_1, z_2) = (scalar, 0) and we just put the to the wires. But z_1 and z_2 aren't used anymore in the circuit
    // except for ecc_op gate, so we have to remove them from the scope using used_witnesses
    builder->update_used_witnesses({ op_tuple.z_1, op_tuple.z_2 });
    // Reconstruct the result of the batch mul using indices into the variables array
    auto x_lo = Fr::from_witness_index(builder, op_tuple.x_lo);
    auto x_hi = Fr::from_witness_index(builder, op_tuple.x_hi);
    auto y_lo = Fr::from_witness_index(builder, op_tuple.y_lo);
    auto y_hi = Fr::from_witness_index(builder, op_tuple.y_hi);
    Fq point_x(x_lo, x_hi);
    Fq point_y(y_lo, y_hi);
 
    // Point-at-infinity is represented by (0, 0) coordinates; ECCVM enforces this.
    goblin_element result(point_x, point_y);
 
    // Set the tag of the result
    result.set_origin_tag(tag_union);
 
    return result;
}
 
} // namespace bb::stdlib::element_goblin