Merge branch 'curve25519'
authorNiels Möller <nisse@lysator.liu.se>
Wed, 27 Aug 2014 11:47:02 +0000 (13:47 +0200)
committerNiels Möller <nisse@lysator.liu.se>
Wed, 27 Aug 2014 11:47:02 +0000 (13:47 +0200)
1  2 
ChangeLog
ecc-internal.h

diff --cc ChangeLog
index aab10bb1aa776f3fb36f45b8ba650a296db78e15,019f96ccf4ad352bec853bb94f20e3dc478e0288..3fde054b6d475f23551bfe31592475f4e689aa4c
+++ b/ChangeLog
+ 2014-08-27  Niels Möller  <nisse@lysator.liu.se>
++      Merged camellia-reorg changes (starting at 2014-07-04).
+       * Makefile.in (clean-here): Added ecc-25519.h.
+ 2014-08-26  Niels Möller  <nisse@lysator.liu.se>
+       * examples/ecc-benchmark.c (bench_mul_g, bench_mul_a): Use struct
+       ecc_curve function pointers.
+       (bench_mul_g_eh, bench_mul_a_eh): Deleted.
+       (bench_curve): Make modq benchmark unconditional. Use bench_mul_g
+       and bench_mul_a also for curve25519.
+       * testsuite/ecc-mod-test.c (test_curve): Make modq test
+       unconditional, partially reverting 2014-07-04 change.
+       * ecc-25519.c (ecc_25519_modq): New function.
+       * eccdata.c (output_curve): Precomputation for curve25519 mod q.
+       * mini-gmp.c (mpz_abs_sub_bit): Do full normalization, needed in
+       case the most significant bit is cleared.
+ 2014-08-25  Niels Möller  <nisse@lysator.liu.se>
+       * testsuite/ecdh-test.c (set_point): Check return value of
+       ecc_point_set.
+       (test_main): Enable curve25519 test.
+       * ecc-point-mul-g.c (ecc_point_mul_g): Use ecc->mul_g and
+       ecc->h_to_a function pointers.
+       * ecc-point-mul.c (ecc_point_mul): Use the ecc->mul and
+       ecc->h_to_a function pointers.
+       * ecc-internal.h (ecc_mul_g_func, ecc_mul_func, ecc_h_to_a_func):
+       New typedefs.
+       (struct ecc_curve): New function pointers mul, mul_g, h_to_a, and
+       constans for their scratch requirements. Updated all instances.
+       * ecc-point.c (ecc_point_set): Handle curve25519 as a special
+       case, when checking if the point is on the curve.
+ 2014-08-24  Niels Möller  <nisse@lysator.liu.se>
+       * testsuite/ecdh-test.c: Test ecc_point_mul and ecc_point_mul_g,
+       using test data generated by ecc-ref.gp. Tests for all curves
+       except curve25519, which doesn't yet work with the general
+       ecc_point interface.
+       * testsuite/Makefile.in (TS_HOGWEED_SOURCES): Added ecdh-test.c.
+       * misc/ecc-ref.gp: Script to generate ECDH test data.
+ 2014-08-23  Niels Möller  <nisse@lysator.liu.se>
+       * ecc-a-to-j.c (ecc_a_to_j): Deleted INITIAL argument.
+       * ecc.h (ecc_a_to_j): Updated prototype.
+       * ecc-mul-a.c (ecc_mul_a, table_init): Updated calls to ecc_a_to_j.
+       * ecc-mul-a.c (ecc_mul_a): Deleted INITIAL argument, all callers,
+       except the tests, pass 1. Updated all callers.
+       (table_init): Likewise deleted INITIAL.
+       * ecc.h (ecc_mul_a): Updated prototype.
+       * testsuite/ecc-mul-a-test.c (test_main): Deleted tests for
+       ecc_mul_a with INITIAL == 0.
+       * ecc-internal.h (struct ecc_curve): Reordered struct, moved
+       function pointers before pointers to bignum constants.
+       * sec-modinv.c (sec_modinv): Document that for a == 0 (mod m), we
+       should produce the "inverse" 0.
+       * testsuite/ecc-modinv-test.c (test_main): Check that ecc_modp_inv
+       produces 0 if a == 0 or a == p.
+ 2014-08-22  Niels Möller  <nisse@lysator.liu.se>
+       * x86_64/ecc-25519-modp.asm: New file. Assembly implementation,
+       initial version yields 30% speedup of ecc_25519_modp. Early
+       folding eliminates one pass of carry propagation, and yields
+       almost 20% additional speedup.
+       * ecc-25519.c [HAVE_NATIVE_ecc_25519_modp]: Use assembly version
+       if available.
+       * configure.ac (asm_hogweed_optional_list): Added ecc-25519-modp.asm.
+       Also add HAVE_NATIVE_ecc_25519_modp to config.h.in.
+ 2014-08-19  Niels Möller  <nisse@lysator.liu.se>
+       * examples/ecc-benchmark.c (bench_curve): Support benchmarking of
+       curve25519, for now handled as a special case.
+       (curves): Added nettle_curve25519.
+       (bench_dup_eh, bench_add_eh, bench_add_ehh, bench_mul_g_eh): New
+       functions.
+ 2014-08-18  Niels Möller  <nisse@lysator.liu.se>
+       * testsuite/curve25519-dh-test.c (test_a): Use curve25519_mul.
+       (test_main): Use little-endian inputs for test_a.
+       (curve25519_sqrt, curve_25519): Deleted static helper functions,
+       no longer needed.
+       * curve25519-mul.c (curve25519_mul): New file and function.
+       * curve25519.h (curve25519_mul): Declare it.
+       * Makefile.in (hogweed_SOURCES): Added curve25519-mul.c.
+       * curve25519-mul-g.c (curve25519_mul_g): Renamed file and
+       function, updated callers.
+       * curve25519-base.c (curve25519_base): ... old names.
+       * Makefile.in (hogweed_SOURCES): Updated for rename.
+       * eccdata.c (output_curve): Compute constants needed for
+       Shanks-Tonelli.
+       * ecc-25519.c (ecc_modp_powm_2kp1, ecc_25519_sqrt): New functions.
+       * ecc-internal.h (ecc_25519_sqrt): Declare it.
+ 2014-08-06  Niels Möller  <nisse@lysator.liu.se>
+       * testsuite/curve25519-dh-test.c (test_g): Use curve25519_base.
+       (test_main): Use little-endian inputs for test_g.
+       * curve25519-base.c (curve25519_base): New file, new function.
+       Analogous to NaCl's crypto_scalarmult_base.
+       * curve25519.h: New file.
+       * Makefile.in (hogweed_SOURCES): Added curve25519-base.c.
+       (HEADERS): Added curve25519.h.
+       * gmp-glue.c (mpn_set_base256_le, mpn_get_base256_le): New functions.
+       * gmp-glue.h: Declare them.
+ 2014-08-02  Niels Möller  <nisse@lysator.liu.se>
+       * testsuite/curve25519-dh-test.c (curve25519_sqrt): Fixed memory
+       leak, a mpz_clear call was missing.
+       * ecc-internal.h (ECC_MUL_A_EH_WBITS): Set to 4, to enable
+       window-based scalar multiplication.
+       * ecc-mul-a-eh.c (table_init) [ECC_MUL_A_EH_WBITS > 0]: Fixed
+       initialization of TABLE(1).
+ 2014-07-29  Niels Möller  <nisse@lysator.liu.se>
+       * ecc-internal.h (ECC_MUL_A_EH_WBITS): New constant.
+       (ECC_A_TO_EH_ITCH, ECC_MUL_A_EH_ITCH): New macros.
+       * ecc-a-to-eh.c (ecc_a_to_eh, ecc_a_to_eh_itch): New file, new
+       functions.
+       * ecc-mul-a-eh.c: New file.
+       (ecc_mul_a_eh): New function. The case [ECC_MUL_A_EH_WBITS > 0]
+       not yet working).
+       (ecc_mul_a_eh_itch): New function.
+       * ecc.h: Declare new functions.
+       * Makefile.in (hogweed_SOURCES): Added ecc-a-to-eh.c and
+       ecc-mul-a-eh.c.
+       * testsuite/curve25519-dh-test.c (curve25519_sqrt): New function.
+       (curve_25519): Use ecc_mul_a_eh.
+       (test_a): New function.
+       (test_main): Test construction of shared secret, using scalar
+       multiplication with points other than the fix generator.
+ 2014-07-26  Niels Möller  <nisse@lysator.liu.se>
+       * ecc-add-ehh.c (ecc_add_ehh): Reduce scratch need.
+       * ecc-internal.h (ECC_ADD_EHH_ITCH): Reduced to 7*size.
+ 2014-07-23  Niels Möller  <nisse@lysator.liu.se>
+       * testsuite/curve25519-dh-test.c: New test case, based on
+       draft-josefsson-tls-curve25519-05 test vectors.
+       * testsuite/Makefile.in (TS_HOGWEED_SOURCES): Added curve25519-dh-test.c.
+ 2014-07-18  Niels Möller  <nisse@lysator.liu.se>
+       * ecc-mul-g-eh.c (ecc_mul_g_eh, ecc_mul_g_eh_itch): New file and
+       functions. Untested.
+       * ecc.h (ecc_mul_g_eh_itch): Declare new functions.
+       * ecc-internal.h (ECC_MUL_G_EH_ITCH): New macro.
+       * Makefile.in (hogweed_SOURCES): Added ecc-mul-g-eh.c.
+ 2014-07-17  Niels Möller  <nisse@lysator.liu.se>
+       * ecc-add-eh.c (ecc_add_eh): Reduce scratch need.
+       * ecc-internal.h (ECC_ADD_EH_ITCH): Reduced to 6*size.
+       * testsuite/curve25519-dup-test.c (test_main): Free allocated
+       storage.
+ 2014-07-15  Niels Möller  <nisse@lysator.liu.se>
+       * ecc-add-eh.c (ecc_add_eh, ecc_add_eh_itch): New file, new
+       functions.
+       * ecc.h: Declare new functions.
+       * ecc-internal.h (ECC_ADD_EH_ITCH): New macro.
+       * Makefile.in (hogweed_SOURCES): Added ecc-add-eh.c.
+       * testsuite/curve25519-add-test.c (test_main): Test ecc_add_eh.
+       Additional test for g2+g2. Free allocated storage.
+ 2014-07-14  Niels Möller  <nisse@lysator.liu.se>
+       * testsuite/curve25519-add-test.c: New test case.
+       * testsuite/Makefile.in (TS_HOGWEED_SOURCES): Added
+       curve25519-add-test.c.
+       * ecc-add-ehh.c (ecc_add_ehh, ecc_add_ehh_itch): New file, new
+       functions.
+       * ecc.h (ecc_add_ehh, ecc_add_ehh_itch): Declare them.
+       * ecc-internal.h (ECC_ADD_EHH_ITCH): New macro.
+       * Makefile.in (hogweed_SOURCES): Added ecc-add-ehh.c.
+       * ecc-25519.c (nettle_curve25519): Use ecc_d instead of ecc_b.
+       * eccdata.c: For curve25519, output the Edwards curve constant,
+       ecc_d = (121665/121666) mod p.
+       * testsuite/curve25519-dup-test.c (test_main): Add test for 4g.
+       Delete some left-over debug output.
+ 2014-07-11  Niels Möller  <nisse@lysator.liu.se>
+       * misc/ecc-formulas.tex: Some ECC notes.
+       * testsuite/curve25519-dup-test.c: New testcase.
+       * testsuite/Makefile.in (TS_HOGWEED_SOURCES): Added
+       curve25519-dup-test.c.
+       * testsuite/testutils.c (test_ecc_point): Made non-static.
+       * testsuite/testutils.h (struct ecc_ref_point): Moved here, from
+       testutils.h.
+       (test_ecc_point): Declare it.
+       * ecc-dup-eh.c (ecc_dup_eh, ecc_dup_eh_itch): New file, new functions.
+       * ecc-eh-to-a.c (ecc_eh_to_a, ecc_eh_to_a_itch): New file, new
+       functions.
+       * ecc.h: Declare new functions.
+       * ecc-internal.h (ECC_EH_TO_A_ITCH, ECC_DUP_EH_ITCH): New macros.
+       * Makefile.in (hogweed_SOURCES): Added ecc-dup-eh.c and
+       ecc-eh-to-a.c.
+       * ecc-internal.h (struct ecc_curve): New constant edwards_root.
+       * ecc-192.c (nettle_secp_192r1): Updated accordingly, additional
+       NULL pointer.
+       * ecc-224.c (nettle_secp_224r1): Likewise.
+       * ecc-256.c (nettle_secp_256r1): Likewise.
+       * ecc-384.c (nettle_secp_384r1): Likewise.
+       * ecc-521.c (nettle_secp_521r1): Likewise.
+       * ecc-25519.c (nettle_curve25519): Initialize new constant.
+       * eccdata.c (ecc_curve_init): For curve 25519, use correct
+       constant for edwards coordinate transform, and output the constant
+       as ecc_edwards.
+ 2014-07-06  Niels Möller  <nisse@lysator.liu.se>
+       * eccdata.c: Use separate is_zero flag to represent the neutral
+       element.
+       (output_point, output_point_redc): Unified to a single function,
+       with a use_redc flag argument. Also support conversion to Edwards
+       form.
+       (ecc_curve_init_str): New argument for Edwards curve conversion
+       constant.
+ 2014-07-04  Niels Möller  <nisse@lysator.liu.se>
++      Started curve25519 branch.
+       * ecc-25519.c: New file.
+       (ecc_25519_modp): New function.
+       (nettle_curve25519): New curve.
+       * ecc-curve.h (nettle_curve25519): Declare it.
+       * Makefile.in (hogweed_SOURCES): Added ecc-25519.c.
+       (ecc-25519.h): New generated file. Add as explicit dependency for
+       ecc-25519.o.
+       * testsuite/ecc-mod-test.c (test_curve): New function, extracted
+       from test_main. Tolerate NULL modq function pointer.
+       (test_main): Use test_curve, iterate over supported curves, and
+       also test curve_25519 for the new modp function.
 +2014-08-23  Niels Möller  <nisse@lysator.liu.se>
 +
 +      * ecc-modp.c (ecc_modp_sub_1): Deleted unused function.
 +      * ecc-internal.h: Deleted corresponding declaration.
 +
 +      * examples/nettle-benchmark.c (time_cipher): Fixed memset calls,
 +      amending the totally broken change from 2014-02-06.
 +
  2014-07-02  Niels Möller  <nisse@lysator.liu.se>
  
        * eccdata.c (ecc_dup): Use mpz_submul_ui, now available in
diff --cc ecc-internal.h
Simple merge