Issues

• [ML-KEM/C] Fix potential secret-dependent behavior in C extraction

  celabshq/libcrux#1657 · Filter by author jschneider-bensch opened on Nov 11, 2026

• [ecdh] Reject trailing bytes when parsing P256 public keys

  celabshq/libcrux#1656 · Filter by author jschneider-bensch opened on Nov 10, 2026

• Update P-256 keygen for SP 800-56A

  celabshq/libcrux#1652 · Filter by author franziskuskiefer opened on Nov 3, 2026

• [perf/unsafety] Use of target_feature(enable = "..")

  enhancement
  celabshq/libcrux#1650 · Filter by author robinhundt opened on Oct 29, 2026

• Implement Error for HandshakeError

  celabshq/libcrux#1648 · Filter by author pronebird opened on Oct 28, 2026

• unsafe error on compiling

  celabshq/libcrux#1646 · Filter by author JinkeJ opened on Oct 27, 2026
  3

• ML-DSA-44 and ML-DSA-87: no generate_key_pair_mut

  celabshq/libcrux#1645 · Filter by author samoht opened on Oct 24, 2026

• ML-KEM-768 incremental API: supported secret erasure guarantees and planned zeroization support

  celabshq/libcrux#1643 · Filter by author MIV009 opened on Oct 17, 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

  good first issue
  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

  good first issue
  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