Franziskus Kiefer
Franziskus Kiefer
With the change in #163 the behaviour of `union` changed and the documentation is wrong now. It's unfortunate that such a breaking change is done in a minor version. The...
In order to use a session ticket for 0-RTT it has to have the [ticket_early_data_info](https://tlswg.github.io/tls13-spec/#rfc.section.4.5.1) set accordingly. This currently prevents mint from doing 0-RTT with NSS.
- [x] #227 - [x] #228 - [ ] #236 - [x] Implement simd128 - [x] #234 - [x] #235
When the portable implementation #274 is working, implement an AVX2 variant. - [ ] #571 - [ ] assess performance after the NTT changes --- - [x] https://github.com/cryspen/libcrux/pull/375 - [x]...
Following the style from ML-KEM, implement ML-DSA. This issue is about the portable implementation. But since we're doing a SIMD optimised version, it should be generic not only over the...
We currently maintain both, [hpke-rs](https://github.com/franziskuskiefer/hpke-rs) and the HPKE implementation in here. The one in here is from [hpke-spec](https://github.com/cryspen/hpke-spec) and written for hacspec. - Decide which HPKE implementation to maintain -...