May 28th marked the launch of Cardano’s first smart-contracts “KEVM” testnet. The testnet deployed in a correct-by-construction version of…