Recording now online! 🎥 At @protocol.berlin, I gave a hands-on workshop: "25-Minute Solidity Fuzzer: Fuzzing Smarter, Not Harder" 🎤 Build an EVM fuzzer in Python in 25’: + Better inputs + Smarter metrics (beyond # of runs) + Formal Methods mindset 🧠 Recording + blog: blltprf.xyz/blog/25-min-...

Getting ready for my #Solidity #fuzzing workshop at @protocol.berlin 🔥 Join me to build a practical EVM smart contract fuzzer in Python and see how a Formal Methods viewpoint can guide your approach to smart contract security testing. #EVM #SmartContracts #Security

1/ Distributed algorithms like blockchain consensus protocols are notoriously difficult 🤯 Too many combinations, too easy to miss bugs—fault-tolerance makes it worse. Tools like TLA+ & Apalache, Alloy, and CVC5 can help! Read our report: [arxiv.org/abs/2501.07958] 🧵