Embed Notice

@soatok Nice blog-post! As a formal methods nerd it was a really enjoyable read.

I was wondering if hacspec would allow you to derive ProVerif models directly. In the end, it's just a subset of Rust you can transform into other languages, such as F* and Rocq. But I don't see how these languages give you any better guarantees about your specification. I guess there are some tools like DY* that could be useful?

I guess I'm just thinking out loud. Cool setup!