A place for talking about the Ethereum Virtual Machine on Farcaster.

Where are we at with formal verification of Solidity code? Any new state of the art resources?

Paging @karma, who works on https://github.com/a16z/halmos.

From my perspective as a dev, it's getting easier to use them in real projects alongside fuzz and unit tests. A few newer tools:

Halmos: https://github.com/a16z/halmos
Kontrol: https://docs.runtimeverification.com/kontrol/
Certora: https://docs.certora.com/

/// echo.xyz ///
math && econ && cryptography

palinatolmach.twitter gave a good talk comparing some tools at DeFi Security Summit earlier this year: https://www.youtube.com/watch?v=Kjs0ZiZ7m9k

More info here:

I'm eth newbie..just learning
(working on @farcaster)

terminally.online

palinatolmach.twitter gave a good talk comparing some tools at DeFi Security Summit earlier this year: https://www.youtube.com/watch?v=Kjs0ZiZ7m9k

More info here: https://hackmd.io/@SaferMaker/EVM-Sym-Exec