Franziskus Kiefer comments

Results 353 comments of


                                            Franziskus Kiefer

@mamonet What's the state here? This looks stale. Do you want to close it?

This got stale. I'll redo this a little cleaner.

- [ ] Check C and compiled versions - [ ] Consolidate and write up our story - [ ] Automate checks

https://github.com/cryspen/libcrux/tree/franziskus/secret-arrays is a branch with all the things in a crate and some propagation to sha3.

Rewrite the loop with an upper bound.

Next steps: push upstream to HACL and to consumers

There is a randomised API https://docs.rs/libcrux-ml-kem/latest/libcrux_ml_kem/mlkem768/rand/index.html

- APIs (pqcp feature?) - Update script

We finally need to get back to this. This may be a little stale. But still the thing to do.

@Parrot7483 let's use this as the meta issue for the overall SHA-3 verification project.