Add all variants of kyber to hacl-packages, with compilation and all

msprotz commented 1 month ago

This PR contains a smorgasbord of improvements, namely in support of compiling all Kyber variants.

Refresh the code with cryspen/libcrux#257
Fixup a variety of things in config/default_config_msvc.{cmake,h}
Same deal with the non-msvc configs to support multiple files
Refresh kyber code with latest Eurydice improvements to generate for-loops when applicable
Refresh bundled copy of google benchmark owing to an issue that breaks the clang build on windows
Silence more MSVC compiler warnings with updated version of fstar_uint128_msvc.h
Performance boost (16%): do not constantly query evercrypt autoconfig init on a hot-path
Improve the glue all over to support 512 and 1024 variants
A script to eventually provide a standalone package of kyber for consumption downstream. In the long run, I would like this to be a CI artifact completely reproducible that people can download off of github.

coveralls commented 1 month ago

Pull Request Test Coverage Report for Build 8977766250

franziskuskiefer commented 1 month ago

It looks like #464 was the same branch and got closed because this got merged 🤔