facebookのmiyatake氏の情報より転載です。
正直内容が難しすぎて、私にはちんぷんかんぷんなのですが



GOGUEN登場!
KEVMとIELEのスマートコントラクトTestNetが公開されました!

詳細はこちらをご覧ください。

フォーラム記事

IOHKブログ
今のところ、開発者は両方のテストネットでSolidity言語を使用することをお勧めします。しかし、最終的には、スマートコントラクトはPlutus(IOHKによって開発されている)のような新しい言語だけでなく、JavaやPythonなどの既存の言語やIELE-to などのIELEに翻訳された高水準言語で書かれます-IELEトランスレータは、結果コードが最適であることを保証します。





(以下、IOHKブログよりGoogle翻訳転載です)





最初のカルダノスマートコントラクトがテストネットを開始
KEVMソフトウェアは、Ethereum仮想マシン上で動作するアプリケーションをサポートします


Kフレームワークで規定されているEthereum Virtual Machine(EVM)の構築バージョンによる正しい、KEVMテストネット、今日の最初のCardanoスマートコントラクトテストネットが始まります。
IOHKをサポートしてランタイム検証によって生成されたこのテクノロジは、EVMの正式なセマンティクスが初めて生成されたものです。
これは、第3世代のブロックチェーンの約束に向けて必要なステップである、暗号解読における重要な第一歩です。

スマートコントラクトでは、ソフトウェアプロトコルを使って価値のあるもの(金銭、財産、株式)を交換することができます。
交換条件は、従来の契約と同じ方法で当事者によって合意され、契約はブロックチェーン上で自動的に実行されます。

開発者は、EVM上で実行され、KEVM上で実行されるすべてのアプリケーションを実行することができます。
また、スマートコントラクトが正しく機能することを厳密に証明するためにも使用できます。
これは、Kで契約の望ましいプロパティを正式に指定し、契約をKEVM仕様と組み合わせ、次にKフレームワークを使用してこれらのプロパティを検証することによって行われます。

私たちのカルダノの2番目のテストネットは、カルダノの新しい仮想マシンであるIELEです。
IELEは7月に開始され、無制限の整数をサポートする無制限の数のレジスタを備えたLLVMに似たレジスタベースの仮想マシンです。
開発者は、IELEを使用して、スマートコントラクトを作成、コンパイル、実行し、KEVMテストネットと比較してセキュリティとパフォーマンスを向上させることができます。

今のところ、開発者は両方のテストネットでSolidity言語を使用することをお勧めします。
しかし、最終的には、スマートコントラクトはPlutus(IOHKによって開発されている)のような新しい言語だけでなく、JavaやPythonなどの既存の言語やIELE-to などのIELEに翻訳された高水準言語で書かれます-IELEトランスレータは、結果コードが最適であることを保証します。

Kは、過去15年間にイリノイ大学アーバナ・シャンペーン校のGrigore Rosu教授と提携してランタイム検証によって開発され、言語設計、セマンティクス、形式的手法の最新技術を取り入れています。
Runtime Verificationの創始者であるProfu Rosuのこのブログの Kフレームワークの詳細については、こちらをご覧ください。
正式な検証についてのブログと、これがスマートな契約のために何を意味するのかはすぐにわかります。

スマートコントラクトは正式に検証されなければなりません。
つまり、指定されたとおりに実行され、バグや欠陥から解放されます。
それだけで、何十億人もの人々が信頼できる金融インフラとして広く採用することができます。

私たちは、カルダノをクラス最高のものにするのに役立つ、テストネットの使用に関する貴重なフィードバックをお待ちしております。