Join Our Mailing List
Wednesday February 08, 2023
Bitcoin (BTC) $23,203.22   Ethereum (ETH) $1,672.13
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Investment Management
    • M&A
    • Mining
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
Trezor Model T
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas
Home Blockchain Technology

IOHK launches IELE virtual machine testnet for Cardano blockchain

Published by CryptoNinjas.net
07/30/2018
IOHK launches IELE virtual machine testnet for Cardano blockchain

IOHK, the blockchain research, and development company behind the Cardano blockchain cryptocurrency today announced the launch of the testnet for the IELE virtual machine. This technology is the next step in the Cardano roadmap for smart contract development and will allow developers to learn and hone their skills before launching their programs on the Cardano mainnet.

The highly scalable IELE virtual machine offers a more robust and reliable infrastructure for the creation of smart contracts, compared to other technology on the market. IELE facilitates enterprise smart contract adoption on the Cardano platform by providing secure financial infrastructure fit to carry high value.

The IELE testnet was launched in partnership with Runtime Verification (RV), a technology research and development startup based at the University of Illinois at Urbana-Champaign (UIUC). The formal verification techniques developed by RV eliminate some kinds of bugs, which have resulted in losses totaling hundreds of millions of dollars from poorly drafted smart contracts code. Over the past 15 years, RV has helped clients including Boeing, NASA, and Microsoft use these techniques to create secure, mission-critical software. The partnership with IOHK marked the first time these techniques have been brought to the blockchain industry.

The IELE virtual machine was custom-built for Cardano’s third-generation blockchain protocol. IELE will be the first smart contracts virtual machine to use formal semantics, which delivers improved security and performance for writing smart contracts. In addition, this approach opens the door for future support for a broad array of high-level programming languages, which marks an industry first for any blockchain-backed virtual machine.

Prof. Grigore Rosu, professor of Computer Science at UIUC and CEO of Runtime Verification said: “One of the driving forces behind the initial design of IELE was to facilitate the creation of more reliable and robust smart contracts and to prevent errors in code that can lead to large-scale hacks. IELE was designed from scratch using formal methods, following the same approach we previously used to formalize the KEVM semantics. The IELE virtual machine is generated from its formal semantics completely automatically, allowing no room for programming errors. With no gap between its formal semantics and implementation, IELE enables mathematical proofs of the accuracy and security of smart contracts. IELE smart contracts are also human readable, making them easy for businesses to adopt and use.”

Developers who write smart contracts in Solidity on the Ethereum virtual machine will be able to test the same contracts on the IELE testnet. This is achieved using a compiler that translates Solidity code into IELE. The IELE virtual machine ecosystem will eventually include compilers that facilitate the use of other high-level programming languages.

“Developers will have far better security and performance with smart contracts on Cardano, thanks to our work with Runtime Verification. I’m delighted to bring this technology into the industry as everyone benefits when blockchain matures into solid and dependable infrastructure people can trust, without fear of bugs or flaws.”

Charles Hoskinson, CEO of IOHK

The launch of the IELE testnet follows the May 2018 release of the KEVM testnet, a correct by construction version of the Ethereum Virtual Machine (EVM), specified in the K framework. Also developed in partnership with Runtime Verification, the KEVM launch represented the first instance of a complete formal semantics of the EVM.

To access the testnet, visit testnet.iohkdev.io.

64
SHARES
FacebookTwitterLinkedinRedditE-MailTelegram

Related News

Most consequential Cardano upgrade since smart contracts readying for launch

07/04/2022
Most consequential Cardano upgrade since smart contracts readying for launch

The Cardano blockchain platform has now successfully completed the first stage in its most significant update since it introduced smart contracts two years ago, bringing increased network capacity, richer applications, improved interoperability, and faster...

Read more

Input Output launches suite of sidechains for Cardano blockchain

06/20/2022
Input Output launches suite of sidechains for Cardano blockchain

A new Cardano EVM Sidechain for Solidity is set to bring interoperability between Cardano and Ethereum. The Ethereum Virtual Machine (EVM) is the virtual computer system at the heart of the Ethereum blockchain’s operating...

Read more

Wave Financial launches $100M ADA Yield Fund to support Cardano’s DeFi growth

04/01/2022
Wave Financial launches $100M ADA Yield Fund to support Cardano's DeFi growth

Wave Financial LLC (Wave), an SEC-regulated digital asset investment management company, has announced the launch of the Wave ADA Yield Fund. The fund is designed to provide liquidity with millions in line to support...

Read more

EMURGO to develop new dApp tool stack for Cardano blockchain

01/17/2022
EMURGO to develop new dApp tool stack for Cardano blockchain

EMURGO, the official commercial arm of Cardano and the Cardano Foundation, overseer of the Cardano blockchain, announced the launch of a project that will see the two organizations combine efforts and resources to foster...

Read more
Load More
Leave Comment

Where to Exchange

Leading crypto suite in Spain & LATAM Visit
European bitcoin exchange Visit
Swap & buy 150+ cryptocurrencies Visit
First U.S. regulated BTC exchange Visit
  • Trending
  • Latest
Trust Wallet launches anticipated browser extension of its crypto management app

Trust Wallet launches anticipated browser extension of its crypto management app

11/14/2022
ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

02/02/2023
Where Exactly Can You Spend Monero Cryptocurrency?

Where Exactly Can You Spend Monero Cryptocurrency?

10/20/2021
6 Best Cloud Mining Platform In 2022

6 Best Cloud Mining Platform In 2022

11/20/2022
ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

02/02/2023
Crypto derivatives exchange Deribit to put in place trade surveillance platform from Eventus

Crypto derivatives exchange Deribit to put in place trade surveillance platform from Eventus

01/24/2023
Crypto exchange Gemini launches new electronic OTC trading solution

Crypto exchange Gemini launches new electronic OTC trading solution

01/19/2023
Crypto securitization platform-GenTwo links to all Coinbase assets

Crypto securitization platform GenTwo links to all Coinbase assets

01/14/2023
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2023 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact
No Result
View All Result

© 2016 - 2023 CryptoNinjas Disclosures | Privacy Policy