minutes.md

2024-11-21 : TSC Minutes

Agenda

• Welcome

• Minutes/actions from previous meeting

• Updates from related communities:

  • PQCA
  • Open Quantum Safe

• Review status of sub projects:

  • mlkem-libjade
  • mlkem-rust-libcrux
  • mlkem-native

• Discussion (if not covered previously)

  • mlkem-native alpha release / blog post
  • FIP203 - 7 function api #4
  • Working towards liboqs usage #103
  • Requiring OpenSSL CLA #113
  • Other Open TSC issues
  • Meetings : Dec 19, Jan 2 - any changes/cancellations needed?

• Any other business.

Welcome

Thanks to Matthias for running the meeting last week. Apologies from Hanno.

Minutes/actions from previous meeting

Updates from related communities

PQCA

• Sophie Schmeig presented to the PQCA on her concerns around NIST & digital signature algorithms including ML-DSA, including specifically around the API. Can listen to PQCA meeting recordings (approx 17 mins into this recording), she's also happy to come to this meeting to discuss her thoughts including the API changes 6 months after NIST release.
• Tooling workgroup meetings have started - team eager to see additional contributions/participation
• We discussed the proposed blog post - we just need a few approval/reviews & then can publish, hopefully early next week.

OQS

• New release ~Friday with security patch.
• codepoint updates.

Review of subprojects

mlkem-native

• Alpha release - stable code, cbmc proofs for core, ml-kem. Now need feedback
• Not incorporated anything based on API discussions, just 3 part API. Need to, but need agreement first. Have draft email to send to NIST.
• Discussion on anywhere else the blog post should be shared - just website for now.
• Discussed implementation with Basil/Pravek to start discussion on use within liboqs. They have looked at code. One review comment required change. Work now is actually integrating

mlkem-c-libjade

• Old PR deleted
• preparing pull of code including benchmark testing, simple example, crypto artifact. Jasmine implementation completely verified.
• AVX2 x2 improvements being added.
• Tests - plan to test this implementation against native (mlkem-native is tested against official test vectors, Kyber repo test vectors, and test c/avx2/arm etc against each other).

Open TSC issues

• #113 (OpenSSL CLA) - contributors need to sign OpenSSL CLA. OpenSSL may then be able to use any of our implementations. needs further discussion. We should document our policy and procedures (action).
• #4 (API Changes) - as above, email being drafted by Matthias for NIST.

Any other business

Action items

New

• Document our process/policy on OpenSSL CLA

Outstanding

Completed

Recordings

• Recordings are available on your Open Profile page under Past Meetings.

Upcoming TAC meetings

• Next TSC meeting in 2 weeks, 2024-12-19 1300 UTC. Nigel, Tiago noted they would not be able to attend.

Please check the calendar

Attended by

TSC voting members

• Manuel Barbosa, University of Porto
• Hanno Becker, AWS
• Nigel Jones, IBM
• Matthias J. Kannwischer, Chelpis Quantum Tech
• Franziskus Kiefer, Cryspen
• Tiago Oliveira, Sandbox AQ
• John Schanck, Mozilla
• Pravek Sharma, University of Waterloo
• Douglas Stebila, University of Waterloo

Additional attendees