Subscribe to Our Newsletter
Monday August 15, 2022
Bitcoin (BTC) $24,841.66   Ether (ETH) $1,974.92
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Investment Management
    • M&A
    • Mining
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
No Result
View All Result
Easily Swap USDT (TRC20) & More
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
Koinly
CryptoNinjas
Home Blockchain Technology

First Cardano smart contracts testnet launches

Published by CryptoNinjas.net
05/28/2018
First Cardano smart contracts testnet launches

IOHK, the engineering company developing the Cardano blockchain, today announced that the first Cardano smart contracts testnet has launched. The KEVM testnet is a construction version of the Ethereum Virtual Machine (EVM) specified in the K framework.

This technology, produced by Runtime Verification with the support of IOHK, is the first time that a complete formal semantics of the EVM has been produced.

Gerard Moroney, Project Manager at IOHK:
“This is an important first in cryptocurrency that is a necessary step towards the promise of 3rd-generation blockchains.”

A smart contract allows you to exchange something of value – money, property, shares – by means of a software protocol. The terms of exchange are agreed upon by the parties involved in the same way as a traditional contract, and the contract is executed automatically on the blockchain.

Developers will be able to take any application that runs on the EVM and execute it on the KEVM, which can also be used to prove that smart contracts work correctly. This is done by formally specifying a contract’s desired properties in K, combining the contract with the KEVM specification, and then using the K framework to verify those properties.

The second Cardano testnet to launch will be IELE, which is a new virtual machine for Cardano. IELE will be launched in July and is a register-based virtual machine similar to LLVM with an unbounded number of registers, that supports unbounded integers. With IELE, developers can write, compile and execute smart contracts, with improved security and performance compared to the KEVM testnet.

For now, the IOHK team recommends that developers use the Solidity language on both testnets. However, the vision is that eventually smart contracts will be written in high-level languages that translate to IELE, such as new languages like Plutus (being developed by IOHK), but also existing languages such as Java or Python, and then IELE-to-IELE translators ensure the resulting code is optimal.

K was developed by Runtime Verification in collaboration with Professor Grigore Rosu’s Formal Systems Laboratory at the University of Illinois at Urbana-Champaign during the past 15 years, and incorporates the state of the art in language design, semantics, and formal methods. Smart contracts must be formally verified, so they run exactly as specified and are free from bugs or flaws. Only then can they be widely adopted as financial infrastructure that can be relied upon by billions of people.

432
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
ELLIPAL now supports Zcash (ZEC) for cold storage and trading

ELLIPAL now supports Zcash (ZEC) for cold storage and trading

01/14/2020
Crypto exchange Kraken's second reserves audit adds 5 new assets: USDT, USDC, XRP, ADA, and DOT

Crypto exchange Kraken’s second reserves audit adds 5 new assets: USDT, USDC, XRP, ADA, and DOT

08/12/2022
Brazil payment app PicPay launches new crypto exchange service with Paxos technology

Brazil payment app PicPay launches new crypto exchange service with Paxos technology

08/10/2022
Tetrix and Pitaka crypto wallet launch ‘Tetrix Link’ to digitize contact exchange

Tetrix and Pitaka crypto wallet launch ‘Tetrix Link’ to digitize contact exchange

08/09/2022
Crypto exchange Kraken's second reserves audit adds 5 new assets: USDT, USDC, XRP, ADA, and DOT

Crypto exchange Kraken’s second reserves audit adds 5 new assets: USDT, USDC, XRP, ADA, and DOT

08/12/2022
Blocknative releases new tool to enable high-speed propagation of ETH transactions

Blocknative releases new tool to enable high-speed propagation of ETH transactions

08/11/2022
SynFutures plans to integrate with Router Protocol to improve multi-chain access

SynFutures plans to integrate with Router Protocol to improve multi-chain access

08/11/2022
New Serum powered DEX for Solana from Vybe Network launches

New Serum powered DEX for Solana from Vybe Network launches

08/10/2022
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2022 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 - 2022 CryptoNinjas Disclosures | Privacy Policy

Go to mobile version