AuroraPipeline/fuck-premake-old2
Archived
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity
This repository has been archived on 2022-12-23. You can view files and clone it, but cannot push or open issues or pull requests.
7d5ccf819b
fuck-premake-old2/contrib/mbedtls/3rdparty/everest
History
Ferdinand Thiessen 481b5dcfa2 Update to mbedtls 2.25
2021-03-10 16:34:13 +01:00
..
include/everest Update to mbedtls 2.25 2021-03-10 16:34:13 +01:00
library Update to mbedtls 2.25 2021-03-10 16:34:13 +01:00
.gitignore Update to mbedtls 2.25 2021-03-10 16:34:13 +01:00
CMakeLists.txt Update to mbedtls 2.25 2021-03-10 16:34:13 +01:00
Makefile.inc Update to mbedtls 2.25 2021-03-10 16:34:13 +01:00
README.md Update to mbedtls 2.25 2021-03-10 16:34:13 +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).