diff options
| author | Adam Harrison <adamdharrison@gmail.com> | 2023-07-06 06:37:41 -0400 |
|---|---|---|
| committer | Adam Harrison <adamdharrison@gmail.com> | 2023-07-06 06:37:41 -0400 |
| commit | 9db10386430479067795bec66bb26343ff176ded (patch) | |
| tree | 5ad0cf95abde7cf03afaf8f70af8549d46b09a46 /lib/mbedtls-2.27.0/3rdparty/everest/README.md | |
| parent | 57092d80cb07fa1a84873769fa92165426196054 (diff) | |
| download | lite-xl-plugin-manager-9db10386430479067795bec66bb26343ff176ded.tar.gz lite-xl-plugin-manager-9db10386430479067795bec66bb26343ff176ded.zip | |
Removed old mbedtls, replacing with submodule.
Diffstat (limited to 'lib/mbedtls-2.27.0/3rdparty/everest/README.md')
| -rw-r--r-- | lib/mbedtls-2.27.0/3rdparty/everest/README.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/mbedtls-2.27.0/3rdparty/everest/README.md b/lib/mbedtls-2.27.0/3rdparty/everest/README.md deleted file mode 100644 index 0e25466..0000000 --- a/lib/mbedtls-2.27.0/3rdparty/everest/README.md +++ /dev/null @@ -1,5 +0,0 @@ -The files in this directory stem from [Project Everest](https://project-everest.github.io/) 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](https://github.com/project-everest/hacl-star/tree/master/code/curve25519) in the [F* language](https://github.com/fstarlang/fstar) by [KreMLin](https://github.com/fstarlang/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). |