From c7ed0abf4bcd707073df7e892db904e33898dcae Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Wed, 6 Nov 2024 18:04:21 +0000 Subject: [PATCH 1/5] Minutes from 20241024 & agenda for 20241107 Signed-off-by: Nigel Jones --- meetings/2024-10-24/minutes.md | 100 +++++++++++++++++++++++++++++++++ meetings/2024-11-07/minutes.md | 26 +++++++++ meetings/index.md | 1 + 3 files changed, 127 insertions(+) create mode 100644 meetings/2024-11-07/minutes.md diff --git a/meetings/2024-10-24/minutes.md b/meetings/2024-10-24/minutes.md index c0b936e..b9ce6f8 100644 --- a/meetings/2024-10-24/minutes.md +++ b/meetings/2024-10-24/minutes.md @@ -25,6 +25,106 @@ * liboqs representative * meeting schedule/duration + ## Welcome + +## Minutes/actions from previous meeting + +Minutes have been merged. Please raise issue/PR for any corrections. + +### Updates from related communities + +#### PQCA + +Meeting canceled for this week - no updates + +#### OQS + +* want to start pulling pqcp implementations that are ready. Discussing with Matthias & Hanno. +* Pravek Sharma (University of Waterloo) will be taking lead in liasing / integration - already been involved with libjade kyber in liboqs, alongside Basil (IBM) + +### Review of subprojects + +### mlkem-c-aarch64 + +* original plan of independent ML-KEM generic, aarch64 & perhaps AVX2 implementations could be an obstacle to adoption - similar, but different. +* aarch64 implementation has evolved to provide interface to more easily incorporate specific implementations ie AVX2 from Kyber ref repo. Stay close to reference, but enable this specialization. +* Function signatures same across implementations, but semantics differ - so have made these definitions common. Aim to verify C code with CBMC. +* (Manuel): can also use code from Jasmin : contracts on a per-function basis with bounds. like an AVX2 implementation. Will review interface. +* C code tries to remain close to reference implementation whilst addressing a few implementation defined behaviours. (FIPS 203 input validation is open as issue) +* targetted more at server/pc/mobile platforms (vs embedded which focusses more on memory usage/code size). +* Aiming for an alpha release to get awareness of internal interface & gather feedback. +* Naming change proposal - mlkem-native currently proposed. Agree in next meeting. +* Have asked for feedback from John Shanck / Peter Schwabe + +### mlkem-c-embedded + +No updates. (team working on above) + +### mlkem-c-libjade + +* getting close to completion for the avx2 super optimized implementation. A few more optimizations with proofs to do. +* Target is IEEE S&P conference. +* Hope to fit into the API structure covered in the mlkem-c-aarch64 discussion. + +#### Open TSC issues + +No updates. + +### Any other business + +#### Releases + +* Discussion on what's needed for an alpha release: (see mlkem-c-aarch64 discussion also) + * minimum is security/licensing. + * document/transparency. + * explain objectives ie inviting feedback on apis. + * milestone set up in mlkem-c-aarch64. Assigning [issues targetted for release](https://github.com/pq-code-package/mlkem-c-aarch64/issues?q=sort%3Aupdated-desc+is%3Aissue+is%3Aopen+milestone%3Aalpha-release) there. please review. + +#### liboqs representative + +* Douglas proposed that Pravek Sharma is best placed to liase between liboqs & pqcp on adopting implementations of algorithms as he'll be doing much of the work. +* Will check LF process/charter offline & start this process. + +## Action items + +### New + +### Outstanding + +### Completed + +* [X] Contact John Schanck to see if interested in retiming TSC meetings. + * closing given discussion on mlkem-c-aarch64 + +## Recordings + +* [Recordings are available on your Open Profile page](https://openprofile.dev/my-meetings) under Past Meetings. + +## Upcoming TAC meetings + +* Next TSC meeting in 2 weeks, 2024-11-07 1300 UTC. + +[Please check the calendar](https://pqca.org/calendar/) + +## Attended by + +### TSC voting members + +* [X] [Manuel Barbosa](https://github.com/mbbarbosa), University of Porto +* [X] [Hanno Becker](https://github.com/hanno-becker), AWS +* [X] [Nigel Jones](https://github.com/planetf1), IBM +* [X] [Matthias J. Kannwischer](https://github.com/mkannwischer), Chelpis Quantum Tech +* [ ] [Franziskus Kiefer](https://github.com/franziskuskiefer), Cryspen +* [ ] [Tiago Oliveira](https://github.com/tfaoliveira), Sandbox AQ +* [ ] [John Schanck](https://github.com/jschanck), Mozilla +* [X] [Douglas Stebila](https://github.com/dstebila), University of Waterloo + +### Additional attendees + +* J P Lomas, QRL +* Yarkin Doroz (NVIDIA) + + diff --git a/meetings/2024-11-07/minutes.md b/meetings/2024-11-07/minutes.md new file mode 100644 index 0000000..9277a0f --- /dev/null +++ b/meetings/2024-11-07/minutes.md @@ -0,0 +1,26 @@ +# 2024-11-07 : TSC Minutes + +## Agenda + +* Welcome +* [Minutes/actions from previous meeting](../2024-10-10/minutes.md) +* Updates from related communities: + * [PQCA](https://github.com/PQCA) + * [Open Quantum Safe](https://github.com/open-quantum-safe) +* Review status of sub projects: + * [mlkem-c-generic](https://github.com/pq-code-package/mlkem-c-generic) + * [initial code setup](https://github.com/pq-code-package/mlkem-c-generic/issues/4) + * [mlkem-c-embedded](https://github.com/pq-code-package/mlkem-c-embedded) + * [mlkem-c-aarch64](https://github.com/pq-code-package/mlkem-c-aarch64) + * [mkkem-libjade](https://github.com/pq-code-package/mlkem-libjade) + * [mlkem-rust-libcrux](https://github.com/pq-code-package/mlkem-rust-libcrux) + * [documentation](https://github.com/pq-code-package/documentation) +* Discussion (if not covered previously) + * [OpenSSL CLA](https://github.com/pq-code-package/tsc/issues/113) + * [mlkem-native #105](https://github.com/pq-code-package/tsc/issues/105) + * [liboqs usage #103](https://github.com/pq-code-package/tsc/issues/103) + * [randombytes() #86](https://github.com/pq-code-package/tsc/issues/86) + * [serialized vs deserialized #4](https://github.com/pq-code-package/tsc/issues/4) + * [Other Open TSC issues](https://github.com/orgs/pq-code-package/projects/4/views/1) +* Any other business + * meeting time (1300 UTC) after summer->winter time diff --git a/meetings/index.md b/meetings/index.md index 0f3c7a5..65abe1d 100644 --- a/meetings/index.md +++ b/meetings/index.md @@ -1,5 +1,6 @@ # Minutes and agenda +* 2024-11-07 : [agenda/minutes](2024-11-07/minutes.md) (combined minutes/agenda) * 2024-10-24 : [agenda/minutes](2024-10-24/minutes.md) (combined minutes/agenda) * 2024-10-10 : [agenda/minutes](2024-10-10/minutes.md) (combined minutes/agenda) * 2024-09-26 : [agenda/minutes](2024-09-26/minutes.md) (combined minutes/agenda) From 47648d0d0ab27ee1339f488c9057fc239e10f331 Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Wed, 6 Nov 2024 18:07:37 +0000 Subject: [PATCH 2/5] Add item to agenda on vote to add Pravek to TSC Signed-off-by: Nigel Jones --- meetings/2024-11-07/minutes.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/meetings/2024-11-07/minutes.md b/meetings/2024-11-07/minutes.md index 9277a0f..05373cd 100644 --- a/meetings/2024-11-07/minutes.md +++ b/meetings/2024-11-07/minutes.md @@ -3,10 +3,14 @@ ## Agenda * Welcome + * [Minutes/actions from previous meeting](../2024-10-10/minutes.md) + * Proposal/vote on Pravek Sharma becoming TSC rep + * Updates from related communities: * [PQCA](https://github.com/PQCA) * [Open Quantum Safe](https://github.com/open-quantum-safe) + * Review status of sub projects: * [mlkem-c-generic](https://github.com/pq-code-package/mlkem-c-generic) * [initial code setup](https://github.com/pq-code-package/mlkem-c-generic/issues/4) @@ -15,6 +19,7 @@ * [mkkem-libjade](https://github.com/pq-code-package/mlkem-libjade) * [mlkem-rust-libcrux](https://github.com/pq-code-package/mlkem-rust-libcrux) * [documentation](https://github.com/pq-code-package/documentation) + * Discussion (if not covered previously) * [OpenSSL CLA](https://github.com/pq-code-package/tsc/issues/113) * [mlkem-native #105](https://github.com/pq-code-package/tsc/issues/105) @@ -22,5 +27,6 @@ * [randombytes() #86](https://github.com/pq-code-package/tsc/issues/86) * [serialized vs deserialized #4](https://github.com/pq-code-package/tsc/issues/4) * [Other Open TSC issues](https://github.com/orgs/pq-code-package/projects/4/views/1) + * Any other business * meeting time (1300 UTC) after summer->winter time From 2cb420a8d284e2feaf2881008e598e8a15c5e44f Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Wed, 6 Nov 2024 18:33:27 +0000 Subject: [PATCH 3/5] Correct link to previous minutes Signed-off-by: Nigel Jones --- meetings/2024-11-07/minutes.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/meetings/2024-11-07/minutes.md b/meetings/2024-11-07/minutes.md index 05373cd..1762132 100644 --- a/meetings/2024-11-07/minutes.md +++ b/meetings/2024-11-07/minutes.md @@ -4,8 +4,8 @@ * Welcome -* [Minutes/actions from previous meeting](../2024-10-10/minutes.md) - * Proposal/vote on Pravek Sharma becoming TSC rep +* [Minutes/actions from previous meeting](../2024-11-24/minutes.md) + * Proposal/vote on Pravek Sharma joining TSC * Updates from related communities: * [PQCA](https://github.com/PQCA) From 57d843c5895b5c11e6886d0398e4786e179aa965 Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Thu, 7 Nov 2024 10:16:18 +0000 Subject: [PATCH 4/5] Additional agenda items for 20241107 Signed-off-by: Nigel Jones --- meetings/2024-11-07/minutes.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/meetings/2024-11-07/minutes.md b/meetings/2024-11-07/minutes.md index 1762132..e52faf0 100644 --- a/meetings/2024-11-07/minutes.md +++ b/meetings/2024-11-07/minutes.md @@ -21,10 +21,11 @@ * [documentation](https://github.com/pq-code-package/documentation) * Discussion (if not covered previously) - * [OpenSSL CLA](https://github.com/pq-code-package/tsc/issues/113) - * [mlkem-native #105](https://github.com/pq-code-package/tsc/issues/105) - * [liboqs usage #103](https://github.com/pq-code-package/tsc/issues/103) - * [randombytes() #86](https://github.com/pq-code-package/tsc/issues/86) + * [Requiring OpenSSL CLA #113](https://github.com/pq-code-package/tsc/issues/113) + * [Renaming of mlkem-native #105](https://github.com/pq-code-package/tsc/issues/105) + * [Working towards liboqs usage #103](https://github.com/pq-code-package/tsc/issues/103) + * [FIP203 - 7 function api #4](https://github.com/pq-code-package/tsc/issues/4#issuecomment-2456391348) + * [Do we supply randombytes() #86](https://github.com/pq-code-package/tsc/issues/86) * [serialized vs deserialized #4](https://github.com/pq-code-package/tsc/issues/4) * [Other Open TSC issues](https://github.com/orgs/pq-code-package/projects/4/views/1) From 838b3cb81926608f9cb15b9afc6c525e2e2b6ba3 Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Thu, 7 Nov 2024 12:54:34 +0000 Subject: [PATCH 5/5] reordering of agenda items for 20241107 Signed-off-by: Nigel Jones --- meetings/2024-11-07/minutes.md | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/meetings/2024-11-07/minutes.md b/meetings/2024-11-07/minutes.md index e52faf0..c40367c 100644 --- a/meetings/2024-11-07/minutes.md +++ b/meetings/2024-11-07/minutes.md @@ -5,28 +5,27 @@ * Welcome * [Minutes/actions from previous meeting](../2024-11-24/minutes.md) - * Proposal/vote on Pravek Sharma joining TSC + * Proposal/vote on Pravek Sharma joining TSC. + * Note that the generic repo is now archived. * Updates from related communities: * [PQCA](https://github.com/PQCA) * [Open Quantum Safe](https://github.com/open-quantum-safe) * Review status of sub projects: - * [mlkem-c-generic](https://github.com/pq-code-package/mlkem-c-generic) - * [initial code setup](https://github.com/pq-code-package/mlkem-c-generic/issues/4) - * [mlkem-c-embedded](https://github.com/pq-code-package/mlkem-c-embedded) - * [mlkem-c-aarch64](https://github.com/pq-code-package/mlkem-c-aarch64) + * [mkkem-libjade](https://github.com/pq-code-package/mlkem-libjade) * [mlkem-rust-libcrux](https://github.com/pq-code-package/mlkem-rust-libcrux) - * [documentation](https://github.com/pq-code-package/documentation) + * [mlkem-c-embedded](https://github.com/pq-code-package/mlkem-c-embedded) + * [mlkem-c-aarch64](https://github.com/pq-code-package/mlkem-c-aarch64) * Discussion (if not covered previously) - * [Requiring OpenSSL CLA #113](https://github.com/pq-code-package/tsc/issues/113) + * [Renaming of mlkem-native #105](https://github.com/pq-code-package/tsc/issues/105) - * [Working towards liboqs usage #103](https://github.com/pq-code-package/tsc/issues/103) * [FIP203 - 7 function api #4](https://github.com/pq-code-package/tsc/issues/4#issuecomment-2456391348) - * [Do we supply randombytes() #86](https://github.com/pq-code-package/tsc/issues/86) - * [serialized vs deserialized #4](https://github.com/pq-code-package/tsc/issues/4) + * [Working towards liboqs usage #103](https://github.com/pq-code-package/tsc/issues/103) + * [Do we supply randombytes() #86](https://github.com/pq-code-package/tsc/issues/86) - NO/test-only / close ? + * [Requiring OpenSSL CLA #113](https://github.com/pq-code-package/tsc/issues/113) * [Other Open TSC issues](https://github.com/orgs/pq-code-package/projects/4/views/1) * Any other business