g1.test.cpp

Go to the documentation of this file.

#include "g1.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/ecc/groups/precomputed_generators_bn254_impl.hpp"
#include <gtest/gtest.h>
 
using namespace bb;
 
TEST(g1, RandomElement)
{
    g1::element result = g1::element::random_element();
    EXPECT_EQ(result.on_curve(), true);
}
 
TEST(g1, RandomAffineElement)
{
    g1::affine_element result = g1::element::random_element();
    EXPECT_EQ(result.on_curve(), true);
}
 
TEST(g1, Eq)
{
    g1::element a = g1::element::random_element();
    g1::element b = a.normalize();
 
    EXPECT_EQ(a == b, true);
    EXPECT_EQ(a == a, true);
 
    b.self_set_infinity();
 
    EXPECT_EQ(a == b, false);
    g1::element c = g1::element::random_element();
 
    EXPECT_EQ(a == c, false);
 
    a.self_set_infinity();
 
    EXPECT_EQ(a == b, true);
}
 
TEST(g1, MixedAddCheckAgainstConstants)
{
    fq a_x{ 0x92716caa6cac6d26, 0x1e6e234136736544, 0x1bb04588cde00af0, 0x9a2ac922d97e6f5 };
    fq a_y{ 0x9e693aeb52d79d2d, 0xf0c1895a61e5e975, 0x18cd7f5310ced70f, 0xac67920a22939ad };
    fq a_z{ 0xfef593c9ce1df132, 0xe0486f801303c27d, 0x9bbd01ab881dc08e, 0x2a589badf38ec0f9 };
    fq b_x{ 0xa1ec5d1398660db8, 0x6be3e1f6fd5d8ab1, 0x69173397dd272e11, 0x12575bbfe1198886 };
    fq b_y{ 0xcfbfd4441138823e, 0xb5f817e28a1ef904, 0xefb7c5629dcc1c42, 0x1a9ed3d6f846230e };
    fq expected_x{ 0x2a9d0201fccca20, 0x36f969b294f31776, 0xee5534422a6f646, 0x911dbc6b02310b6 };
    fq expected_y{ 0x14c30aaeb4f135ef, 0x9c27c128ea2017a1, 0xf9b7d80c8315eabf, 0x35e628df8add760 };
    fq expected_z{ 0xa43fe96673d10eb3, 0x88fbe6351753d410, 0x45c21cc9d99cb7d, 0x3018020aa6e9ede5 };
    g1::element lhs;
    g1::affine_element rhs;
    g1::element result;
    g1::element expected;
    lhs.x = a_x.to_montgomery_form();
    lhs.y = a_y.to_montgomery_form();
    lhs.z = a_z.to_montgomery_form();
    rhs.x = b_x.to_montgomery_form();
    rhs.y = b_y.to_montgomery_form();
    expected.x = expected_x.to_montgomery_form();
    expected.y = expected_y.to_montgomery_form();
    expected.z = expected_z.to_montgomery_form();
    result = lhs + rhs;
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, DblCheckAgainstConstants)
{
    fq a_x{ 0x8d1703aa518d827f, 0xd19cc40779f54f63, 0xabc11ce30d02728c, 0x10938940de3cbeec };
    fq a_y{ 0xcf1798994f1258b4, 0x36307a354ad90a25, 0xcd84adb348c63007, 0x6266b85241aff3f };
    fq a_z{ 0xe213e18fd2df7044, 0xb2f42355982c5bc8, 0xf65cf5150a3a9da1, 0xc43bde08b03aca2 };
    fq expected_x{ 0xd5c6473044b2e67c, 0x89b185ea20951f3a, 0x4ac597219cf47467, 0x2d00482f63b12c86 };
    fq expected_y{ 0x4e7e6c06a87e4314, 0x906a877a71735161, 0xaa7b9893cc370d39, 0x62f206bef795a05 };
    fq expected_z{ 0x8813bdca7b0b115a, 0x929104dffdfabd22, 0x3fff575136879112, 0x18a299c1f683bdca };
    g1::element lhs;
    g1::element result;
    g1::element expected;
    lhs.x = a_x.to_montgomery_form();
    lhs.y = a_y.to_montgomery_form();
    lhs.z = a_z.to_montgomery_form();
    expected.x = expected_x.to_montgomery_form();
    expected.y = expected_y.to_montgomery_form();
    expected.z = expected_z.to_montgomery_form();
 
    result = lhs.dbl();
    result.self_dbl();
    result.self_dbl();
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, AddCheckAgainstConstants)
{
    fq a_x{ 0x184b38afc6e2e09a, 0x4965cd1c3687f635, 0x334da8e7539e71c4, 0xf708d16cfe6e14 };
    fq a_y{ 0x2a6ff6ffc739b3b6, 0x70761d618b513b9, 0xbf1645401de26ba1, 0x114a1616c164b980 };
    fq a_z{ 0x10143ade26bbd57a, 0x98cf4e1f6c214053, 0x6bfdc534f6b00006, 0x1875e5068ababf2c };
    fq b_x{ 0xafdb8a15c98bf74c, 0xac54df622a8d991a, 0xc6e5ae1f3dad4ec8, 0x1bd3fb4a59e19b52 };
    fq b_y{ 0x21b3bb529bec20c0, 0xaabd496406ffb8c1, 0xcd3526c26ac5bdcb, 0x187ada6b8693c184 };
    fq b_z{ 0xffcd440a228ed652, 0x8a795c8f234145f1, 0xd5279cdbabb05b95, 0xbdf19ba16fc607a };
    fq expected_x{ 0x18764da36aa4cd81, 0xd15388d1fea9f3d3, 0xeb7c437de4bbd748, 0x2f09b712adf6f18f };
    fq expected_y{ 0x50c5f3cab191498c, 0xe50aa3ce802ea3b5, 0xd9d6125b82ebeff8, 0x27e91ba0686e54fe };
    fq expected_z{ 0xe4b81ef75fedf95, 0xf608edef14913c75, 0xfd9e178143224c96, 0xa8ae44990c8accd };
    g1::element lhs;
    g1::element rhs;
    g1::element result;
    g1::element expected;
 
    lhs.x = a_x.to_montgomery_form();
    lhs.y = a_y.to_montgomery_form();
    lhs.z = a_z.to_montgomery_form();
    rhs.x = b_x.to_montgomery_form();
    rhs.y = b_y.to_montgomery_form();
    rhs.z = b_z.to_montgomery_form();
    expected.x = expected_x.to_montgomery_form();
    expected.y = expected_y.to_montgomery_form();
    expected.z = expected_z.to_montgomery_form();
 
    result = lhs + rhs;
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, AddExceptionTestInfinity)
{
    g1::element lhs = g1::element::random_element();
    g1::element rhs;
    g1::element result;
 
    rhs = -lhs;
 
    result = lhs + rhs;
 
    EXPECT_EQ(result.is_point_at_infinity(), true);
 
    g1::element rhs_b;
    rhs_b = rhs;
    rhs_b.self_set_infinity();
 
    result = lhs + rhs_b;
 
    EXPECT_EQ(lhs == result, true);
 
    lhs.self_set_infinity();
    result = lhs + rhs;
 
    EXPECT_EQ(rhs == result, true);
}
 
