IOHK's Cardano (ADA) Launches First Smart Contract TestNet (KEVM)

Cardano Launches Testnet – its First Smart Contracts

IOHK is an engineering company behind the development of Cardano blockchain. The most recent development concerning Cardano is that it launched its first smart contracts testnet. The testnet, called KEVM, is a correct by construction version of the Ethereum Virtual Machine (EVM) that is apparent in the K framework. The framework was developed by Runtime Verification with IOHK’s support and it is the first time EVM’s complete formal semantics has been development.

IOHK’s project manager Gerard Moroney stated, “this is an important first in cryptocurrency that is a necessary step towards the promise of third-generation blockchains.” For those who are still uncertain about the meaning of smart contract, it is essentially a contract that users can exchange for something of value, such as property, money, and shares. The exchange is facilitated by a software protocol. The parties agree upon the terms of the exchange similar to that of a traditional contract and the contract is also automatically executed on the blockchain.

The developers behind the system can expect to take an application running on the EVM and to execute it on the KEVM. This process makes it easier for them to prove that the smart contracts function properly. Further, the process is facilitated by formally specifying a contract’s desired properties in the K and by combination of the contract with KEVM specifications. The final step is where the K framework verifies the properties.

At this point, the IOHK team recommends solidify language be applied by developers on both testnet. It is also important to note that the company’s vision is have the smart contracts written in high-languages that translate to IELE. The main languages include Plutus, which is being developed by IOHK, and existing languages like Java and Python. At the end of the process, the IELE-to-IELE translators will ensure that the resulting code is optimal.

For those who are unware, Runtime Verification and its collaboration with Professor Grigore of Rosu’s Formal Systems Laboratory at the University of Illinois at Urbana-Champaign developed K over the course of 15 years. The system incorporates the state of the art language design, semantics, and formal methods.

Further, smart contracts require formal verification so that they run exactly as specified and are free from flaws, bugs, and other issues. When they meet such specifications, the contracts can be adopted on a widescale basis as financial infrastructure the people can rely upon.

Get Free Email Updates!

*Action* Enter Best Email to Get Trending Crypto News & Bitcoin Market Updates

I will never give away, trade or sell your email address. You can unsubscribe at any time.

Bitcoin Exchange Guide News Team
B.E.G. Editorial Team is a gracious group of giving cryptocurrency advocates and blockchain believers who want to ensure we do our part in spreading digital currency awareness and adoption. We are a team of over forty individuals all working as a collective whole to produce around the clock daily news, reviews and insights regarding all major coin updates, token announcements and new releases. Make sure to read our editorial policies and follow us on Twitter, Join us in Telegram. Stay tuned. #bitcoin

[Alert] Use the author's self-conducted information at your own risk, do you own research, never invest more than you are willing to lose.

[Disclosure] The published news and content on BitcoinExchangeGuide should never be used or taken as financial investment advice. Understand trading cryptocurrencies is a very high-risk activity which can result in significant losses. Editorial Policy \\ Investment Disclaimer


Please enter your comment!
Please enter your name here


Live Bitcoin Price & Latest BTC Charts

Today's Latest Crypto News

Coinbase and Circle Consortium's USDC Stablecoin is Now Integrated on Solana Blockchain

The Center announced today Solana blockchain as an official Chain for its USDC stablecoin. As an expansion of the “fully-reserved and regulated digital dollar stablecoin,”...

Ethereum Classic & IOHK Team Up to Find Solutions to Prevent 51% Attacks On The Blockchain

The Ethereum Classic Cooperative development team partners with Input Output Hong Kong (IOHK) to counter the numerous 51% attacks on the Ethereum Classic...

OKEx Exchange Resumes P2P Fiat Trading for Chinese Yuan, Indian Rupee, & Vietnamese Dong

Cryptocurrency exchange OKEx announced on Wednesday that it is resuming peer-to-peer (P2P) trading for CNY, INR, and VND fiat pairs from today at 12:00...

SEC Proposes $5 Million Settlement in Kik’s $100 Million Initial Coin Offering (ICO) for KIN

Kik Interactive, the embattled Canadian messaging startup, seems to have finally reached a settlement deal with the SEC regarding its illegal ICO back in...

First UK Public Listed Company, Mode Global Holdings, Converts 10% of Cash Reserves into Bitcoin

What started with public listed company MicroStrategy has now become a movement as more and more companies continue to join the ranks. This month, after...

BitcoinExchangeGuide is a hyper-active daily crypto news portal with care in cultivating the cryptocurrency culture with community contributors who help rewrite the bold future of blockchain finance. Subscribe on Google News, see the mission, authors, editorial links policy, investment disclaimer, privacy policy. Got News? Contact us, we are human too. Note: nothing here is financial advice, do your own research thoroughly.

Start Using Crypto Today