Cardano Launches KEVM Testnet: What This Means and Why This is a Big Deal – A Bit of News

May 28th marked the launch of Cardano’s first smart-contracts “KEVM” testnet. The testnet deployed in a correct-by-construction version of the Ethereum Virtual Machine (EVM) in the K framework. This technology was produced in collaboration by Runtime Verification with the support of IOHK.

It was the first time ever that a formal schematic of the Ethereum Virtual Network (EVM) has ever been produced.

This is a big deal.

For decades developers have been trying to develop a framework such as this; the first formal studies dating back to the 60s and 70s. The release of the K framework shows that this is not only theoretical, but possible. Prof. Grigore Rosul, who is in charge of KEVM’s development, has himself been working on the K framework for over 15 years.

When talking about the testnet release of KEVM, Rosul stated that it “sounds like a dream, but not anymore.”

What is The KEVM?

The K framework defines a formal definition of rules which allows you to define these…

Read More

Check Also



Actively trading cryptocurrencies gets the lion’s share of attention these days. It is, after all, …

See original article here
Author: admin”