Jonas Schneider-Bensch
Jonas Schneider-Bensch
Moving the deadline on this to mid-November since #632 threw a wrench in the works for this.
Yes, we are done optimizing AVX2 performance, closing this.
Tracking the more specific issues for the current milestone (Extracting the Bertie TLS handshake) in #541.
In principle, yes! But I also saw that you have #533, which looks really nice and would make the current generic printer obsolete, no?
@karthikbhargavan suggested a further distinction between verified algorithms and verified APIs on top, which would clarify the situation in cases like `libcrux-hkdf`, where we have a thin unverified API on...
I'll file a follow-up to provide more detailed verification status.
- `libcrux-ml-kem`'s `Cargo.toml` should be made independent from the workspace - should the PQCP repo contain the necessary dependency crates (`libcrux-intrinsics`, `libcrux-sha3`, `libcrux-platform`) as well?
The following `Cargo.toml` e.g. has the package metadata and release profile settings pulled down from the workspace, as well as replacing local path dependencies by the `libcrux` repo link. (This...
I have a PR for an update script at #323, just waiting for #324 to get merged so I can address any changes from that.
Originally, this issue tracked progress on the initial PQCP release. Now it tracks issues around the PQCP release workflow in general.