Advertise
CoinTrust
BTC
ETH
BCH
SOL
DOGE
SHIB
  • News
  • Bitcoin
  • Ethereum
  • Altcoin
  • Market Cap
  • Learn
    • Buying Crypto
    • Crypto Mining
    • Crypto Exchanges
    • Knowledge
  • Crypto Casinos
    • Best Bitcoin Casinos
    • New Crypto Casinos
    • Anonymous Crypto Casinos
    • VPN Friendly Crypto Casinos
    • Bitcoin Poker
    • Bitcoin Bingo
    • USDT Casinos
    • Offshore Online Casinos
    • Bitcoin Betting Sites
No Result
View All Result
CoinTrust
  • News
  • Bitcoin
  • Ethereum
  • Altcoin
  • Market Cap
  • Learn
    • Buying Crypto
    • Crypto Mining
    • Crypto Exchanges
    • Knowledge
  • Crypto Casinos
    • Best Bitcoin Casinos
    • New Crypto Casinos
    • Anonymous Crypto Casinos
    • VPN Friendly Crypto Casinos
    • Bitcoin Poker
    • Bitcoin Bingo
    • USDT Casinos
    • Offshore Online Casinos
    • Bitcoin Betting Sites
No Result
View All Result
CoinTrust
No Result
View All Result

Home » Cardano Launches Smart Contracts Testnet “KEVM”

Cardano Launches Smart Contracts Testnet “KEVM”

Kelly Cromley by Kelly Cromley
Jun 5, 2018
in News
Reading Time: 2 mins read
0

Last week, Cardano (ADA) launched its first smart-contracts “KEVM” testnet. According to Cardano team, the KEVM testnet, which is correct by construction version of the Ethereum Virtual Machine (EVM) specified in the K framework, was built by Runtime Verification with the support of IOHK. Furthermore, It is the first time a complete formal semantics of the EVM have been produced. Cardano team believes that it is yet another step towards the creation of third-generation blockchains.

A smart contract facilitates the exchange of any object of value (property, stocks, money, etc.) using a software protocol. Similar to a traditional exchange, the terms are agreed upon by both parties involved in a deal, but automatically executed on the blockchain using smart contracts, when certain parameters are achieved. This is done by specifying the contract’s requisite properties in K, combining the contract with the KEVM specification, and then using the K framework to verify those properties.

RelatedPosts

Nigeria Charts Blockchain Future With Inclusive National Policy

Brave Introduces .brave Domains to Advance Web3 Browsing

Cardano and LW3 Pioneer Blockchain Passports for Products

TRON Blockchain Surpasses $75B USDT Mark, Cements Stablecoin Dominance

Cardano’s second testnet, named IELE, will be launched in July. IELE is a register-based virtual machine similar to LLVM. IELE is designed to have an unbounded number of registers and supports unbounded integers. Using IELE, developers can write, compile, and execute smart contracts with improved performance and security, compared to the KEVM testnet.

Cardano has recommended developers to use Solidity language on both testnets for the time being. Eventually, Cardano aims to make provision for smart contracts to be written in high-level languages that translate to IELE, such as Plutus (being developed by IOHK), Python, and Java. To arrive at optimal code, there will be even IELE-to-IELE translators.

K was developed by Runtime Verification in collaboration with Professor Grigore Rosu’s Formal Systems Laboratory at the University of Illinois and incorporates the state of the art in language design, semantics and formal methods.

Previous Post

Global Blockchain & HP To Offer P2P Cloud Services Marketplace

Next Post

Crypto Being Accepted in Australia’s First Ever “Digital Currency Town”

Related Posts

nigeria charts blockchain future with inclusive national policy

Nigeria Charts Blockchain Future With Inclusive National Policy

by Kelly Cromley
May 21, 2025
0

The Federal Ministry of Communications, Innovation and Digital Economy has officially released a Whitepaper outlining Nigeria’s National Blockchain Policy, marking...

brave introduces .brave domains to advance web3 browsing

Brave Introduces .brave Domains to Advance Web3 Browsing

by Kelly Cromley
May 21, 2025
0

In a move that underscores its commitment to privacy and decentralized web technology, Brave Browser has unveiled a blockchain-native domain...

cardano and lw3 pioneer blockchain passports for products

Cardano and LW3 Pioneer Blockchain Passports for Products

by Kelly Cromley
May 21, 2025
0

The Cardano Foundation has unveiled a strategic partnership through its Cardano Venture Hub, joining forces with Web3 company LW3 to...

