Christoph M. Wintersteiger
0969eeecbc
3rdparty: Fix Everest's mbedtls_x25519_get_params
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
26b98e12c5
3rdparty: Fix newlines and trailing whitespace
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
6e0cac1f57
3rdparty: Fix Everest build to not depend on build-time macros
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
8592958205
ECDH: Use macro-based sizes in Everest x25519
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
efdf4d7baa
ECDH: Fix Everest x25519 make_public
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
537f41ebbf
3rdparty: Updated comments for Everest x25519
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
088ef49681
3rdparty: Make proper use of mbedtls_platform_zeroize in Everest x25519
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
fb779f1700
3rdparty: Pull Everest x25519 key size into macro
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
6ea2dea1c5
3rdparty: Add additional build facilities for 3rd-party code
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
24fbceff50
ECDH: Everest: Remove unnecessary file
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
c3cbddecb5
ECDH: Fix whitespace, permissions
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
4936beb513
ECDH: Clean up the interface to Everest code
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
6acfbb52d7
ECDH: Add #ifdef to cleanly disable the Everest code
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
fb72367f96
ECDH: Remove old code from mbedtls_everest_make_params
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
de4fcf2ae3
ECDH: Add new ECDH context for Everest Curve25519
2019-08-19 13:19:38 +01:00
Christoph M. Wintersteiger
2a9684e7c9
ECDH: Add VS2010 support files for Everest Curve25519
2019-08-19 13:19:38 +01:00
Christoph M. Wintersteiger
bee486146e
ECDH: Add Everest Curve25519 to 3rdparty/everest
...
These files are automatically generated by the Everest toolchain from F*
files. They do not respect the mbedTLS code style guidelines as manual
modification would invalidate verification guarantees. The files in
3rdparty/everest/include/kremli{n,b} are a customized (minimzed) version of the
support headers expected by the code extracted using KreMLin.
2019-08-19 13:19:38 +01:00
