CBMC: State + prove spec for `crypto_kem_keypair_derand` and `crypto_kem_keypair`

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 mkannwischer closed 1 week ago

hanno-becker commented 1 week ago

crypto_kem_keypair_derand is already done