TEST(g1, TestInfinity)
{
    g1::affine_element inf_affine = g1::affine_element::infinity();
    EXPECT_EQ(inf_affine.is_point_at_infinity(), true);
 
    g1::element inf_element = g1::element::infinity();
    EXPECT_EQ(inf_element.is_point_at_infinity(), true);
}
 
TEST(g1, AddExceptionTestDbl)
{
    g1::element lhs = g1::element::random_element();
    g1::element rhs;
    rhs = lhs;
 
    g1::element result;
    g1::element expected;
 
    result = lhs + rhs;
    expected = lhs.dbl();
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, AddAffineTest)
{
    g1::element lhs = g1::element::random_element();
    g1::affine_element lhs_affine(lhs);
 
    g1::element rhs = g1::element::random_element();
    g1::affine_element rhs_affine(rhs);
 
    g1::element expected = lhs + rhs;
    g1::affine_element result = lhs_affine + rhs_affine;
    EXPECT_EQ(g1::element(result) == expected, true);
}
 
TEST(g1, AddDblConsistency)
{
    g1::element a = g1::element::random_element();
    g1::element b = g1::element::random_element();
 
    g1::element c;
    g1::element d;
    g1::element add_result;
    g1::element dbl_result;
 
    c = a + b;
    b = -b;
    d = a + b;
 
    add_result = c + d;
    dbl_result = a.dbl();
 
    EXPECT_EQ(add_result == dbl_result, true);
}
 
