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