Search results

[ML-KEM] F* lax typechecking / Use Rust annotations

Status: Open.

#122 In cryspen/libcrux-iot;

· jschneider-bensch opened on Jan 6, 2026

[ML-KEM] Set up dependency extraction for F* laxing

Status: Open.

#116 In cryspen/libcrux-iot;

· jschneider-bensch opened on Oct 27, 2025

[ML-KEM] Update <code>verification_status.md</code>

Status: Open.

#115 In cryspen/libcrux-iot;

· jschneider-bensch opened on Oct 27, 2025

Get embedded-cal implementation off the ground

Status: Open.

Enhancement

#108 In cryspen/libcrux-iot;

· keks opened on Oct 13, 2025

Get Code in Shape for Verification and Demo PQC Code

Status: Open.

Enhancement

#107 In cryspen/libcrux-iot;

· keks opened on Oct 13, 2025

Improve Benchmark / Testing Ergonomics

Status: Open.

#97 In cryspen/libcrux-iot;

· jschneider-bensch opened on Jul 14, 2025

Ensure top-level allocation &amp; re-use whenever possible

Status: Open.

#82 In cryspen/libcrux-iot;

· jschneider-bensch opened on May 19, 2025

Secret independence for ML-DSA

Status: Open.

Task

#81 In cryspen/libcrux-iot;

· franziskuskiefer opened on May 9, 2025

Proofs for optimizations

meta

Status: Open.

Task

#68 In cryspen/libcrux-iot;

· franziskuskiefer opened on Apr 22, 2025

Stack Optimization

Status: Open.

#55 In cryspen/libcrux-iot;

· jschneider-bensch opened on Mar 31, 2025

Benchmark SHA-3/SHAKE input/output sizes as required by ML-KEM/ML-DSA

Status: Open.

#53 In cryspen/libcrux-iot;

· jschneider-bensch opened on Mar 31, 2025

Document specific device capabilities

Status: Open.

#37 In cryspen/libcrux-iot;

· jschneider-bensch opened on Jan 13, 2025