Skip to content

Conversation

@mkannwischer
Copy link
Contributor

This is the draft agenda for this weeks TSC meeting scheduled for 2026-01-08 13:00 UTC

@pq-code-package/pqcp-tsc, please indicate with a 👍 if you are planning to attend this meeting.
If no quorum (4 attendees with voting rights) is expected by 2026-01-08 10:00 UTC, the meeting will be cancelled and votes will be held on Github instead.

Signed-off-by: Matthias J. Kannwischer <[email protected]>
Signed-off-by: Matthias J. Kannwischer <[email protected]>
@hanno-becker
Copy link
Contributor

I am not planning to attend the meeting this time due to my own work deadlines.

@hanno-becker
Copy link
Contributor

Some highlights from mlkem-native:

  • All x86 assembly is now verified using HOL-Light, including the NTTs and rejection sampling; this was done by my colleagues @jargh @dkostic.
  • We have made allocation configurable, allowing users to switch between stack, heap, or other forms of allocation.

@mkannwischer
Copy link
Contributor Author

@pq-code-package/pqcp-tsc
Since only @mbbarbosa and I have time today, the TSC meeting will be canceled and we move decisions to this github issue.

Apologies for the late notice.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

3 participants