Franziskus Kiefer

- [x] Move code from #251 into the new structure - [x] Use 16 field elements instead of 8 - [ ] Implement avx2 functions

ml-kem: Move unsafe code to separate intrinsics module

1

Follow the style from #241 to pull out all unsafe functions in the avx2 poly crate into a separate module.

This PR pulls out the unsafe simd256 code into a separate module. This will eventually go into a separate, libcrux-wide, crate. The same needs to be done for simd128.

- [x] #319 - [ ] #454

Add ML-KEM C extraction to CI

1

Work is happening on franziskus/ml-kem-c-extraction. This is currently blocked by issues in #199 . A way of running the hax verification toolchain that is reproducible and maintainable. **Requirements** * Pin...

Update CI

2

Update the CI - [ ] add merge queues - [x] add rust fmt checks - [ ] ~~add individual jobs for the sys libraries.~~ Platform support - [x] macOS...

Update build system

1

Update the build to - [x] #46 - [x] #47 - [x] #48 - [x] add basic CI support to ensure all of this is working Some open ToDos on...

- [ ] ensure the target is working - [ ] add the target to CI linking fails right now

- [ ] ensure the build and tests are working - [ ] add the target to CI