Andres Erbsen
2a33faebe1
|
1 year ago | |
---|---|---|
.. | ||
asm | 1 year ago | |
BUILD.gn | 4 years ago | |
LICENSE | 3 years ago | |
METADATA | 3 years ago | |
README.chromium | 1 year ago | |
README.md | 1 year ago | |
curve25519_32.h | 3 years ago | |
curve25519_64.h | 3 years ago | |
curve25519_64_adx.h | 1 year ago | |
curve25519_64_msvc.h | 2 years ago | |
p256_32.h | 3 years ago | |
p256_64.h | 1 year ago | |
p256_64_msvc.h | 2 years ago |
README.md
Fiat Cryptography
The files in this directory are generated using Fiat Cryptography from the associated library of arithmetic-implementation templates. These files are included under the MIT license. (See LICENSE file.)
Some files are included directly from the fiat-c/src
directory of the Fiat
Cryptography repository. Their contents are #include
d into source files, so
we rename them to .h
. Implementations that use saturated arithmetic on 64-bit
words are further manually edited to use platform-appropriate incantations for
operations such as addition with carry; these changes are marked with "NOTE: edited after generation
".
CryptOpt
Files in the asm
directory are compiled from Fiat-Cryptography templates
using CryptOpt. These generated
assembly files have been edited to support call-stack unwinding. The modified
files have been checked for functional correctness using the CryptOpt
translation validator that is included in the Fiat-Cryptography repository.
Correct unwinding and manual assembler-directive changes related to object-file
conventions are validated using unit tests.