All pull requests

Pull requests

• Secret-independence hardening and ctgrind-tests

  #1653·jschneider-bensch opened Nov 5, 2026Collaborator·

  ·

• Remove hax workaround in sha3

  #1647·maximebuyse opened Oct 28, 2026Collaborator·

  ·

• fstar: stop depending on hax's fstar-secret-integers

  #1644·maximebuyse opened Oct 20, 2026Collaborator·

  ·

• Bump the all-actions group across 1 directory with 2 updates

  dependenciesgithub_actions
  #1640·dependabot[bot] opened Oct 8, 2026Bot·

  ·

• Update hax-lib requirement from =0.3.7 to =0.4.2

  dependenciesrust
  #1638·dependabot[bot] opened Oct 8, 2026Bot·

  ·

• SHA-3: functional correctness proofs against hacspec_sha3

  #1626·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• core-models, intrinsics: executable intrinsic models and F* views

  #1625·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• fstar-helpers: resolve libraries through the direct hax-lib dependency

  #1624·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• Remove the kyber spec

  #1623·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• Proof conventions, trust-annotation tooling and the trusted marker

  #1622·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• Rename core-models to libcrux-core-models

  #1621·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• Pin hax-lib to a hax main revision

  #1620·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• ML-KEM: validate coefficients decoded from incremental state and keys

  #1619·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• ML-DSA: zero the hint section when serializing a signature

  #1618·karthikbhargavan opened Oct 1, 2026Collaborator·

  ·

• 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

• Specs for ML-DSA

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

  ·
  1

• Specs for ML-KEM

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

  ·
  48

• [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