Update README.md - Githubissues

pq-code-package / mlkem-native

High-assurance, high-performance ML-KEM implementation for mobile, pc, and server targets

Apache License 2.0

11 stars 9 forks source link

Closed hanno-becker closed 1 week ago

hanno-becker commented 1 week ago

Depends on completion of CBMC work for mlkem/.

@mkannwischer Can you have a look?

hanno-becker commented 1 week ago

This will be merged with #400