2025-03-13 : TSC Minutes
Agenda
Welcome
Minutes/actions from previous meeting
Minutes have been merged. Thanks to reviewers for corrections.
PQCA
- Main topic at PQCA this week was the PQCA Blog Post - see below for our discussion on content
- Elections are underway for:
- PQCA TAC lead.
- PQCA community rep - only open to those working for companies not represented on PQCA board.
OQS
- liboqs release candidate for 0.13.0 planned, including deterministic keygen API for ML-KEM and updates from mlkem-native.
- Initial plan to include mlkem-native API in this release, but moving ahead without those changes.
Review of subprojects
mlkem-native
- Further progress on formal byte-level verification of assembly with John Harrison using Hol Light.
- includes core routines - NTT, inverse NTT, and Keccak variants (including complex neon/scalar hybrids).
- C code is verified with CBMC. memory, safety, overflow should cover many potential bugs - compiler output is not being verified with HOL-Light.
- Need to match CBMC contract to hol-light
- Formal verification of AArch64 assembly nearing completion.
- One remaining area is rejection sampling - complex.
- AVX2 next.
- Release of OQS with mlkem-native expected soon.
- PR to AWS-LC in progress, with one approval.
mlkem-c-embedded
- currently on hold pending more interest.
- noted one discord post mentioning embedded.
mlkem-c-libjade
- ARM implementation of ML-KEM AVX2 version is very close to completion, stable.
- Some final documentation to be completed.
- formal verification of AVX2 implementation to be covered at IEEE Symposium on Security and Privacy
mlkem-rust-libcrux
No update.
mldsa-native
No update.
Open TSC issues
-
PQCA Blog Post
- spirit of bringing together multiple implementations and highlighting different guarantees and properties.
- PQCP as a place to find implementations.
- adoption of ML-KEM in Open Quantum Safe and AWS-LC.
- real-world impact via deployments to attract contributors.
- What’s next including ML-DSA and encouraging contributors.
- Will discuss further on discord tomorrow to complete first draft.
Any other business
- Noted the need to review attendance and revisit meeting times if needed.
Action items
New
Outstanding
Completed
Recordings
Upcoming TSC meetings
- Next TSC meeting in 2 weeks, 2025-03-27 1000 Central European Time (UTC+1).
Please check the calendar
Attended by
TSC voting members
Additional attendees
None.