|
Name |
|
Date |
Size |
#Lines |
LOC |
| .. | | - | - |
| asm/ | | 06-Sep-2024 | - | 673 | 649 |
| BUILD.gn | D | 06-Sep-2024 | 216 | 5 | 4 |
| LICENSE | D | 06-Sep-2024 | 1.1 KiB | 23 | 18 |
| METADATA | D | 06-Sep-2024 | 430 | 14 | 11 |
| README.chromium | D | 06-Sep-2024 | 299 | 12 | 10 |
| README.md | D | 06-Sep-2024 | 1.2 KiB | 24 | 19 |
| curve25519_32.h | D | 06-Sep-2024 | 44.7 KiB | 1,566 | 1,366 |
| curve25519_64.h | D | 06-Sep-2024 | 28.7 KiB | 973 | 804 |
| curve25519_64_adx.h | D | 06-Sep-2024 | 22 KiB | 694 | 511 |
| curve25519_64_msvc.h | D | 06-Sep-2024 | 37.5 KiB | 1,282 | 1,064 |
| p256_32.h | D | 06-Sep-2024 | 150.2 KiB | 4,761 | 4,472 |
| p256_64.h | D | 06-Sep-2024 | 64.5 KiB | 2,033 | 1,742 |
| p256_64_msvc.h | D | 06-Sep-2024 | 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)
5License: MIT
6License File: LICENSE
7Security Critical: yes
8Shipped: yes
9
10Description:
11See README.md and METADATA.
12
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