Cardano smart contracts testnet IELE launches
Developers can run programs with increased confidence
30 July 2018 4 mins read
Today we launch the second Cardano testnet, which is for the IELE virtual machine (VM) and follows our recent launch of the KEVM testnet. The technology is not only an important step on the Cardano roadmap, but also for the industry – in offering robust and reliable financial infrastructure. Developers now have the opportunity to explore the smart contracts technology that will…
First Cardano smart contracts testnet launches
KEVM software supports applications that run on Ethereum Virtual Machine
28 May 2018 3 mins read
The first Cardano smart contracts testnet launches today, 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…
Recent posts
Approaching full P2P node operations by Marcin Szamotulski
14 March 2024
Announcing XSY: accelerate economic value by Sean Ford
28 February 2024
Unlocking more opportunities with PlutusV3 by Olga Hryniuk
12 February 2024