Issues

• libcrux-hmac 0.0.9 fails to compile with hax

  celabshq/libcrux#1641 · Filter by author asraa opened on Oct 9, 2026

• [Workspace] Remove obsolete files and unused crates

  celabshq/libcrux#1636 · Filter by author jschneider-bensch opened on Oct 6, 2026

• [libcrux] Re-export P384

  celabshq/libcrux#1635 · Filter by author jschneider-bensch opened on Oct 6, 2026

• [Workspace] Move all crates into the appropriate directories

  celabshq/libcrux#1634 · Filter by author jschneider-bensch opened on Oct 6, 2026

• [hpke] Review zeroization

  celabshq/libcrux#1633 · Filter by author jschneider-bensch opened on Oct 6, 2026

• Document cargo features of workspace crates

  celabshq/libcrux#1631 · Filter by author jschneider-bensch opened on Oct 5, 2026

• libcrux-platform: AES and PMULL never detected on Android and iOS (aarch64), so AES-GCM always uses the portable implementation

  enhancement
  Feature

  celabshq/libcrux#1630 · Filter by author tswacast opened on Oct 3, 2026
  1

• Lean proofs for the AES implementation

  celabshq/libcrux#1629 · Filter by author ErVinuelas opened on Oct 1, 2026
  2

• Integrated p384 into kem

  celabshq/libcrux#1627 · Filter by author franziskuskiefer opened on Oct 1, 2026

• [nist kdf] Zeroize KDK in two-step KDF

  celabshq/libcrux#1615 · Filter by author robinhundt opened on Sep 30, 2026

• [CI] Add binary size mearsurements

  celabshq/libcrux#1611 · Filter by author jschneider-bensch opened on Sep 29, 2026

• [CI] Comprehensive benchmarking

  cimeta
  celabshq/libcrux#1610 · Filter by author jschneider-bensch opened on Sep 29, 2026

• [psq] Add interoperability tests for different feature sets

  Task

  celabshq/libcrux#1580 · Filter by author jschneider-bensch opened on Sep 2, 2026

• [CI/C] Automate C extraction on CI

  ci
  celabshq/libcrux#1570 · Filter by author jschneider-bensch opened on Aug 18, 2026

• [CI/C] Run extractions on PRs instead of queue only

  ci
  celabshq/libcrux#1569 · Filter by author jschneider-bensch opened on Aug 18, 2026

• Use drbg in hpke

  Feature

  celabshq/libcrux#1545 · Filter by author franziskuskiefer opened on Jul 21, 2026
  1

  

• libcrux-provider compatibility with wasm32-unknown-unknown?

  celabshq/libcrux#1544 · Filter by author rocodes opened on Jul 20, 2026
  4

• [traits] Kem traits errors should be associated types

  enhancement
  celabshq/libcrux#1535 · Filter by author robinhundt opened on Jul 15, 2026

• [aes] Export relevant libcrux-traits from the crate

  enhancement
  celabshq/libcrux#1533 · Filter by author robinhundt opened on Jul 15, 2026

• [sha3] Feature-gate specialized APIs

  enhancement
  Feature

  celabshq/libcrux#1532 · Filter by author jschneider-bensch opened on Jul 15, 2026

• [CI/Proofs] Re-enable full proof jobs for ML-KEM and ML-DSA

  celabshq/libcrux#1529 · Filter by author jschneider-bensch opened on Jul 14, 2026

• [hpke] Move KAT tests to libcrux-kats

  test
  Task

  celabshq/libcrux#1527 · Filter by author jschneider-bensch opened on Jul 14, 2026
  1

• hmac-drbg: allow configuring the reseed interval

  Feature

  celabshq/libcrux#1523 · Filter by author franziskuskiefer opened on Jul 10, 2026
  2

• [hpke/CI] Re-enable GH pages workflow

  ci
  Task

  celabshq/libcrux#1514 · Filter by author jschneider-bensch opened on Jul 9, 2026

• [hpke/CI] Re-enable coverage tracking

  ci
  Task

  celabshq/libcrux#1513 · Filter by author jschneider-bensch opened on Jul 9, 2026