|
Name |
|
Date |
Size |
#Lines |
LOC |
| .. | | - | - |
| asm/ | | 04-Jul-2025 | - | 671 | 647 |
| BUILD.gn | D | 04-Jul-2025 | 216 | 5 | 4 |
| LICENSE | D | 04-Jul-2025 | 1.1 KiB | 23 | 18 |
| METADATA | D | 04-Jul-2025 | 430 | 14 | 11 |
| README.chromium | D | 04-Jul-2025 | 350 | 13 | 11 |
| README.md | D | 04-Jul-2025 | 1.2 KiB | 24 | 19 |
| curve25519_32.h | D | 04-Jul-2025 | 44.7 KiB | 1,572 | 1,370 |
| curve25519_64.h | D | 04-Jul-2025 | 28.8 KiB | 979 | 808 |
| curve25519_64_adx.h | D | 04-Jul-2025 | 22 KiB | 697 | 514 |
| curve25519_64_msvc.h | D | 04-Jul-2025 | 37.5 KiB | 1,282 | 1,064 |
| p256_32.h | D | 04-Jul-2025 | 150.3 KiB | 4,761 | 4,472 |
| p256_64.h | D | 04-Jul-2025 | 64.6 KiB | 2,036 | 1,744 |
| p256_64_msvc.h | D | 04-Jul-2025 | 63.3 KiB | 2,003 | 1,711 |
README.chromium
1Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
2Short Name: fiat-crypto
3URL: https://github.com/mit-plv/fiat-crypto
4Version: git (see METADATA)
5Revision: 6ccc6638716d4632304baf1adbb5c47c3a12ea6f
6License: MIT
7License File: LICENSE
8Security Critical: yes
9Shipped: yes
10
11Description:
12See README.md and METADATA.
13
README.md
1# Fiat Cryptography
2
3The files in this directory are generated using [Fiat
4Cryptography](https://github.com/mit-plv/fiat-crypto) from the associated
5library of arithmetic-implementation templates. These files are included under
6the MIT license. (See LICENSE file.)
7
8Some files are included directly from the `fiat-c/src` directory of the Fiat
9Cryptography repository. Their contents are `#include`d into source files, so
10we rename them to `.h`. Implementations that use saturated arithmetic on 64-bit
11words are further manually edited to use platform-appropriate incantations for
12operations such as addition with carry; these changes are marked with "`NOTE:
13edited after generation`".
14
15# CryptOpt
16
17Files in the `asm` directory are compiled from Fiat-Cryptography templates
18using [CryptOpt](https://github.com/0xADE1A1DE/CryptOpt). These generated
19assembly files have been edited to support call-stack unwinding. The modified
20files have been checked for functional correctness using the CryptOpt
21translation validator that is included in the Fiat-Cryptography repository.
22Correct unwinding and manual assembler-directive changes related to object-file
23conventions are validated using unit tests.
24