Coin Journal (Aug. 2) -- KEVM, a framework developed by the University of Illinois at Urbana-Champaign (UIUC) with support from IOHK, has won this year’s IC3-Ethereum Crypto Boot Camp, a blockchain development event and competition. The team has modeled the world’s first complete, fully executable formal semantics of the Ethereum Virtual Machine (EVM), and produced the KEVM framework, which allows for formal execution, analysis, and verification of EVM smart contracts.