Cardano smart contracts testnet IELE launches
Developers can run programs with increased confidence
2018年 7月 30日 4 分で読めます
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
2018年 5月 28日 3 分で読めます
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…
Cardano smart contracts testnet IELE launches
Developers can run programs with increased confidence
2018年 7月 30日 4 分で読めます
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
2018年 5月 28日 3 分で読めます
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…
最新の記事
Mithril:Cardanoブロックチェーンへの軽量アクセスを提供 筆者: Emmanuel Ameh
19 May 2025
拡張UTXOモデルにおけるネイティブトークン 筆者: Olga Hryniuk
9 May 2025
CardanoのEUTXOモデル:ブロックチェーンに決定的予測可能性をもたらす 筆者: Ivan Irakoze
2 May 2025