Search results

[SHA3] Properly support streaming XOF squeeze

Status: Open.

#1362 In cryspen/libcrux;

· jschneider-bensch opened on Mar 9, 2026

[ml-kem] Propagate libcrux-secrets types to top-level APIs

build

Status: Open.

#1356 In cryspen/libcrux;

· dhgatjeye opened on Mar 7, 2026

Investigate tools that can visualize the verification state without relying on hand-edited tables

Status: Open.

#1355 In cryspen/libcrux;

· karthikbhargavan opened on Mar 6, 2026

Move specs and annotations back to Rust (hacspec)

Status: Open.

#1354 In cryspen/libcrux;

· karthikbhargavan opened on Mar 6, 2026

Upstream SIMD intrinsics to hax core models

Status: Open.

#1353 In cryspen/libcrux;

· karthikbhargavan opened on Mar 6, 2026

Check usage of cfg(not(hax)) vs hax_lib::exclude

Status: Open.

#1341 In cryspen/libcrux;

· jschneider-bensch opened on Feb 24, 2026

Security policy: RustSec advisories?

Status: Open.

#1335 In cryspen/libcrux;

· djc opened on Feb 16, 2026

Clean up and improve documentation of verification status

Status: Open.

#1333 In cryspen/libcrux;

· karthikbhargavan opened on Feb 16, 2026

libcrux-ml-dsa c_header_only extract

C

Status: Open.

Task

#1328 In cryspen/libcrux;

· djmdjm opened on Feb 12, 2026

[PSQ] Random-looking handshake messages

Status: Open.

#1327 In cryspen/libcrux;

· georgio opened on Feb 11, 2026

[ML-DSA/ML-DSA] Makefile generates erroneous F* include paths

Status: Open.

#1295 In cryspen/libcrux;

· jschneider-bensch opened on Jan 22, 2026

Deprecate old KEM APIs

Status: Open.

#1288 In cryspen/libcrux;

· jschneider-bensch opened on Jan 20, 2026