| // Copyright 2023 The BoringSSL Authors |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // https://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| |
| #if !defined(BORINGSSL_SHARED_LIBRARY) // These tests use p256_internal.h |
| |
| #include <openssl/base.h> |
| |
| #include <openssl/bn.h> |
| #include <openssl/ec.h> |
| #include <openssl/mem.h> |
| #include <openssl/nid.h> |
| |
| #include "internal.h" |
| |
| #include "../../internal.h" |
| #include "../../test/abi_test.h" |
| #include "../../test/file_test.h" |
| |
| #include "p256_internal.h" |
| |
| BSSL_NAMESPACE_BEGIN |
| namespace { |
| |
| #if !defined(OPENSSL_NO_ASM) && defined(__GNUC__) && \ |
| defined(OPENSSL_X86_64) && defined(SUPPORTS_ABI_TEST) |
| |
| TEST(P256Test, CoordMulAdxABI) { |
| static const uint64_t in1[4] = {0}, in2[4] = {0}; |
| uint64_t out[4]; |
| if (CRYPTO_is_BMI1_capable() && CRYPTO_is_BMI2_capable() && |
| CRYPTO_is_ADX_capable()) { |
| CHECK_ABI(fiat_p256_adx_mul, out, in1, in2); |
| } else { |
| GTEST_SKIP() << "Can't test ABI of ADX code without ADX"; |
| } |
| } |
| |
| TEST(P256Test, CoordSqrAdxABI) { |
| static const uint64_t in[4] = {0}; |
| uint64_t out[4]; |
| if (CRYPTO_is_BMI1_capable() && CRYPTO_is_BMI2_capable() && |
| CRYPTO_is_ADX_capable()) { |
| CHECK_ABI(fiat_p256_adx_sqr, out, in); |
| } else { |
| GTEST_SKIP() << "Can't test ABI of ADX code without ADX"; |
| } |
| } |
| |
| #endif |
| |
| #if !defined(OPENSSL_NO_ASM) && defined(OPENSSL_AARCH64) && \ |
| defined(SUPPORTS_ABI_TEST) |
| |
| TEST(P256Test, CoordMulABI) { |
| static const uint64_t x[4] = {0}, y[4] = {0}; |
| uint64_t out[4]; |
| CHECK_ABI(ecp_nistz256_mul_mont, out, y, y[0], x[0], x[1], x[2], x[3]); |
| } |
| |
| TEST(P256Test, CoordSqrABI) { |
| static const uint64_t x[4] = {0}; |
| uint64_t out[4]; |
| CHECK_ABI(ecp_nistz256_sqr_mont, out, x, x[0], x[0], x[1], x[2], x[3]); |
| } |
| |
| #endif |
| |
| #if !defined(OPENSSL_NO_ASM) && defined(OPENSSL_X86_64) && \ |
| defined(SUPPORTS_ABI_TEST) |
| |
| TEST(P256Test, OrdMulAdxABI) { |
| static const uint64_t in1[4] = {0}, in2[4] = {0}; |
| uint64_t out[4]; |
| if (CRYPTO_is_BMI2_capable() && CRYPTO_is_ADX_capable()) { |
| CHECK_ABI(ecp_nistz256_ord_mul_mont_adx, out, in1, in2); |
| } else { |
| GTEST_SKIP() << "Can't test ABI of ADX code without ADX"; |
| } |
| } |
| |
| TEST(P256Test, OrdSqrAdxABI) { |
| static const uint64_t in[4] = {0}; |
| uint64_t out[4]; |
| if (CRYPTO_is_BMI2_capable() && CRYPTO_is_ADX_capable()) { |
| CHECK_ABI(ecp_nistz256_ord_sqr_mont_adx, out, in, 1); |
| } else { |
| GTEST_SKIP() << "Can't test ABI of ADX code without ADX"; |
| } |
| } |
| |
| TEST(P256Test, OrdMulNohwABI) { |
| static const uint64_t in1[4] = {0}, in2[4] = {0}; |
| uint64_t out[4]; |
| CHECK_ABI(ecp_nistz256_ord_mul_mont_nohw, out, in1, in2); |
| } |
| |
| TEST(P256Test, OrdSqrNohwABI) { |
| static const uint64_t in[4] = {0}; |
| uint64_t out[4]; |
| CHECK_ABI(ecp_nistz256_ord_sqr_mont_nohw, out, in, 1); |
| } |
| |
| #endif |
| |
| typedef fiat_p256_felem P256_POINT_AFFINE[2]; |
| typedef fiat_p256_felem P256_POINT[3]; |
| |
| static inline void point_add(P256_POINT ret, P256_POINT p, P256_POINT q) { |
| p256_point_add_vartime_if_doubling((uintptr_t)ret, (uintptr_t)p, |
| (uintptr_t)q); |
| } |
| |
| static inline void point_add_affine(P256_POINT ret, P256_POINT a, |
| P256_POINT b_affine) { |
| uintptr_t bnz = 0; |
| bnz |= b_affine[0][0] | b_affine[0][1] | b_affine[0][2] | b_affine[0][3]; |
| bnz |= b_affine[1][0] | b_affine[1][1] | b_affine[1][2] | b_affine[1][3]; |
| p256_point_add_affinenz_conditional_vartime_if_doubling( |
| (uintptr_t)ret, (uintptr_t)a, (uintptr_t)b_affine, (uintptr_t)bnz); |
| } |
| |
| static inline void point_double(P256_POINT ret, P256_POINT a) { |
| p256_point_double((uintptr_t)ret, (uintptr_t)a); |
| } |
| |
| |
| static bool GetFieldElement(FileTest *t, BN_ULONG out[P256_LIMBS], |
| const char *name) { |
| std::vector<uint8_t> bytes; |
| if (!t->GetBytes(&bytes, name)) { |
| return false; |
| } |
| |
| if (bytes.size() != BN_BYTES * P256_LIMBS) { |
| ADD_FAILURE() << "Invalid length: " << name; |
| return false; |
| } |
| |
| // `byte` contains bytes in big-endian while `out` should contain `BN_ULONG`s |
| // in little-endian. |
| OPENSSL_memset(out, 0, P256_LIMBS * sizeof(BN_ULONG)); |
| for (size_t i = 0; i < bytes.size(); i++) { |
| out[P256_LIMBS - 1 - (i / BN_BYTES)] <<= 8; |
| out[P256_LIMBS - 1 - (i / BN_BYTES)] |= bytes[i]; |
| } |
| |
| return true; |
| } |
| |
| static std::string FieldElementToString(const BN_ULONG a[P256_LIMBS]) { |
| std::string ret; |
| for (size_t i = P256_LIMBS - 1; i < P256_LIMBS; i--) { |
| char buf[2 * BN_BYTES + 1]; |
| snprintf(buf, sizeof(buf), BN_HEX_FMT2, a[i]); |
| ret += buf; |
| } |
| return ret; |
| } |
| |
| static testing::AssertionResult ExpectFieldElementsEqual( |
| const char *expected_expr, const char *actual_expr, |
| const BN_ULONG expected[P256_LIMBS], const BN_ULONG actual[P256_LIMBS]) { |
| if (OPENSSL_memcmp(expected, actual, sizeof(BN_ULONG) * P256_LIMBS) == 0) { |
| return testing::AssertionSuccess(); |
| } |
| |
| return testing::AssertionFailure() |
| << "Expected: " << FieldElementToString(expected) << " (" |
| << expected_expr << ")\n" |
| << "Actual: " << FieldElementToString(actual) << " (" << actual_expr |
| << ")"; |
| } |
| |
| #define EXPECT_FIELD_ELEMENTS_EQUAL(a, b) \ |
| EXPECT_PRED_FORMAT2(ExpectFieldElementsEqual, a, b) |
| |
| // P-256 scalars and field elements are the same size. |
| #define EXPECT_SCALARS_EQUAL(a, b) EXPECT_FIELD_ELEMENTS_EQUAL(a, b) |
| |
| #if !defined(OPENSSL_NO_ASM) && \ |
| (defined(OPENSSL_X86_64) || defined(OPENSSL_AARCH64)) |
| TEST(P256Test, BEEU) { |
| #if defined(OPENSSL_X86_64) |
| if (!CRYPTO_is_AVX_capable()) { |
| // No AVX support; cannot run the BEEU code. |
| return; |
| } |
| #endif |
| |
| const EC_GROUP *group = EC_group_p256(); |
| BN_ULONG order_words[P256_LIMBS]; |
| ASSERT_TRUE( |
| bn_copy_words(order_words, P256_LIMBS, EC_GROUP_get0_order(group))); |
| |
| BN_ULONG in[P256_LIMBS], out[P256_LIMBS]; |
| EC_SCALAR in_scalar, out_scalar, result; |
| OPENSSL_memset(in, 0, sizeof(in)); |
| |
| // Trying to find the inverse of zero should fail. |
| ASSERT_FALSE(beeu_mod_inverse_vartime(out, in, order_words)); |
| // This is not a constant-time function, so instrument both zero and a few |
| // inputs below. |
| ASSERT_FALSE(CHECK_ABI(beeu_mod_inverse_vartime, out, in, order_words)); |
| |
| BN_ULONG kOne[P256_LIMBS] = {}; |
| kOne[0] = 1; |
| |
| auto beeu_test = [&] { |
| EXPECT_TRUE(bn_less_than_words(in, order_words, P256_LIMBS)); |
| ASSERT_TRUE(beeu_mod_inverse_vartime(out, in, order_words)); |
| EXPECT_TRUE(bn_less_than_words(out, order_words, P256_LIMBS)); |
| |
| // Calculate out*in and confirm that it equals one, modulo the order. We |
| // only have Montgomery multiplication, but if we convert one input, and not |
| // the other, this gives the result outside the Montgomery domain. |
| OPENSSL_memcpy(in_scalar.words, in, sizeof(in)); |
| OPENSSL_memcpy(out_scalar.words, out, sizeof(out)); |
| ec_scalar_to_montgomery(group, &in_scalar, &in_scalar); |
| ec_scalar_mul_montgomery(group, &result, &in_scalar, &out_scalar); |
| EXPECT_SCALARS_EQUAL(kOne, result.words); |
| |
| // Invert the result and expect to get back to the original value. |
| ASSERT_TRUE(beeu_mod_inverse_vartime(out, out, order_words)); |
| EXPECT_SCALARS_EQUAL(in, out); |
| }; |
| |
| for (BN_ULONG i = 1; i < 2000; i++) { |
| SCOPED_TRACE(i); |
| in[0] = i; |
| if (i >= 1000) { |
| in[1] = i << 8; |
| in[2] = i << 32; |
| in[3] = i << 48; |
| } else { |
| in[1] = in[2] = in[3] = 0; |
| } |
| |
| beeu_test(); |
| if (i < 5) { |
| EXPECT_TRUE(CHECK_ABI(beeu_mod_inverse_vartime, out, in, order_words)); |
| } |
| } |
| |
| for (int i = 0; i < 255; i++) { |
| SCOPED_TRACE(i); |
| // Test `in` = 2^i. |
| OPENSSL_memset(in, 0, sizeof(in)); |
| in[i / BN_BITS2] = BN_ULONG{1} << (i % BN_BITS2); |
| beeu_test(); |
| |
| // Test `in` = N - 2^i. |
| bn_sub_words(in, order_words, in, P256_LIMBS); |
| beeu_test(); |
| } |
| } |
| #endif |
| |
| static void TestNegate(FileTest *t) { |
| fiat_p256_felem a, b; |
| ASSERT_TRUE(GetFieldElement(t, a, "A")); |
| ASSERT_TRUE(GetFieldElement(t, b, "B")); |
| |
| // Test that -A = B. |
| BN_ULONG ret[P256_LIMBS]; |
| fiat_p256_opp(ret, a); |
| EXPECT_FIELD_ELEMENTS_EQUAL(b, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| fiat_p256_opp(ret, ret /* a */); |
| EXPECT_FIELD_ELEMENTS_EQUAL(b, ret); |
| |
| // Test that -B = A. |
| fiat_p256_opp(ret, b); |
| EXPECT_FIELD_ELEMENTS_EQUAL(a, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| fiat_p256_opp(ret, ret /* b */); |
| EXPECT_FIELD_ELEMENTS_EQUAL(a, ret); |
| } |
| |
| static void TestMulMont(FileTest *t) { |
| BN_ULONG a[P256_LIMBS], b[P256_LIMBS], result[P256_LIMBS]; |
| ASSERT_TRUE(GetFieldElement(t, a, "A")); |
| ASSERT_TRUE(GetFieldElement(t, b, "B")); |
| ASSERT_TRUE(GetFieldElement(t, result, "Result")); |
| |
| BN_ULONG ret[P256_LIMBS]; |
| p256_coord_mul(ret, a, b); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| p256_coord_mul(ret, b, a); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| p256_coord_mul(ret, ret /* a */, b); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| p256_coord_mul(ret, b, ret); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| p256_coord_mul(ret, a, ret /* b */); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| p256_coord_mul(ret, ret /* b */, a); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| if (OPENSSL_memcmp(a, b, sizeof(a)) == 0) { |
| p256_coord_sqr(ret, a); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| p256_coord_sqr(ret, ret /* a */); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| } |
| } |
| |
| static void TestFromMont(FileTest *t) { |
| BN_ULONG a[P256_LIMBS], result[P256_LIMBS]; |
| ASSERT_TRUE(GetFieldElement(t, a, "A")); |
| ASSERT_TRUE(GetFieldElement(t, result, "Result")); |
| |
| BN_ULONG ret[P256_LIMBS]; |
| fiat_p256_from_montgomery(ret, a); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| fiat_p256_from_montgomery(ret, ret /* a */); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| } |
| |
| static void TestOrdMulMont(FileTest *t) { |
| // This test works on scalars rather than field elements, but the |
| // representation is the same. |
| BN_ULONG a[P256_LIMBS], b[P256_LIMBS], result[P256_LIMBS]; |
| ASSERT_TRUE(GetFieldElement(t, a, "A")); |
| ASSERT_TRUE(GetFieldElement(t, b, "B")); |
| ASSERT_TRUE(GetFieldElement(t, result, "Result")); |
| SCOPED_TRACE(FieldElementToString(a)); |
| SCOPED_TRACE(FieldElementToString(b)); |
| |
| const EC_GROUP *group = EC_group_p256(); |
| BN_ULONG ret[P256_LIMBS]; |
| p256_order_mul(group, ret, a, b); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| p256_order_mul(group, ret, b, a); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| p256_order_mul(group, ret, ret /* a */, b); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| p256_order_mul(group, ret, b, ret); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| p256_order_mul(group, ret, a, ret /* b */); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| p256_order_mul(group, ret, ret /* b */, a); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| if (OPENSSL_memcmp(a, b, sizeof(a)) == 0) { |
| p256_order_sqr(group, ret, a, 1); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| p256_order_sqr(group, ret, ret /* a */, 1); |
| EXPECT_FIELD_ELEMENTS_EQUAL(result, ret); |
| } |
| } |
| |
| static bool PointToAffine(P256_POINT_AFFINE out, const P256_POINT in) { |
| static const uint8_t kP[] = { |
| 0xff, 0xff, 0xff, 0xff, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, |
| 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xff, 0xff, |
| 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, |
| }; |
| |
| UniquePtr<BIGNUM> x(BN_new()), y(BN_new()), z(BN_new()); |
| UniquePtr<BIGNUM> p(BN_bin2bn(kP, sizeof(kP), nullptr)); |
| if (!x || !y || !z || !p || !bn_set_words(x.get(), in[0], P256_LIMBS) || |
| !bn_set_words(y.get(), in[1], P256_LIMBS) || |
| !bn_set_words(z.get(), in[2], P256_LIMBS)) { |
| return false; |
| } |
| |
| // Coordinates must be fully-reduced. |
| if (BN_cmp(x.get(), p.get()) >= 0 || BN_cmp(y.get(), p.get()) >= 0 || |
| BN_cmp(z.get(), p.get()) >= 0) { |
| return false; |
| } |
| |
| if (BN_is_zero(z.get())) { |
| // The point at infinity is represented as (0, 0). |
| OPENSSL_memset(out, 0, sizeof(P256_POINT_AFFINE)); |
| return true; |
| } |
| |
| UniquePtr<BN_CTX> ctx(BN_CTX_new()); |
| UniquePtr<BN_MONT_CTX> mont(BN_MONT_CTX_new_for_modulus(p.get(), ctx.get())); |
| if (!ctx || !mont || |
| // Invert Z. |
| !BN_from_montgomery(z.get(), z.get(), mont.get(), ctx.get()) || |
| !BN_mod_inverse(z.get(), z.get(), p.get(), ctx.get()) || |
| !BN_to_montgomery(z.get(), z.get(), mont.get(), ctx.get()) || |
| // Convert (X, Y, Z) to (X/Z^2, Y/Z^3). |
| !BN_mod_mul_montgomery(x.get(), x.get(), z.get(), mont.get(), |
| ctx.get()) || |
| !BN_mod_mul_montgomery(x.get(), x.get(), z.get(), mont.get(), |
| ctx.get()) || |
| !BN_mod_mul_montgomery(y.get(), y.get(), z.get(), mont.get(), |
| ctx.get()) || |
| !BN_mod_mul_montgomery(y.get(), y.get(), z.get(), mont.get(), |
| ctx.get()) || |
| !BN_mod_mul_montgomery(y.get(), y.get(), z.get(), mont.get(), |
| ctx.get()) || |
| !bn_copy_words(out[0], P256_LIMBS, x.get()) || |
| !bn_copy_words(out[1], P256_LIMBS, y.get())) { |
| return false; |
| } |
| return true; |
| } |
| |
| static testing::AssertionResult ExpectPointsEqual( |
| const char *expected_expr, const char *actual_expr, |
| const P256_POINT_AFFINE expected, const P256_POINT actual) { |
| // There are multiple representations of the same `P256_POINT`, so convert to |
| // `P256_POINT_AFFINE` and compare. |
| P256_POINT_AFFINE affine; |
| if (!PointToAffine(affine, actual)) { |
| return testing::AssertionFailure() |
| << "Could not convert " << actual_expr << " to affine: (" |
| << FieldElementToString(actual[0]) << ", " |
| << FieldElementToString(actual[1]) << ", " |
| << FieldElementToString(actual[2]) << ")"; |
| } |
| |
| if (OPENSSL_memcmp(expected, affine, sizeof(P256_POINT_AFFINE)) != 0) { |
| return testing::AssertionFailure() |
| << "Expected: (" << FieldElementToString(expected[0]) << ", " |
| << FieldElementToString(expected[1]) << ") (" << expected_expr |
| << "; affine)\n" |
| << "Actual: (" << FieldElementToString(affine[0]) << ", " |
| << FieldElementToString(affine[1]) << ") (affine(" << actual_expr |
| << "))\n" |
| << "ActualXYZ:(" << FieldElementToString(actual[0]) << ", " |
| << FieldElementToString(actual[1]) << ", " |
| << FieldElementToString(actual[2]) << ") (" << actual_expr << ")"; |
| } |
| |
| return testing::AssertionSuccess(); |
| } |
| |
| #define EXPECT_POINTS_EQUAL(a, b) EXPECT_PRED_FORMAT2(ExpectPointsEqual, a, b) |
| |
| static void TestPointAdd(FileTest *t) { |
| P256_POINT a, b; |
| P256_POINT_AFFINE result; |
| ASSERT_TRUE(GetFieldElement(t, a[0], "A.X")); |
| ASSERT_TRUE(GetFieldElement(t, a[1], "A.Y")); |
| ASSERT_TRUE(GetFieldElement(t, a[2], "A.Z")); |
| ASSERT_TRUE(GetFieldElement(t, b[0], "B.X")); |
| ASSERT_TRUE(GetFieldElement(t, b[1], "B.Y")); |
| ASSERT_TRUE(GetFieldElement(t, b[2], "B.Z")); |
| ASSERT_TRUE(GetFieldElement(t, result[0], "Result.X")); |
| ASSERT_TRUE(GetFieldElement(t, result[1], "Result.Y")); |
| |
| P256_POINT ret; |
| point_add(ret, a, b); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| point_add(ret, b, a); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| point_add(ret, ret /* a */, b); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| point_add(ret, b, ret /* a */); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| point_add(ret, a, ret /* b */); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| point_add(ret, ret /* b */, a); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| P256_POINT a_affine, b_affine; |
| ASSERT_TRUE(PointToAffine(a_affine, a)); |
| ASSERT_TRUE(PointToAffine(b_affine, b)); |
| static const uint64_t p256_fe_one[4] = {0x1, 0xffffffff00000000, |
| 0xffffffffffffffff, 0xfffffffe}; |
| OPENSSL_memcpy(a_affine[2], p256_fe_one, sizeof(a_affine[2])); |
| OPENSSL_memcpy(b_affine[2], p256_fe_one, sizeof(b_affine[2])); |
| |
| point_add_affine(ret, a, b_affine); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| point_add_affine(ret, ret /* a */, b_affine); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| point_add_affine(ret, b, a_affine); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, b, sizeof(ret)); |
| point_add_affine(ret, ret /* b */, a_affine); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| if (OPENSSL_memcmp(a, b, sizeof(a)) == 0) { |
| point_double(ret, a); |
| EXPECT_POINTS_EQUAL(result, ret); |
| |
| OPENSSL_memcpy(ret, a, sizeof(ret)); |
| point_double(ret, ret /* a */); |
| EXPECT_POINTS_EQUAL(result, ret); |
| } |
| } |
| |
| TEST(P256Test, TestVectors) { |
| return FileTestGTest("crypto/fipsmodule/ec/p256-tests.txt", [](FileTest *t) { |
| if (t->GetParameter() == "Negate") { |
| TestNegate(t); |
| } else if (t->GetParameter() == "MulMont") { |
| TestMulMont(t); |
| } else if (t->GetParameter() == "FromMont") { |
| TestFromMont(t); |
| } else if (t->GetParameter() == "PointAdd") { |
| TestPointAdd(t); |
| } else if (t->GetParameter() == "OrdMulMont") { |
| TestOrdMulMont(t); |
| } else { |
| FAIL() << "Unknown test type:" << t->GetParameter(); |
| } |
| }); |
| } |
| |
| } // namespace |
| BSSL_NAMESPACE_END |
| |
| #endif // !defined(BORINGSSL_SHARED_LIBRARY) |