Derek

Kind of surreal to be cited in Anthropic's FlashProve release 👀 🫢

A consensus is forming on the fact that the hardest part about formal verification is writing a good specification. I have written about metaspecifications before, which at the time felt a little over-the-top, but now feels more and more like the clear solution path. (Link below)

This was a hard-won insight of my PhD, I'm currently feeling vindicated 😀

There are no fewer than TEN sessions tomorrow at Devcon on formal verification 🔥😎
👇

*STRONG* FV energy at Devcon today 🦾

Help us get the fastest and most secure implementation of the EVM! 🚀

evm.fast