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