The much-awaited KEVM Testnet for Cardano has been released a few hours ago. K-EVM is a stack-based machine which is an executable form of semantics at the Ethereum Virtual Machine [EVM]. This is the first ever Cardano smart contracts corrected by an EVM, specified in the K framework.
Tweet by IOHK:
“First Cardano smart contracts testnet launches today, the KEVM testnet. This is the first time that a complete formal semantics of the EVM have been produced and important first in cryptocurrency that is a step towards building 3rd generation blockchains: https://buff.ly/2ktR7PR “
Charles Hoskinson, the CEO of Cardano tweeted:
“Yo Dog, I heard you like smart contracts? So we put smart contract in your smart contracts on a blockchain https://testnet.iohkdev.io/goguen/ Cardano CL’s first testnet has been released”
All the developers are allowed to take any application that runs on EVM and test it on KEVM to prove the complete working of the smart contracts. The Testnet is executed by specifying the desired property from the contract in K and combining the contract with the KEVM specification. Further, the K framework can be used to verify all the existing properties.
The technology is produced by Runtime Verification with the support of IOHK. IOHK claims that this is an important step towards the promise of third-generation blockchains.
A Reddit user says:
“what they care about is moon, and they think every update will take them there”
Dennison Collard, a Twitterati says:
“Why is there so little attention given to this project? It’s literally the only one worth anything”
Matt Stanislaw, a cryptocurrency enthusiast says:
“To the best cryptocurrency within 12 months…run it Cardano #Ada to the moon…#HODL”
The next Cardano test is scheduled in the month of July, which is a new virtual machine called IELE. IELE will give the developers the leverage to write, compile and execute smart contracts, with improved security and performance compared to the KEVM Testnet.
The entire cryptocurrency market is witnessing a bearish downside at press time with all the coins bleeding red. Cardano [ADA] is currently ranked at the 8th position and trading at $0.182 with a market cap of $4.7 billion. The coin has declined by 27.17% in the past 7 days and is the biggest loser among the top 20 cryptocurrencies in the market.
Subscribe to AMBCrypto’s Newsletter
XRP/USD Price Analysis: Cryptocurrency settles into sideways movement as bull run ends
XRP/Ripple: R3’s Corda Settler dApp to be tested by InstiMatch Global using XRP
Mt. Gox: Infamous Bitcoin exchange had several issues with its code, reveals Mark Karpeles
Bitcoin Cash [BCH] support rolled out by Coinbase custodial wallet app
Bitcoin ETF: SEC adds VanEck-backed proposal for approval; initial decision in 45 days
DigiByte community gears up for Global Summit while founder Jared Tate finalises book on decentralized internet
Bitcoin [BTC] developer Jimmy Song lists 3 reasons why Bitcoin SV [BSV] is a “scam”
Bitcoin [BTC] among cryptocurrencies enabled by new debit card launched by Australian Crypto exchange
Ethereum [ETH] could have been stolen through malware impersonating MetaMask
After Bitcoin [BTC] ETF silver lining, SEC puts forth circular on ICOs
Bitcoin [BTC]: Mt Gox redemption plan demonstrates the power of open source network, says Brock Pierce
- Press Release
A New Generation of Crypto-Exchange: ALL IN ONE Crypto-Exchange
Flash Hike: XRP pumps by 10% as most top-10 coins gleam green
- Bitcoin Cash
Bitcoin Cash [BCH]: Roger Ver promises to sell his Bitcoins if the block size drops to 300KB