From f611033b3a2d82f19289263c93e5f856bb531cd5 Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Fri, 22 Nov 2024 18:09:28 +0000 Subject: [PATCH 1/5] 20241107 minutes Signed-off-by: Nigel Jones --- meetings/2024-10-24/minutes.md | 2 +- meetings/2024-11-07/minutes.md | 102 ++++++++++++++++++++++++++++++++- meetings/2024-11-21/minutes.md | 29 ++++++++++ 3 files changed, 131 insertions(+), 2 deletions(-) create mode 100644 meetings/2024-11-21/minutes.md diff --git a/meetings/2024-10-24/minutes.md b/meetings/2024-10-24/minutes.md index b9ce6f8..f42e1c5 100644 --- a/meetings/2024-10-24/minutes.md +++ b/meetings/2024-10-24/minutes.md @@ -25,7 +25,7 @@ * liboqs representative * meeting schedule/duration - ## Welcome +## Welcome ## Minutes/actions from previous meeting diff --git a/meetings/2024-11-07/minutes.md b/meetings/2024-11-07/minutes.md index c40367c..ff346e3 100644 --- a/meetings/2024-11-07/minutes.md +++ b/meetings/2024-11-07/minutes.md @@ -4,7 +4,7 @@ * Welcome -* [Minutes/actions from previous meeting](../2024-11-24/minutes.md) +* [Minutes/actions from previous meeting](../2024-10-24/minutes.md) * Proposal/vote on Pravek Sharma joining TSC. * Note that the generic repo is now archived. @@ -30,3 +30,103 @@ * Any other business * meeting time (1300 UTC) after summer->winter time + + ## Welcome + +* We welcomed + * Peter Schwabe (Max Planck Institute) - involved in PQCA/PQCP kickoff. + * Guncha Malik (IBM) - from IBM Cloud. + +## Minutes/actions from previous meeting + +* Pravek Sharma has been voted in (offline) as a PQCP TSC Voting member. As a member of the OQS TSC he will be particularly focussed on ensuring good communication between the projects, as Douglas Steibla did previously. + +### Updates from related communities + +#### PQCA + +No update. Nigel was unable to attend the PQCA this week. + +#### OQS + +* Bringing in updates for the latest ML-DSA FIPS spec, including update the context string. +* Talks underway on SLH-DSA. +* oqs provider - Code points updated, composite strings update, update in next week. +* Demos - contributor bring in profiling based on Locust - could be useful in filling in current profiling gaps in oqs. +* Pravek also asked if there was specific information the pqcp tsc would find useful +* some discussions to integrate mlkem-native, maybe rust/crux. OQS falling behind in IETF hackathon, so needs to get the standard algorithms implementations in first. Once done can integrate other upstreams. + +### Review of subprojects + +No updates on libjade, libcrux, or embedded. + +### mlkem-native (was mlkem-c-aarch64) + +* Main focus is becoming a generic implementation. +* Agreed renaming to mlkem-native. +* Peter introduced discussion on API changes: + * NIST competition was based on 3 function API - as done in prior competitions. + * Input validation is required, yet not covered by API - meaning in machine readable terms? + * Explicit API already implemented by BoringSSL & others + * 7 function API can address validation, efficiently + * _Listen to the recording for the full, detailed discussion on specific issues, performance, solutions_ + * Important we consult with NIST & ultimately get some public clarity. + * OQS also looking at additional APIs. Pravek will discuss with Douglas. + * See [issue #4](https://github.com/pq-code-package/tsc/issues/4) + * would want to adopt a similar approach in implementations like libjade, libcrux - get input from Franziskus. + * Initial release + * mlkem-native will working on alpha release soon to get feedback on library usability, platform specific issues, API. + * API changes will not gain consensus in 2 weeks - so not included. + * Lots of progress on formal verification with CBMC & assembly, but no specific targets for alpha release. + * Should think about how much we need to publicize/target - blog? + +#### Open TSC issues + +* [#86](https://github.com/pq-code-package/tsc/issues/86) - agreed to close +* [[#113](https://github.com/pq-code-package/tsc/issues/113)] - proposal that all previous, current, future contributors need to agree to OpenSSL CLA, so that they can consider usage of pqcp. Nigel will add link to CLA. Please review + +### Any other business + +* Meeting time: difficult for west-coast US. Agreed to stick with current time. Any discussion can happen in forums. +* Pairwise consistency check - seems unnecessary. Not an issue for static keys, but a lot of current usage is ephemeral. Could adopt key caching. Standard indicates check is every time. Peter will probe NIST prior to public discussion. Matthias offered to write public post at a future appropriate time. + +#### Releases + +#### liboqs representative + +## Action items + +### New + +### Outstanding + +### Completed + +## 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-21 1300 UTC. + +[Please check the calendar](https://pqca.org/calendar/) + +## Attended by + +### TSC voting members + +* [ ] [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] [Pravek Sharma](https://github.com/praveksharma), University of Waterloo +* [ ] [Douglas Stebila](https://github.com/dstebila), University of Waterloo + +### Additional attendees + +* Peter Schwabe, Max Planck Institute +* Guncha Malik,IBM diff --git a/meetings/2024-11-21/minutes.md b/meetings/2024-11-21/minutes.md new file mode 100644 index 0000000..02513ac --- /dev/null +++ b/meetings/2024-11-21/minutes.md @@ -0,0 +1,29 @@ +# 2024-11-21 : TSC Minutes + +## Agenda + +* Welcome + +* [Minutes/actions from previous meeting](../2024-11-07/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-libjade](https://github.com/pq-code-package/mlkem-libjade) + * [mlkem-rust-libcrux](https://github.com/pq-code-package/mlkem-rust-libcrux) + * [mlkem-native](https://github.com/pq-code-package/mlkem-c-embedded) + +* Discussion (if not covered previously) + + * [Renaming of mlkem-native #105](https://github.com/pq-code-package/tsc/issues/105) + * [FIP203 - 7 function api #4](https://github.com/pq-code-package/tsc/issues/4#issuecomment-2456391348) + * [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 + * meeting time (1300 UTC) after summer->winter time From 603cac2fb3423150b4d2277b33bd3933adce676b Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Sun, 24 Nov 2024 17:22:35 +0000 Subject: [PATCH 2/5] Initial minutes for 20241121 Signed-off-by: Nigel Jones --- meetings/2024-11-21/minutes.md | 91 +++++++++++++++++++++++++++++++++- 1 file changed, 90 insertions(+), 1 deletion(-) diff --git a/meetings/2024-11-21/minutes.md b/meetings/2024-11-21/minutes.md index 02513ac..42716f0 100644 --- a/meetings/2024-11-21/minutes.md +++ b/meetings/2024-11-21/minutes.md @@ -26,4 +26,93 @@ * [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 + + ## Welcome + +* Matthias welcomed everyone to the meeting. Nigel unable to join today + +## Minutes/actions from previous meeting + +### Updates from related communities + +#### PQCA + +None of today's attendees were at the PQCA meeting, so no update. + +#### OQS + +* Working on next OQS release including ML-DSA & a security advisory. +* Some discussions/issue around additional APIs, such as public key derivation from secret key. To be discussed as TSC, and community wants clarity from NIST before moving ahead. + +### Review of subprojects + +#### mlkem-c-libjade + +* Additional proofs finished on AVX rejection sampling code +* Tiago working on pushing things up from upstream to pqcp. +* Close to having a AVX2 implemention ready to go out. +* Will need to add new APIs as that general discussion continues. +* After this want to do arm verified implementations, & dilithium. Cortex-M4 to start, more powerful in future, also vectorization. + +### mlkem-native (was mlkem-c-aarch64) + +* Finished CMBC proofs for everything except SHA-3 (C code -> top level API). + * Absence of undefined behaviour, memory safety / no overflow. + * CMBC is pragmatic choice - assumed/guaranteed bounds of input/output. +* Release in next 2-3 weeks hopefully. + +#### Open TSC issues + +* [#105](https://github.com/pq-code-package/tsc/issues/105) Renaming - done +* [#4](https://github.com/pq-code-package/tsc/issues/4) API discussion ongoing. Gaining Consensus (maybe secret key->public key to be added). Plan to draft email for NIST (pqc forum/list) in issue with summary of discussion. +* [#103](https://github.com/pq-code-package/tsc/issues/103) No specific work on integration into OQS yet. (Pravek/Basil). After alpha. +* [#86](https://github.com/pq-code-package/tsc/issues/86) Random bytes - we should not have implementation / should close. +* [#113](https://github.com/pq-code-package/tsc/issues/113) OpenSSL - need individual and employer document. Relevant for mlkem-native, and for mlkem-c-libjade. Good time to do it comment in issue + +### Any other business + +* Releases / structure + * libjade + * will be AVX2 (perhaps x86) assembly + source code (single jasmin file) + header for C + docs. + * in future will expand as compiler adds new backends. + * user provides randombytes(). + * next year make it possible to reuse parts of implementations, not all of it. + * liboqs will be consuming from pqcp in future. + * mlkem-native + * source code only initially. considering a library. + * aarch64 has many keccak implementations... may need to determine at runtime in future. + * generally... more discussion on APIs and modularity. + +## Action items + +### New + +### Outstanding + +### Completed + +## 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-12-05 1300 UTC. + +[Please check the calendar](https://pqca.org/calendar/) + +## Attended by + +### TSC voting members + +* [ ] [Manuel Barbosa](https://github.com/mbbarbosa), University of Porto +* [X] [Hanno Becker](https://github.com/hanno-becker), AWS +* [ ] [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] [Pravek Sharma](https://github.com/praveksharma), University of Waterloo +* [ ] [Douglas Stebila](https://github.com/dstebila), University of Waterloo + +### Additional attendees From 1995e7ee9341c610df08eb6c6c0cc81f66a77249 Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Sun, 24 Nov 2024 17:31:30 +0000 Subject: [PATCH 3/5] Fix typos & omissions Signed-off-by: Nigel Jones --- meetings/2024-11-21/minutes.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/meetings/2024-11-21/minutes.md b/meetings/2024-11-21/minutes.md index 42716f0..e2e7a4d 100644 --- a/meetings/2024-11-21/minutes.md +++ b/meetings/2024-11-21/minutes.md @@ -50,15 +50,15 @@ None of today's attendees were at the PQCA meeting, so no update. * Additional proofs finished on AVX rejection sampling code * Tiago working on pushing things up from upstream to pqcp. -* Close to having a AVX2 implemention ready to go out. +* Close to having a AVX2 implementation ready to go out. * Will need to add new APIs as that general discussion continues. * After this want to do arm verified implementations, & dilithium. Cortex-M4 to start, more powerful in future, also vectorization. ### mlkem-native (was mlkem-c-aarch64) -* Finished CMBC proofs for everything except SHA-3 (C code -> top level API). +* Finished CBMC proofs for everything except SHA-3 (C code -> top level API). * Absence of undefined behaviour, memory safety / no overflow. - * CMBC is pragmatic choice - assumed/guaranteed bounds of input/output. + * CBMC is pragmatic choice - assumed/guaranteed bounds of input/output. * Release in next 2-3 weeks hopefully. #### Open TSC issues @@ -73,14 +73,14 @@ None of today's attendees were at the PQCA meeting, so no update. * Releases / structure * libjade - * will be AVX2 (perhaps x86) assembly + source code (single jasmin file) + header for C + docs. + * will be AVX2 (perhaps x86) assembly + source code (single Jasmin file) + header for C + docs. * in future will expand as compiler adds new backends. * user provides randombytes(). * next year make it possible to reuse parts of implementations, not all of it. * liboqs will be consuming from pqcp in future. * mlkem-native * source code only initially. considering a library. - * aarch64 has many keccak implementations... may need to determine at runtime in future. + * aarch64 has many Keccak implementations... may need to determine at runtime in future. * generally... more discussion on APIs and modularity. ## Action items @@ -105,7 +105,7 @@ None of today's attendees were at the PQCA meeting, so no update. ### TSC voting members -* [ ] [Manuel Barbosa](https://github.com/mbbarbosa), University of Porto +* [X] [Manuel Barbosa](https://github.com/mbbarbosa), University of Porto * [X] [Hanno Becker](https://github.com/hanno-becker), AWS * [ ] [Nigel Jones](https://github.com/planetf1), IBM * [X] [Matthias J. Kannwischer](https://github.com/mkannwischer), Chelpis Quantum Tech From 99ff3bd7f7c9f99d80b6ae782980a76f3ae6436d Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Thu, 5 Dec 2024 09:36:43 +0000 Subject: [PATCH 4/5] TSC: added previous minutes/agenda Signed-off-by: Nigel Jones --- meetings/2024-11-21/minutes.md | 2 +- meetings/2024-12-05/minutes.md | 27 +++++++++++++++++++++++++++ meetings/index.md | 2 ++ 3 files changed, 30 insertions(+), 1 deletion(-) create mode 100644 meetings/2024-12-05/minutes.md diff --git a/meetings/2024-11-21/minutes.md b/meetings/2024-11-21/minutes.md index e2e7a4d..8997b38 100644 --- a/meetings/2024-11-21/minutes.md +++ b/meetings/2024-11-21/minutes.md @@ -27,7 +27,7 @@ * Any other business - ## Welcome +## Welcome * Matthias welcomed everyone to the meeting. Nigel unable to join today diff --git a/meetings/2024-12-05/minutes.md b/meetings/2024-12-05/minutes.md new file mode 100644 index 0000000..9b79884 --- /dev/null +++ b/meetings/2024-12-05/minutes.md @@ -0,0 +1,27 @@ +# 2024-11-21 : TSC Minutes + +## Agenda + +* Welcome + +* [Minutes/actions from previous meeting](../2024-11-21/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-libjade](https://github.com/pq-code-package/mlkem-libjade) + * [mlkem-rust-libcrux](https://github.com/pq-code-package/mlkem-rust-libcrux) + * [mlkem-native](https://github.com/pq-code-package/mlkem-c-embedded) + +* Discussion (if not covered previously) + + * mlkem-native alpha release / blog post + * [FIP203 - 7 function api #4](https://github.com/pq-code-package/tsc/issues/4#issuecomment-2456391348) + * [Working towards liboqs usage #103](https://github.com/pq-code-package/tsc/issues/103) + * [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 diff --git a/meetings/index.md b/meetings/index.md index 65abe1d..922a1dc 100644 --- a/meetings/index.md +++ b/meetings/index.md @@ -1,5 +1,7 @@ # Minutes and agenda +* 2024-12-05 : [agenda/minutes](2024-12-05/minutes.md) (combined minutes/agenda) +* 2024-11-21 : [agenda/minutes](2024-11-21/minutes.md) (combined minutes/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) From 2ce02cf58d7134144d3d07c3e7a830a1e2e6c1ac Mon Sep 17 00:00:00 2001 From: Nigel Jones Date: Thu, 5 Dec 2024 09:39:43 +0000 Subject: [PATCH 5/5] TSC: added agenda item for dec meetings Signed-off-by: Nigel Jones --- meetings/2024-12-05/minutes.md | 1 + 1 file changed, 1 insertion(+) diff --git a/meetings/2024-12-05/minutes.md b/meetings/2024-12-05/minutes.md index 9b79884..92d6d64 100644 --- a/meetings/2024-12-05/minutes.md +++ b/meetings/2024-12-05/minutes.md @@ -23,5 +23,6 @@ * [Working towards liboqs usage #103](https://github.com/pq-code-package/tsc/issues/103) * [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) + * Meetings : Dec 19, Jan 2 - any changes/cancellations needed? * Any other business