SPARKNaCl
SPARKNaCl copied to clipboard
SPARK 2014 re-implementation of the TweetNaCl crypto library
This commit improves the implementation of the GF2p2_Multiply function in the AES package. The improved version of this function takes 12 instead of 14 cycles to execute. This improvement is...
Added SHA384
Added SHA-384 to get closer to enabling yet another TLS 1.3 cipher suite. Essentially identical to SHA-512 but with smaller digest size, different IVs and truncated output. Tested against FIPS...
This PR covers changes to the library, build and performance tests needed to compiler with FSF GNAT 12.1.1 (from the Alire repository) on both MacOS and Linux.
As I do not wish to consider if a library return will be greater than 512 bytes or allocate more to the secondary stack on a micro with 640 kilobytes...
When building a project with -gnat2022 then warnings about array obsolescent syntax are generated. Coupled with gnatwe warnings as errors in gprbuild then the build fails. I'm not sure of...