tron blockchain surpasses $75b usdt mark, cements stablecoin dominance

TRON Blockchain Surpasses $75B USDT Mark, Cements Stablecoin Dominance

by Kelly Cromley
May 21, 2025
0

TRON DAO has achieved a significant benchmark in the global stablecoin market by announcing that the circulating supply of Tether...

bsv association taps binarii labs for secure blockchain communications

BSV Association Taps Binarii Labs for Secure Blockchain Communications

by Kelly Cromley
May 21, 2025
0

The BSV Association, recognized for leading global advancements in the BSV Blockchain, has announced its decision to appoint Binarii Labs...

magic square and funtico unite to boost web3 gaming

Magic Square and Funtico Unite to Boost Web3 Gaming

by Kelly Cromley
May 21, 2025
0

Magic Square has revealed a strategic partnership with Funtico, a rapidly growing player in the blockchain gaming space. This collaboration...

Next Post
Crypto Being Accepted in Australia’s First Ever “Digital Currency Town”

Crypto Being Accepted in Australia’s First Ever “Digital Currency Town”

  • blackrock invests in colle web3

    COLLE: Pioneering AI Web3 Platform Receives Investment Boost from BlackRock

    by Kelly Cromley
    May 13, 2024
  • Central Bank of Saudi Arabia Teams Up with Ripple to Transform Cross-Border Settlements

    by Kelly Cromley
    Aug 17, 2023
  • Router Protocol and OpenWorldSwap Partnership to Revolutionize DEX Market

    by Kelly Cromley
    Aug 6, 2024
  • GameStop’s Digital Transformation: Embracing Blockchain and NFTs

    by Kelly Cromley
    Feb 2, 2025
  • XRP Ledger Embraces Precious Metal-Backed Stablecoins with Meld Gold Partnership

    by Kelly Cromley
    Oct 2, 2024

Recent News

nigeria charts blockchain future with inclusive national policy
Market News

Nigeria Charts Blockchain Future With Inclusive National Policy

by Kelly Cromley
May 21, 2025
brave introduces .brave domains to advance web3 browsing
Market News

Brave Introduces .brave Domains to Advance Web3 Browsing

by Kelly Cromley
May 21, 2025
cardano and lw3 pioneer blockchain passports for products
Market News

Cardano and LW3 Pioneer Blockchain Passports for Products

by Kelly Cromley
May 21, 2025
tron blockchain surpasses $75b usdt mark, cements stablecoin dominance
Market News

TRON Blockchain Surpasses $75B USDT Mark, Cements Stablecoin Dominance

by Kelly Cromley
May 21, 2025
bsv association taps binarii labs for secure blockchain communications
Market News

BSV Association Taps Binarii Labs for Secure Blockchain Communications

by Kelly Cromley
May 21, 2025

Categories

  • Altcoin News
  • Analysis News
  • Bitcoin News
  • Blog
  • Cardano News
  • Ethereum News
  • ICO News
  • Legislation News
  • Market News
  • News
  • Ripple News
  • Solana News

Cointrust

  • About Us
  • Contact Us
  • Correction Request
  • Our Team

Legal

  • Disclaimer
  • Terms & Conditions
  • Privacy Policy
  • Cookie Policy

Popular

  • ICO Listings
  • Knowledge Base
  • All about Mining
  • Cryptocurrency Exchanges
  • How and Where to buy Cryptocurrency

Sitemap

  • News section
  • Sitemap
  • XML Sitemap

© 2024 CoinTrust.com.

CoinTrustCoinTrust

* DISCLAIMER: All information provided in CoinTrust is merely for informational purposes, we are not an investment advisor and not affiliated with any companies or ICO/Cryptocurrency Projects. To use this website you must accept our cookie policy, Disclaimer and Privacy Policies.

No Result
View All Result
  • News
  • Bitcoin
  • Ethereum
  • Altcoin
  • Market Cap
  • Learn
    • Buying Crypto
    • Crypto Mining
    • Crypto Exchanges
    • Knowledge
  • Crypto Casinos
    • Best Bitcoin Casinos
    • New Crypto Casinos
    • Anonymous Crypto Casinos
    • VPN Friendly Crypto Casinos
    • Bitcoin Poker
    • Bitcoin Bingo
    • USDT Casinos
    • Offshore Online Casinos
    • Bitcoin Betting Sites

© 2024 CoinTrust.com.

We use cookies to ensure that we give you the best experience on our website.
If you continue to use this site you agree to allow us to use cookies, in accordance with our Cookie Policy.
I Agree