# Runtime Verification and IOHK Launch Virtual Machine for Blockchains
Author:  Pal Sinha, Barnali 
Author URL: https://financedigest.com/author/pal-sinha-barnali
Published: 2017-12-20
Category: TECHNOLOGY
Category URL: https://financedigest.com/category/technology
Meta Title: IELE: Secure Smart Contracts in Cardano Blockchain
Meta Description: IELE, developed by RV and IOHK, offers high security for smart contracts in Cardano. Backed by years of research, IELE ensures reliability and scalability.
URL: https://financedigest.com/runtime-verification-and-iohk-launch-virtual-machine-for-blockchainshtml

![undefined](https://prod.superblogcdn.com/site_cuid_cm5qst7v3003gwirgwqtxn8i8/images/fd201217-6-1736843126884-compressed.jpg)

_Technology will execute secure smart contracts in third-generation blockchain Cardano_

[Runtime Verification](https://runtimeverification.com/) (RV), a University of Illinois startup founded by computer science professor Grigore Rosu, and [IOHK](https://iohk.io/), a leading blockchain research and development company, have announced the official release of IELE, a next-generation virtual machine for the blockchain. The technology will be deployed over the coming months in Cardano, a top ten cryptocurrency by market cap, designed and built by IOHK. IELE brings a high level of security and dependability to blockchain systems and reduces the risk of vulnerabilities that can lead to hacks.

Professor Grigore Rosu, said: “IELE is the crown jewel of our [research over the past decade, combining our experience in designing and formalizing many programming languages and virtual machines, with the latest, cutting-edge research in formal semantics and program analysis](https://www.financedigest.com/sand-washer-market-forecast-and-trends-analysis-research-report-2021-to-2031.html "Sand Washer Market Forecast and Trends Analysis Research Report 2021 to 2031") and verification.

“IELE is a critical component of a large-scale research and [development project funded](https://www.financedigest.com/sommet-education-partners-with-kingdom-of-saudi-arabias-tourism-development-fund.html "Sommet Education partners with Kingdom of Saudi Arabia’s Tourism Development Fund") by IOHK, whose ultimate objective is to set, by example, a high standard for the third generation of cryptocurrencies in terms of scalability, security, and programmability.”

The IOHK [research and development](https://www.financedigest.com/research-and-technological-innovations-to-bolster-developments-in-animal-model-market.html "Research and Technological Innovations to Bolster Developments in Animal Model Market") team worked closely with RV and with several students at the University of Illinois, led by Professor Rosu, to develop IELE to the highest mathematical standards using formal methods and state-of-the-art programming language theory. IELE’s design, definition, and implementation follow a semantics-first approach to implement the verification of smart contracts.

Professor Rosu said: “Working with IOHK on this project has given us access to resources and the [opportunity to work with some of the brightest minds in the cryptography industry](https://www.financedigest.com/plant-based-beverages-market-growth-opportunities-industry-analysis-size-share-geographic-segmentation-and-competitive-landscape-report-to-2028.html "Plant-based Beverages Market Growth Opportunities, Industry Analysis, Size, Share, Geographic Segmentation And Competitive Landscape Report To 2028"). With this support, we were able to build a next-generation virtual [machine that will optimize and secure smart](https://www.financedigest.com/walk-in-coolers-and-freezers-market-preference-for-customized-and-smart-machines-growing.html "Walk-in Coolers and Freezers Market: Preference for Customized and Smart Machines Growing") contract interactions, bringing an added level of reliability to advanced blockchain systems. We will [continue to build](https://www.financedigest.com/building-and-construction-to-continue-accounting-for-nearly-half-of-tower-cranes-sales-globally-fmi.html "Building and Construction to Continue Accounting for Nearly Half of Tower Cranes Sales Globally: FMI") on our achievements to optimize our virtual machine and give it additional real-world use cases.”

Charles Hoskinson, CEO of IOHK, said: “I’m incredibly proud to launch IELE in a partnership between Runtime Verification and IOHK. RV is the leader in its field and has honed its expertise through years working with NASA, Boeing, Toyota, and many others. IELE is [game changing](https://www.financedigest.com/how-technology-is-changing-the-game-in-construction.html "How Technology is Changing the Game in Construction") when it comes to executing smart contracts. It is highly secure, and its advanced functionality will include backwards compatibility with many programming languages.”

IELE will serve as a uniform, lower-level platform for translating and [executing smart contracts from higher level](https://www.financedigest.com/zivver-expands-leadership-team-names-three-new-c-level-executives.html "Zivver Expands Leadership Team, Names Three New C-level Executives") languages. The [technology will also make it easier to develop automated techniques that mathematically verify and prove](https://www.financedigest.com/the-diabetic-socks-market-to-prove-its-servility-to-technological-advancements.html "The Diabetic Socks Market To Prove Its Servility To Technological Advancements") smart contracts are correct, creating a simplified system for writing secure smart contracts. In addition, IELE will provide a uniform [gas model across](https://www.financedigest.com/russia-strikes-cities-across-ukraine-gas-supplies-in-focus.html "Russia strikes cities across Ukraine, gas supplies in focus") all programming languages, creating a general design philosophy for gas calculations. IELE was inspired by LLVM, a compiler infrastructure and collection of tools that are used to construct, optimize and produce intermediate and binary machine code. IELE is a variant of LLVM specialized to execute smart contracts on the blockchain.

In the coming months, IELE will be deployed on the Cardano blockchain to optimize Ada transactions.


---
This blog is powered by Superblog. Visit https://superblog.ai to know more.
---