Cardano’s ADA is starting to look a bit better today after IOHK announced the release of the KEVM testnet. This is the first smart contracts testnet for Cardano. So let’s take a closer look. 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. The KEVM is a correct by construction version of the Ethereum Virtual Machine 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 have been produced. According to the team, this is an important first in cryptocurrency that is a necessary step towards the promise of third-generation blockchains.
Sources: www.coinmarketcap.com
https://iohk.io/blog/first-cardano-testnet-launches-for-smart-contracts/
Please remember this is news, not investment advice.
Related Post:
- Blockchain, Cardano and Smart Contracts with Charles Hoskinson – Cardano Co-Founder, CEO of IOHK
- Cardano ADA News Today Update! Smart Contracts Testnet, "Cardax" Uniswap of Cardano, Price Analysis
- Demo! Watch me try Cardano testnet and it fails over and over! Telos testnet SMOKES ADA testnet!
- What's Up Cardano!! IOHK will be restarting the Cardano Byron July 29th 2019
- IOHK & Cardano Launch Secure Smart Contracts; Hoskinson Thinks EOS Faces SEC Scrutiny; DASH / KFC
- Bitcoin Smart Contracts, XRP On Bit-Z, Zilliqa TestNet v3 & Cardano Before Stellar?
- Everything you Need to Know for Cardano Byron Testnet Restart IOHK Statement What's Up Cardano EP 3
- Use Cardano ADA Testnet Wallets to Claim Real Rewards on Incentivized Cardano Testnet
- Built On Litecoin LTC Smart Contracts Abra Launches Crypto Wallet & Exchange Includes Ripple XRP!
- Crypto News May 28: Cardano Smart Contracts, Poloniex KYC, Bitcoin Core launched
