Wednesday February 24, 2021
Bitcoin (BTC) $49,132.00   Ether (ETH) $1,609.96
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
NEWSLETTER SIGNUP
EXCHANGE 300+ COINS
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas
No Result
View All Result
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.

FacebookTwitterLinkedinRedditE-MailTelegram

Related News

Public chains Cardano and Nervos to improve on Bitcoin’s UTXO model
Networks & Protocols

Public chains Cardano and Nervos to improve on Bitcoin’s UTXO model

12/15/2020
Shelley mainnet arrives to enable many blockchain-based potential use cases for Cardano
Networks & Protocols

Shelley mainnet arrives to enable many blockchain-based potential use cases for Cardano

07/30/2020
IOHK reveals layer-2 scaling solution for the Cardano blockchain
Networks & Protocols

IOHK reveals layer-2 scaling solution for the Cardano blockchain

03/25/2020
IOHK introduces ‘Shelley’ era functionality to the Cardano blockchain
Networks & Protocols

IOHK introduces ‘Shelley’ era functionality to the Cardano blockchain

12/17/2019
Crypto exchange CEX.IO lists Cardano (ADA)
Token Offerings/Listings

Crypto exchange CEX.IO lists Cardano (ADA)

12/13/2019
Load More
Leave Comment

Where to Exchange

Bit2MeLeading Spanish Bitcoin ExchangeVisit
BL3P
European Bitcoin ExchangeVisit
ChangellyExchange & Buy 150+ CryptocurrenciesVisit
itBitAmerica's First Regulated Bitcoin ExchangeVisit
  • Trending
  • Latest
Bitcoin ATM company Lamassu unveils brand new operator admin system

Bitcoin ATM company Lamassu unveils brand new operator admin system

02/23/2021
Bitcoin Suisse increases depositor bank guarantee to CHF 110M

Bitcoin Suisse increases depositor bank guarantee to CHF 110M

02/23/2021
Amber Group boosts its crypto trading infrastructure security with AnChain.AI

Amber Group boosts its crypto trading infrastructure security with AnChain.AI

02/23/2021
DeFi fund manager yAxis launches v2 to make earning interest on crypto more accessible

DeFi fund manager yAxis launches v2 to make earning interest on crypto more accessible

02/22/2021
Klarna partners with Safello to bring users crypto purchases from their bank account

Klarna partners with Safello to bring users crypto purchases from their bank account

02/17/2021
Alameda Research leads $40M round in decentralized prime brokerage protocol Oxygen

Alameda Research leads $40M round in decentralized prime brokerage protocol Oxygen

02/24/2021
Chainlink achieves major scalability upgrade launch of Off-Chain Reporting (OCR)

Chainlink achieves major scalability upgrade with launch of Off-Chain Reporting (OCR)

02/24/2021
Tendermint invests in Tgrade to bolster Cosmos' growing DeFi ecosystem

Tendermint invests in Tgrade to bolster Cosmos’ growing DeFi ecosystem

02/24/2021
Bitcoin Suisse increases depositor bank guarantee to CHF 110M

Bitcoin Suisse increases depositor bank guarantee to CHF 110M

02/23/2021
Amber Group boosts its crypto trading infrastructure security with AnChain.AI

Amber Group boosts its crypto trading infrastructure security with AnChain.AI

02/23/2021
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2021 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

© 2016 - 2021 CryptoNinjas Disclosures | Privacy Policy


Go to mobile version