Crypto-Technical Series: Bitcoin Staged For 8th Consecutive Weeks’ Rallies, Long Hedges As BTC Reclaims $10k With Resounding Engulfing
Blockchain Revolution Series: IBM Unveils New Blockchain Platform To Assist Emergency Inventories For Covid-19 Care
Digital Currency/Stablecoin/Tokenization Series: Facebook’s Libra Gets Support From Singapore-Based Investors’ Consortium
Digital Currency Revolution Series: Argentina Soccer Federation Unveils Native-Crypto To Assist Esports Venture
Cryptocurrency Derivatives Series: Uphold BTC Long Hedges As Bitcoin On Verge Of 7th Consecutive Weeks Rallies Breakout Stiff Resistance
Cryptocurrency Derivatives series: Quick Run Through On Bitcoin Hedging Dynamics On Renewed Sentiments Ahead of Halving Event
Cryptocurrency Derivatives Series: Block-Halving & Open Interest Factors Drive Bitcoin Price To $10k Trajectory, Long Hedges Intact
Blockchain Revolution Series: Tencent Holdings To Invest Huge For Tech-Infra Including Blockchain, AI & Cyber Security
Digital Currency Revolution Series: A Glimpse At Scope For Potential Digital Forms Of Euro, Dollar & Yuan Amid Pandemic Covid-19 Crisis
Cryptocurrency Derivatives Series: Bitcoin Reclaims $7.5k But Flirts With Stiff Resistance – Options Analytics To Hedge
Digital Currency Revolution Series: Bank of France Successfully Pilots Blockchain-Driven Digital Euro
Regulatory Series on Cryptocurrencies: US-SEC Charges Dropil INC With Fraudulent Crypto Trade Advices
IOHK’s UIUC project builds 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 a fully-executable formal semantics of the Ethereum Virtual Machine (EVM).
According to the official release, the research produced an innovative framework, called KEVM, for formal execution, analysis, and verification of EVM smart contracts.
KEVM was selected as the winner of the immersive, week-long blockchain development event “IC3-Ethereum Crypto Boot Camp”, conducted by the Ethereum Foundation and the Initiative for Cryptocurrencies and Contracts (IC3). Led by Professor Grigore Rosu and his PhD student Everett Hildenbrandt, the IOHK-funded KEVM research project competed against nine other world-leading teams to emerge the winner.
“I am delighted to announce KEVM, the first complete and fully executable formal semantics of the Ethereum Virtual Machine. KEVM, which allows us to formally verify properties of EVM-based smart contracts in a correct-by-construction and cost-effective manner, is significant because Ethereum users need the guarantees of formal verification to safeguard against financial losses due to software bugs. This work serves as a foundation for the development of new smart contract analysis tools; more importantly, it gives us invaluable insight on how to design better programming languages for smart contracts,” Prof. Rosu of the UIUC’s Siebel Center for Computer Science and CEO of Runtime Verification said.
IOHK further stated that KEVM not only passes the official 40,683-test stress test suite for EVM implementations, but also reveals ambiguities and potential sources of error in the existing on-paper formalization of EVM semantics.
“KEVM has demonstrated that our unique approach based on K formal executable semantics is feasible and not computationally restrictive. We hope our work serves as a strong basis for the development of a wide range of useful, formally-derived tools for Ethereum, like model checkers, certified compilers, and program equivalence checkers,” Prof. Rosu added.
Development of KEVM continues to be open-source, in line with IOHK’s mission to improve and mature the blockchain industry as a whole.
“This research has given us a great degree of insight into what one should do to redesign the EVM to make it more secure, faster, and more efficient. It will now be easier to build tooling for the EVM, such as verified compilers. This white paper is the result of our first wave of research into this area. Based on this research, IOHK will begin building prototypes and our hope is to have an EVM 2.0 ready next year, as part of Cardano, a product we are currently building,” IOHK CEO Charles Hoskinson said.
FxWirePro launches Absolute Return Managed Program. For more details, visit http://www.fxwirepro.com/invest