AuroraMiddleware/mbedtls
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
0f2e87bdf5
mbedtls/3rdparty/everest
History
Biswapriyo Nath 0f2e87bdf5 cmake: Use GnuInstallDirs to customize install directories 
Replace custom LIB_INSTALL_DIR with standard CMAKE_INSTALL_LIBDIR variable.
For backward compatibility, set CMAKE_INSTALL_LIBDIR if LIB_INSTALL_DIR is set.

Signed-off-by: Biswapriyo Nath <nathbappai@gmail.com>
2022-04-22 20:59:28 +05:30
..
include/everest 3rdparty: Pull Everest x25519 key size into macro 2019-08-19 13:37:46 +01:00
library Include common.h instead of config.h in library source files 2020-07-02 11:26:57 +02:00
.gitignore 3rdparty: Adjust .gitignore 2019-08-19 13:37:46 +01:00
CMakeLists.txt cmake: Use GnuInstallDirs to customize install directories 2022-04-22 20:59:28 +05:30
Makefile.inc 3rdparty: Fix Everest build to not depend on build-time macros 2019-08-19 13:37:46 +01:00
README.md 3rdparty: don't claim armcc support in Everest Readme.md 2019-08-19 13:37:46 +01:00

README.md

The files in this directory stem from Project Everest and are distributed under the Apache 2.0 license.

This is a formally verified implementation of Curve25519-based handshakes. The C code is automatically derived from the (verified) original implementation in the F* language by KreMLin. In addition to the improved safety and security of the implementation, it is also significantly faster than the default implementation of Curve25519 in mbedTLS.

The caveat is that not all platforms are supported, although the version in everest/library/legacy should work on most systems. The main issue is that some platforms do not provide a 128-bit integer type and KreMLin therefore has to use additional (also verified) code to simulate them, resulting in less of a performance gain overall. Explictly supported platforms are currently x86 and x86_64 using gcc or clang, and Visual C (2010 and later).