-
Welcome
-
Updates from related communities:
-
Review status of sub projects:
-
Discussion (if not covered previously)
-
Any other business
- Matthias welcomed everyone to the meeting. Nigel unable to join today
None of today's attendees were at the PQCA meeting, so no update.
- 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.
- Additional proofs finished on AVX rejection sampling code
- Tiago working on pushing things up from upstream to pqcp.
- 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.
- Finished CBMC proofs for everything except SHA-3 (C code -> top level API).
- Absence of undefined behaviour, memory safety / no overflow.
- CBMC is pragmatic choice - assumed/guaranteed bounds of input/output.
- Release in next 2-3 weeks hopefully.
- #105 Renaming - done
- #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 No specific work on integration into OQS yet. (Pravek/Basil). After alpha.
- #86 Random bytes - we should not have implementation / should close.
- #113 OpenSSL - need individual and employer document. Relevant for mlkem-native, and for mlkem-c-libjade. Good time to do it comment in issue
- 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.
- libjade
- Recordings are available on your Open Profile page under Past Meetings.
- Next TSC meeting in 2 weeks, 2024-12-05 1300 UTC.
- 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