Mastodon Feed
nadim@infosec.exchange ("Nadim Kobeissi") wrote:
Exciting news for all cryptography enthusiasts and engineers! The new Hax Playground by @cryspen is a game-changer, making formal methods in cryptography more accessible than ever.
With Hax, you can write in a subset of Rust and seamlessly compile it to F*, ProVerif, and other powerful tools. This isn’t just another IDE; it’s a browser-based platform for experimenting with formally verified cryptography.
Whether you're diving into complex protocols or just starting out, Hax Playground makes high-assurance cryptography tangible and practical.
Check it out here: https://hax-playground.cryspen.com