TSC members:
Other attendees:
Minutes available at https://github.com/pq-code-package/tsc/blob/main/meetings/2025-05-22/minutes.md
Matthias provided an update from the 2025-05-04 PQCA TAC meeting.
The PQCA is calling for additional blog posts and is asking projects within the PQCP to volunteer to write blog posts. Additionally, we may propose higher level blog posts (e.g., on PQC in general). Volunteers can contact the PQCA TAC or Matthias directly.
New LFX Insights platform soft-launched: https://insights.linuxfoundation.org/. It is fully functional and is going to be officially launched in the end of the month. It has insights into all LF projects including PQCP such as project health, security, etc. Please take a look. The LFX Insights team is asking for feedback on the platform.
Pravek provides an update on OQS.
mlkem-native v1.0.0 has been integrated and merged.
Looking for maintained portable C implementation for SLH-DSA. Discussions on-going to start a project in the PQCP. Current plan is to base the implementation on sloth by Markku-Juhani Saarinen. A meeting is scheduled for next week.
Review status of sub projects:
Hanno provides an update on mlkem-native.
mlkem-native v1.0.0 has been released this week. This marks the completion of the HOL-Light functional correctness proofs for all Arm64 assembly. CBMC proofs (type-safety, memory-safety) for all C code have been completed before.
Matthias adds that pull requests to liboqs and AWS-LC have been opened. Additionally, a pqm4 integration has been completed.
Matthias provides an update on mldsa-native.
CBMC proofs are 75% done. Now proving the top-level functions. Expected to finish this in the next few weeks.
Arm64 and AVX2 backend have been started. Now gradually adding more assembly.
Tiago provides an update on libjade.
There is currently work on-going on a ML-KEM-1024 implementation. Once that is completed, it will be considered to publish a new version in the PQCP.
Discussion (if not covered previously)
Changing meeting frequency to monthly: https://github.com/pq-code-package/tsc/issues/169
Matthias calls for a vote to reduce the frequency of the TSC meetings to monthly.
Franziskus agreed beforehand online.
Hanno, Tiago, Pravek, and Matthias vote in favour.
The proposal passes with 5/7 votes.
The next meeting will be 2025-07-03 13:00 UTC.
The calendar invite has been updated.
Review of very old issues:
Matthias proposes to clean up old issues that no one is working on. He will tag everyone in the corresponding issues. If no one speaks up, they will be closed.
The first set of orphaned issues are