KEVM Wins IC3-Ethereum Crypto Boot Camp 2017 Competition

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 […]
This post KEVM Wins IC3-Ethereum Crypto Boot Camp 2017 Competition first appeared on Coinjournal.