Building the Future of Ethereum

​Nethermind is at the forefront of blockchain research and engineering. Ilia will cover Clear, which is a Lean-based framework we are developing at Nethermind for proving security properties of Solidity smart contracts. In the talk I will give an overview of SOTA of industrial formal verification, choices we made while developing Clear, its architecture, and typical workflow to formally verify a smart contract.