Blockchain Project Produces Complete Formal Semantics of Ethereum Virtual Machine
Blockchain research and development company IOHK has announced that its research project with the University of Illinois at Urbana-Champaign (UIUC) has modelled complete, fully-executable formal semantics of the Ethereum Virtual Machine (EVM). The research produced a framework, called KEVM, for formal execution, analysis, and verification of EVM smart contracts.
The Ethereum Foundation and IC3, an initiative of faculty members at Cornell University, Cornell Tech, UC Berkeley, the University of Illinois at Urbana-Champaign, and the Technion, selected KEVM as the winner of its week-long blockchain development event called the ‘IC3-Ethereum Crypto Boot Camp’. Led by Professor Grigore Rosu and PhD student Everett Hildenbrandt, the IOHK-funded KEVM research project competed against nine other teams to emerge the winner.