16
Cardano Forum / Cardano Launches First Smart Contracts Testnet, with Another Due for July
« on: May 30, 2018, 05:25:58 AM »
Cardano, the world’s seventh largest cryptocurrency by market cap, quietly launched its first smart contract testnet on May 28, 2018, and the developments are tremendously forward thinking.
Building Trust in Blockchain Projects
According to an official release by IOHK, Cardano’s parent organization, the blockchain project launched its KEVM testnet, a “correct-by-construction” version of the Ethereum Virtual Machine (EVM), on Cardano’s K framework – a permissioned programming language.
IOHK collaborated with Runtime Verification to build the technology, and the release is the first time the system’s famed semantics have been produced.
Source:https://btcmanager.com/cardano-launches-first-smart-contracts-testnet-with-another-due-for-july/?utm_source=onesignal&utm_medium=push
Building Trust in Blockchain Projects
According to an official release by IOHK, Cardano’s parent organization, the blockchain project launched its KEVM testnet, a “correct-by-construction” version of the Ethereum Virtual Machine (EVM), on Cardano’s K framework – a permissioned programming language.
IOHK collaborated with Runtime Verification to build the technology, and the release is the first time the system’s famed semantics have been produced.
Source:https://btcmanager.com/cardano-launches-first-smart-contracts-testnet-with-another-due-for-july/?utm_source=onesignal&utm_medium=push