Ancestors

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 | More toots from fj@mastodon.social

Toot

Written by Franziskus on 2024-08-19 at 07:30

@fj @cryspen Thanks!

Stay tuned for more details on the implementation and proofs in a couple weeks.

=> More informations about this toot | More toots from franziskus@mastodon.social

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/112987512411556103
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
275.679898 milliseconds
Gemini-to-HTML Time
0.46766 milliseconds

This content has been proxied by September (3851b).