All pull requests

Pull requests

• [hpke-libcrux] Fix error variant on KEM decapsulation failure

  #1600·jschneider-bensch opened Sep 22, 2026Collaborator·6/6·

  ·

• [ecdsa] Clarify validate_scalar_slice behaviour in doc comment

  #1599·jschneider-bensch opened Sep 22, 2026Collaborator·5/6·

  ·

• [hmac] Fix documentation of output length of hmac

  #1598·jschneider-bensch opened Sep 22, 2026Collaborator·4/6·

  ·

• [sha3] Enforce correct digest length for hash::<LEN>

  #1597·jschneider-bensch opened Sep 22, 2026Collaborator·3/6·

  ·
  1

• [kem] Reject short seed lengths for hybrid encapsulation & Fix MlKem512 Ss variant

  #1595·jschneider-bensch opened Sep 22, 2026Collaborator·2/6·

  ·

• [PSQ] Ensure recent keys are cached & introduce transport channel exhaustion error

  #1594·jschneider-bensch opened Sep 22, 2026Collaborator·1/6·

  ·

• build(deps): bump the all-actions group across 1 directory with 2 updates

  dependenciesgithub_actions
  #1589·dependabot[bot] opened Sep 17, 2026Bot·

  ·

• build(deps): update wycheproof requirement from 0.6.0 to 0.7.0

  dependenciesrust
  #1588·dependabot[bot] opened Sep 17, 2026Bot·

  ·

• Make hax-lib a target.'cfg(hax)' dependency

  #1578·jschneider-bensch opened Sep 2, 2026Collaborator·

  ·
  1

  2

• feat(hpke): add DH-KEM(P-521) to the RustCrypto provider

  #1576·vlvicente opened Aug 31, 2026·

  ·

• libcrux-psq: ProVerif extraction + symbolic verification

  #1572·karthikbhargavan opened Aug 24, 2026Collaborator·

  ·

• fix(aes): re-export aead module from libcrux_traits

  waiting-on-review
  #1553·Arul-Sujith opened Jul 27, 2026Contributor·

  ·

• refactor(traits): migrate Kem error types to associated types

  waiting-on-review
  #1552·Arul-Sujith opened Jul 27, 2026Contributor·

  ·

• use hmac-drbg as prng in libcrux provider (#1545)

  waiting-on-author
  #1546·Arul-Sujith opened Jul 21, 2026Contributor·

  ·
  1

  7

  

• gate ML‑KEM/ML‑DSA specific SHA3 APIs behind optional features (#1532)

  waiting-on-review
  #1542·Arul-Sujith opened Jul 17, 2026Contributor·

  ·
  1

  11

• Add release tagging script

  waiting-on-review
  #1540·jschneider-bensch opened Jul 16, 2026Collaborator·

  ·

• Fix cloop and warnings

  waiting-on-review
  #1516·Arul-Sujith opened Jul 9, 2026Contributor·

  ·
  1

• build(deps): update p256 requirement from 0.13 to 0.14

  dependenciesrustwaiting-on-review
  #1509·dependabot[bot] opened Jul 9, 2026Bot·

  ·
  1

• Fix _mm256_bsrli_epi128 shift logic and update mlkem doctest

  waiting-on-author
  #1498·Arul-Sujith opened Jul 6, 2026Contributor·

  ·
  3

• Specs for ML-DSA

  waiting-on-review
  #1488·abentkamp opened Jun 23, 2026Collaborator·

  ·
  1

• Improved models for SIMD intrinsics

  waiting-on-author
  #1481·karthikbhargavan opened Jun 17, 2026Collaborator·

  ·
  34

• Specs for ML-KEM

  waiting-on-author
  #1480·abentkamp opened Jun 16, 2026Collaborator·

  ·
  48

• Correctness Proofs for SHA-3 (Part 2): Proofs for Portable Keccak-f1600

  waiting-on-review
  #1408·karthikbhargavan opened May 6, 2026Collaborator·

  ·
  

• [ml-dsa]Implement Zeroize for MLDSASigningKey/[traits,secrets,chacha20poly1305]Implement Zeroize for AEAD Key

  keep-openwaiting-on-review
  #1387·MavenRain opened Apr 22, 2026Contributor·

  ·
  2

  4

• [aesgcm] improve portable gf128 performance

  waiting-on-author
  #1340·robinhundt opened Feb 19, 2026Contributor·

  ·
  3