Toot

Written by Frederic Jacobs on 2024-08-19 at 07:07

Google adopts @cryspen's formally verified libcrux Rust implementations for ML-KEM and post-quantum algorithms.

“These implementations will be AVX2-optimized, verified in F* and translated into C." for use by Google, and beyond.

Congrats @franziskus & team!

https://bughunters.google.com/blog/6038863069184000/formally-verified-post-quantum-algorithms

=> More informations about this toot | View the thread | More toots from fj@mastodon.social

Mentions

=> View cryspen@ioc.exchange profile | View franziskus@mastodon.social profile

Tags