|
| 1 | +# 2025-10-02: TSC Minutes |
| 2 | + |
| 3 | +## Agenda |
| 4 | + |
| 5 | +* Welcome |
| 6 | +* PQCP Growth Plan |
| 7 | +* Updates from related communities (PQCA, OQS) |
| 8 | +* Review status of sub projects |
| 9 | + * [mlkem-native](https://github.com/pq-code-package/mlkem-native) |
| 10 | + * [mldsa-native](https://github.com/pq-code-package/mldsa-native) |
| 11 | + * [mlkem-libjade](https://github.com/pq-code-package/mlkem-libjade) |
| 12 | + * [mlkem-rust-libcrux](https://github.com/pq-code-package/mlkem-rust-libcrux) |
| 13 | + * [slhdsa-c](https://github.com/pq-code-package/slhdsa-c) |
| 14 | +* Discussion items |
| 15 | + * [Rust libcrux repository re-org](https://github.com/pq-code-package/tsc/issues/181) - Vote on renaming proposal |
| 16 | + * [Project Documentation Standards](https://github.com/pq-code-package/tsc/issues/151) |
| 17 | + * Review of remaining open issues: |
| 18 | + - [Determine any cross-implementation API requirements](https://github.com/pq-code-package/tsc/issues/4) |
| 19 | + - [Adopt a definition of assurance levels](https://github.com/pq-code-package/tsc/issues/3) |
| 20 | +* Any other business |
| 21 | +* Next meeting: 2025-11-06 13:00 UTC |
| 22 | + |
| 23 | +## Attendees |
| 24 | +TSC members: |
| 25 | +* [ ] Manuel Barbosa |
| 26 | +* [X] Hanno Becker |
| 27 | +* [X] Matthias J. Kannwischer |
| 28 | +* [X] Franziskus Kiefer |
| 29 | +* [ ] Jake Massimo |
| 30 | +* [X] Tiago Oliveira |
| 31 | +* [ ] Pravek Sharma |
| 32 | +* [ ] Markku-Juhani Saarinen |
| 33 | + |
| 34 | +Other attendees: |
| 35 | +* Hart Montgomery (Linux Foundation, PQCA) |
| 36 | + |
| 37 | +## Action Items |
| 38 | +- All projects: Consider growth strategies from Hart's presentation and discuss on GitHub or in next meeting |
| 39 | +- Matthias: Create growth plan document for TAC presentation |
| 40 | +- Matthias: Open issues in all project repositories with documentation standards requirements |
| 41 | +- Hanno & Tiago: Review and agree on documentation standards list |
| 42 | +- Hart: Check on PQCA blog post reach/effectiveness metrics |
| 43 | + |
| 44 | +## Minutes |
| 45 | + |
| 46 | +* **PQCP Growth Plan**: |
| 47 | + - **LFDT Playbook**: Hart shared [LFDT Growth Playbook](https://docs.google.com/presentation/d/1r4wljummNbfwRHxH4zYAenSvNIx2EcpChmMgpa5lazM/edit?usp=sharing) |
| 48 | + - **Focus**: Primary goal for PQCP is awareness and user base growth (not necessarily contributors at this stage) |
| 49 | + - **Growth Strategies Ideas** (presented by Hard, primarily from LFDT playbook): |
| 50 | + - **Blog Posts & Media**: |
| 51 | + - Currently posting on PQCA blog |
| 52 | + - Also consider LFDT, OpenSSF, and CNCF blogs |
| 53 | + - **Meetups**: |
| 54 | + - LFDT offers virtual and in-person meetups (45-min presentations, recordable) |
| 55 | + - How-to guides particularly effective |
| 56 | + - Recommended having beginner-friendly sessions |
| 57 | + - **Public Calls**: |
| 58 | + - Already have public TSC calls on calendar |
| 59 | + - Less intimidating than GitHub for newcomers |
| 60 | + - **Communication Channels**: |
| 61 | + - Discord active with good response times (critical for attracting users) |
| 62 | + - PQCA has LinkedIn and Twitter accounts available |
| 63 | + - **Good First Issues**: |
| 64 | + - Challenging for PQCP due to technical nature of cryptography |
| 65 | + - **Workshops**: |
| 66 | + - Virtual and in-person how-to workshops, recorded for online consumption |
| 67 | + - Consider 6-month cadence with new versions |
| 68 | + - **Mentorships**: |
| 69 | + - PQCP had strong applicant pool |
| 70 | + - Budget available for more mentorships (flexible timing, not just summer) |
| 71 | + - Available globally |
| 72 | + - **Case Studies**: |
| 73 | + - Multiple case studies create critical mass and drive adoption |
| 74 | + - AWS Crypto Library (AWSLC) using mlkem-native - opportunity for case study |
| 75 | + - **Newsletter**: |
| 76 | + - LFDT has newsletter capability |
| 77 | + - Would feature releases, milestones, conferences, workshops |
| 78 | + - PQCP is considering a newsletter |
| 79 | + - **Ecosystem Mapping**: |
| 80 | + - Who is using PQCP already? |
| 81 | + - Already documenting consumers in README files |
| 82 | + - **Collaboration Opportunities**: |
| 83 | + - OpenSSF - post-quantum conversation upcoming |
| 84 | + - Post-quantum Kubernetes |
| 85 | + - CNCF could be interesting partner |
| 86 | + - **Action**: Each project to think about growth strategies, discuss on GitHub or next meeting, create document for TAC |
| 87 | + |
| 88 | +* **Updates from related communities**: |
| 89 | + - **PQCA**: |
| 90 | + - LinkedIn and Twitter accounts active |
| 91 | + - Blog posts being published |
| 92 | + - Planning paper repository |
| 93 | + - Mentorship programs available |
| 94 | + - **OQS**: No representative attended |
| 95 | + |
| 96 | +* **Sub-project updates**: |
| 97 | + - **mlkem-native** (Hanno Becker): |
| 98 | + - Starting AVX2 HOL-Light proof development (progress expected over next month) |
| 99 | + - Two new backend contributions: |
| 100 | + - RISC-V 64 backend from Markku (under review, expected to merge this month) |
| 101 | + - ppc64 backend from IBM (first review done, needs work, confident it will merge) |
| 102 | + - Total backend count will reach 4 |
| 103 | + - **mldsa-native** (Matthias Kannwischer): |
| 104 | + - Exceeded performance of AArch64 MLDSA implementation in PQClean (met alpha release performance bar) |
| 105 | + - AVX2 work ongoing - small gap vs Dilithium team implementation for signing, expect to close in 2 weeks |
| 106 | + - First integration into LibOQS completed (not merged yet but works, identified all needed changes) |
| 107 | + - **Alpha release expected in 4-6 weeks** |
| 108 | + - **mlkem-libjade** (Tiago Oliveira): |
| 109 | + - Full-time engineer working on project until December, focused on CI |
| 110 | + - Focusing on ML-KEM 1024 completeness |
| 111 | + - CI checks include: safety, performance, and proofs |
| 112 | + - **Target: Release by end of December** |
| 113 | + - Planning blog post about accomplishments |
| 114 | + - Implementation correctness proofs take 2.5 hours with 8 cores (goal: optimize to <10 minutes) |
| 115 | + - Matthias offered CI assistance based on his experience |
| 116 | + - **mlkem-rust-libcrux** (Franziskus Kiefer): |
| 117 | + - Common PQCP APIs merged into ML-KEM |
| 118 | + - **Release planned within next 1-2 weeks** with common APIs |
| 119 | + - Feature flag enables C APIs for easy drop-in replacement |
| 120 | + - Once renaming complete, will add MLDSA to repository |
| 121 | + - MLDSA code exists, most proofs done, some cleanup remaining |
| 122 | + - **slhdsa-c**: No updates |
| 123 | + |
| 124 | +* **Technical discussions**: |
| 125 | + - **Rust libcrux repository re-org** (https://github.com/pq-code-package/tsc/issues/181): |
| 126 | + - Resolved |
| 127 | + - **Project Documentation Standards** (https://github.com/pq-code-package/tsc/issues/151): |
| 128 | + - Existing list of agreed-upon documentation standards shared |
| 129 | + - Action plan: |
| 130 | + 1. Hanno and Tiago to review standards list |
| 131 | + 2. All agree to standards |
| 132 | + 3. Matthias opens issues in all project repositories |
| 133 | + 4. Projects implement standards and close issues |
| 134 | + 5. Finally close old documentation standards issue |
| 135 | + - **Cross-implementation API requirements** (https://github.com/pq-code-package/tsc/issues/4): |
| 136 | + - **Assurance levels** (https://github.com/pq-code-package/tsc/issues/3): |
| 137 | + |
| 138 | +* **Other business**: |
| 139 | + - Meeting time discussion: Tiago and Manuel have teaching duties on Thursdays going forward |
| 140 | + - May need to discuss new meeting time in future |
| 141 | + |
| 142 | +* **Next meeting: 2025-11-06 13:00 UTC** |
0 commit comments