yggdrasil/ring
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ring/third_party/fiat/README.md
Andres Erbsen 9c30e5389c Credit CryptOpt in third_party/fiat/README.md 
Change-Id: I824560a5bddb9183e61c663ca4cbdc4530177e66
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/60945
Reviewed-by: Adam Langley <agl@google.com>
Auto-Submit: Andres Erbsen <andreser@google.com>
Commit-Queue: Adam Langley <agl@google.com>
Reviewed-by: Bob Beck <bbe@google.com>
2023-06-20 21:17:23 +00:00

1.2 KiB
Raw Blame History

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 #included 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.