TEST(g1, AddDblConsistencyRepeated)
{
    g1::element a = g1::element::random_element();
    g1::element b;
    g1::element c;
    g1::element d;
    g1::element e;
 
    g1::element result;
    g1::element expected;
 
    b = a.dbl(); // b = 2a
    c = b.dbl(); // c = 4a
 
    d = a + b;      // d = 3a
    e = a + c;      // e = 5a
    result = d + e; // result = 8a
 
    expected = c.dbl(); // expected = 8a
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, MixedAddExceptionTestInfinity)
{
    g1::element lhs = g1::one;
    g1::affine_element rhs = g1::element::random_element();
    fq::__copy(rhs.x, lhs.x);
    lhs.y = -rhs.y;
 
    g1::element result;
    result = lhs + rhs;
 
    EXPECT_EQ(result.is_point_at_infinity(), true);
 
    lhs.self_set_infinity();
    result = lhs + rhs;
    g1::element rhs_c;
    rhs_c = g1::element(rhs);
 
    EXPECT_EQ(rhs_c == result, true);
}
 
TEST(g1, MixedAddExceptionTestDbl)
{
    g1::affine_element rhs = g1::element::random_element();
    g1::element lhs;
    lhs = g1::element(rhs);
 
    g1::element result;
    g1::element expected;
    result = lhs + rhs;
 
    expected = lhs.dbl();
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, AddMixedAddConsistencyCheck)
{
    g1::affine_element rhs = g1::element::random_element();
    g1::element lhs = g1::element::random_element();
    g1::element rhs_b;
    rhs_b = g1::element(rhs);
 
    g1::element add_result;
    g1::element mixed_add_result;
    add_result = lhs + rhs_b;
    mixed_add_result = lhs + rhs;
 
    EXPECT_EQ(add_result == mixed_add_result, true);
}
 
TEST(g1, BatchNormalize)
{
    size_t num_points = 2;
    std::vector<g1::element> points(num_points);
    std::vector<g1::element> normalized(num_points);
    for (size_t i = 0; i < num_points; ++i) {
        g1::element a = g1::element::random_element();
        g1::element b = g1::element::random_element();
        points[i] = a + b;
        normalized[i] = points[i];
    }
    g1::element::batch_normalize(&normalized[0], num_points);
 
    for (size_t i = 0; i < num_points; ++i) {
        fq zz;
        fq zzz;
        fq result_x;
        fq result_y;
        zz = points[i].z.sqr();
        zzz = points[i].z * zz;
        result_x = normalized[i].x * zz;
        result_y = normalized[i].y * zzz;
 
        EXPECT_EQ((result_x == points[i].x), true);
        EXPECT_EQ((result_y == points[i].y), true);
    }
}
 
