For the past couple of months as part of my Masters in CS at Imperial, I’ve been developing EthCon Viewer, a versatile visualisation tool for Ethereum Smart Contracts. What follows is the abstract from my thesis: The Ethereum Virtual Machine (EVM) is a trustless deterministic Turing complete distributed computer which…