hax & hacspec

A Rust verification tool

Introducing hax 🎂

This has been in the making for a while now. But we are finally happy to announce the first release of hax. It is still early days and we only tagged v0.1. But a ton of work has gone into this release. Wait, what is hax? Let’s start at the beginning. A group of us started hacspec (high assurance crypto specifications), a language for specifying cryptographic primitives as the basis for formal verification, in early 2018 at the HACS workshop....

October 20, 2023 · 7 min · Franziskus Kiefer & Lucas Franceschino