“The KEVM TestNet, a correct by construction version of the Ethereum Virtual Machine (EVM) 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. This is an important first in cryptocurrency that is a necessary step towards the promise of third-generation blockchains.”Alongside this, we expect to see a second TestNet launched by Cardano in July. This in turn should see a boost to Cardano’s value, in the wake of the launch. As we know though, July is a little off yet, therefore, we don’t expect anticipation for this to take off until we see June through. See the full IOKH report for yourself, here- https://iohk.io/blog/first-cardano-testnet-launches-for-smart-contracts/ This news has given Cardano a splash of positivity, in a market that looks nothing more than negative. We hope that eventually the markets do recover. At best, this has given Cardano a boost in the right direction, a boost that in turn should see Cardano cement a solid future in terms of its smart contracting protocols. Technological advancements within the blockchain can only be a good thing. Soon enough, a MainNet could follow this that might very well skyrocket Cardano into a very prosperous future indeed.