Integrate Vectorized SHA3

[mamonet]

This patch imports Hacl_SHA3_Scalar and Hacl_SHA3_Vec256 modules from hacl-star sha3-mb branch and adds sha3-mb.cc test file to test SHA-3 modes for single-lane and 4-lanes.

[coveralls]

Pull Request Test Coverage Report for Build 7084464025

• 9842 of 12270 (80.21%) changed or added relevant lines in 2 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+5.0%) to 59.089%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/Hacl_SHA3_Scalar.c	1986	2304	86.2%
src/Hacl_SHA3_Vec256.c	7856	9966	78.83%

Totals
Change from base Build 7058563693:	5.0%
Covered Lines:	37671
Relevant Lines:	63753

---

💛 - Coveralls

[karthik-cryspen]

Does this ever test the vec256 version with 4 different inputs? If not, would be worth adding such a test , or trying with 4 different kats, 4 at a time.

[franziskuskiefer]

I didn't look much at the C code. I presume that's fine.

Generally looks good. Only a few things inline.

Also, the MSVC code appears to be missing. Please add that. The other bindings aren't too important yet as long as the CI is happy with it.

[franziskuskiefer]

I fixed the examples on main, please cherry pick that commit or do another PR to merge main into dev first to fix that here.

[mamonet]

Does this ever test the vec256 version with 4 different inputs? If not, would be worth adding such a test , or trying with 4 different kats, 4 at a time.

I used 4 different inputs for one shake128 vec256 test.

[franziskuskiefer]

Thanks.
Please run clang-format on the cc files. Then this is good to go. There are some types in the generated headers that we should update, but we can do that in another iteration.

[franziskuskiefer]

Thanks!