Our afternoon session at #FMBC starts with a keynote about verifying zkEVMs by Alexander Hicks from @ethereum.foundation
Diego Marmsoler
@dmarmsoler.bsky.social
22 followers 45 following 8 posts
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