TEST(g1, GroupExponentiationCheckAgainstConstants)
{
    fr a{ 0xb67299b792199cf0, 0xc1da7df1e7e12768, 0x692e427911532edf, 0x13dd85e87dc89978 };
    a.self_to_montgomery_form();
 
    fq expected_x{ 0x9bf840faf1b4ba00, 0xe81b7260d068e663, 0x7610c9a658d2c443, 0x278307cd3d0cddb0 };
    fq expected_y{ 0xf6ed5fb779ebecb, 0x414ca771acbe183c, 0xe3692cb56dfbdb67, 0x3d3c5ed19b080a3 };
 
    g1::affine_element expected;
    expected.x = expected_x.to_montgomery_form();
    expected.y = expected_y.to_montgomery_form();
 
    g1::affine_element result(g1::one * a);
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, OperatorOrdering)
{
    // fq a_x{ 0x92716caa6cac6d26, 0x1e6e234136736544, 0x1bb04588cde00af0, 0x9a2ac922d97e6f5 };
    // fq a_y{ 0x9e693aeb52d79d2d, 0xf0c1895a61e5e975, 0x18cd7f5310ced70f, 0xac67920a22939ad };
    // fq a_z{ 0xfef593c9ce1df132, 0xe0486f801303c27d, 0x9bbd01ab881dc08e, 0x2a589badf38ec0f9 };
    fr scalar{ 0xcfbfd4441138823e, 0xb5f817e28a1ef904, 0xefb7c5629dcc1c42, 0x1a9ed3d6f846230e };
    // fq expected_x{ 0x2a9d0201fccca20, 0x36f969b294f31776, 0xee5534422a6f646, 0x911dbc6b02310b6 };
    // fq expected_y{ 0x14c30aaeb4f135ef, 0x9c27c128ea2017a1, 0xf9b7d80c8315eabf, 0x35e628df8add760 };
    // fq expected_z{ 0xa43fe96673d10eb3, 0x88fbe6351753d410, 0x45c21cc9d99cb7d, 0x3018020aa6e9ede5 };
 
    g1::element a = g1::one;
    g1::affine_element b(a);
 
    g1::element c = a + b;
    g1::element d = b + a;
    EXPECT_EQ(c, d);
 
    g1::element e = a * scalar;
    g1::element f = b * scalar;
    g1::affine_element g = b * scalar;
    g1::affine_element h = a * scalar;
    EXPECT_EQ(e, f);
    EXPECT_EQ(g, h);
}
 
TEST(g1, GroupExponentiationZeroAndOne)
{
    g1::affine_element result(g1::one * fr::zero());
 
    EXPECT_EQ(result.is_point_at_infinity(), true);
 
    result = g1::one * fr::one();
 
    EXPECT_EQ(result == g1::affine_one, true);
}
 
TEST(g1, GroupExponentiationConsistencyCheck)
{
    fr a = fr::random_element();
    fr b = fr::random_element();
 
    fr c;
    c = a * b;
 
    g1::affine_element input = g1::affine_one;
    g1::affine_element result(g1::element(input) * a);
    result = g1::affine_element(g1::element(result) * b);
 
    g1::affine_element expected = g1::affine_element(g1::element(input) * c);
 
    EXPECT_EQ(result == expected, true);
}
 
TEST(g1, DeriveGenerators)
{
    constexpr size_t num_generators = 128;
    auto result = g1::derive_generators("test domain", 128);
 
    const auto is_unique = [&result](const g1::affine_element& y, const size_t j) {
        for (size_t i = 0; i < result.size(); ++i) {
            if ((i != j) && result[i] == y) {
                return false;
            }
        }
        return true;
    };
 
    for (size_t k = 0; k < num_generators; ++k) {
        EXPECT_EQ(is_unique(result[k], k), true);
        EXPECT_EQ(result[k].on_curve(), true);
    }
}
 
TEST(g1, Serialize)
{
    g1::affine_element expected = g1::element::random_element();
 
    std::vector<uint8_t> buffer(sizeof(g1::affine_element));
 
    g1::affine_element::serialize_to_buffer(expected, &buffer[0]);
 
    g1::affine_element result = g1::affine_element::serialize_from_buffer(&buffer[0]);
 
    EXPECT_EQ(result == expected, true);
}
template <class T> void write(const T t)
{
    FILE* fp = fopen("/dev/null", "wb");
    static_cast<void>(fwrite(&t, sizeof(t), 1, fp));
    static_cast<void>(fclose(fp));
}
 
#if !defined(__wasm__)
TEST(g1, InitializationCheck)
{
    // NOLINTNEXTLINE not our fault googletest uses `goto`!
    EXPECT_NO_THROW(write<g1::affine_element>({}));
}
#endif
 
TEST(g1, CheckPrecomputedGenerators)
{
    ASSERT_TRUE((bb::check_precomputed_generators<g1, "biggroup table offset generator", 1UL>()));
    ASSERT_TRUE((bb::check_precomputed_generators<g1, "biggroup offset generator", 1UL>()));
    ASSERT_TRUE((bb::check_precomputed_generators<g1, "ECCVM_OFFSET_GENERATOR", 1UL>()));
    ASSERT_TRUE((bb::check_precomputed_generators<g1, "test generators", 2UL>()));
}