Name Date Size #Lines LOC

..--

asm/H25-Apr-2025-671647

BUILD.gnH A D25-Apr-2025216 54

LICENSEH A D25-Apr-20251.1 KiB2318

METADATAH A D25-Apr-2025430 1411

README.chromiumH A D25-Apr-2025350 1311

README.mdH A D25-Apr-20251.2 KiB2419

curve25519_32.hH A D25-Apr-202544.7 KiB1,5661,366

curve25519_64.hH A D25-Apr-202528.7 KiB973804

curve25519_64_adx.hH A D25-Apr-202522 KiB694511

curve25519_64_msvc.hH A D25-Apr-202537.5 KiB1,2821,064

p256_32.hH A D25-Apr-2025150.2 KiB4,7614,472

p256_64.hH A D25-Apr-202564.5 KiB2,0331,742

p256_64_msvc.hH A D25-Apr-202563.3 KiB2,0031,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