5月28日 打ち上げをマーク カルダノの最初のスマートコントラクト「KEVM」テストネットのテストネットは、KフレームワークのEthereum仮想マシン（EVM）の構築による修正バージョンで展開されました。この技術は、 ランタイム検証 のサポートで IOHK.

イーサリアム仮想ネットワーク（EVM）の正式な回路図が作成されたのはこれが初めてでした.

これは大したことです.

何十年もの間、開発者はこのようなフレームワークを開発しようとしてきました。にさかのぼる最初の正式な研究 60年代と70年代. Kフレームワークのリリースは、これが理論的であるだけでなく可能であることを示しています. グリゴア・ロスル教授, KEVMの開発を担当している彼は、15年以上にわたってKフレームワークに取り組んできました。.

KEVMのテストネットリリースについて話すとき、Rosul 述べました 「夢のように聞こえますが、もうそうではありません」。

KEVMとは何ですか?

ザ・ Kフレームワーク これらのセマンティクスを独自のプログラミング言語に定義できるようにするルールの正式な定義を定義します。 Kでプログラミング言語を定義すると、さまざまなツールを使用できるようになります。これにより、Kフレームワークで定義されたすべての言語が均一に動作し、言語が常に正しく予測可能な方法で動作することが保証されます。.

Kで言語またはVMを定義すると、フレームワークが提供するすべてのツールにアクセスできるようになります。他の開発者やチームがこれに似た何かをしようと何度も試みてきましたが、Kはこれまでに構築された最初の成功した作業モデルです.

したがって、KEVMは、EVMがKフレームワークで正式に定義されていることを意味します。.

開発者は、KEVMを介して、EVM用に設計された任意のアプリケーションを起動できますが、それに加えて、KEVMが提供する必要のある新しい機能とセキュリティのホスト全体にアクセスできます。.

カルダノロードマップに見られるKEVMおよびIELEテストネット

KEVMは、CやJavaなどの他の言語の形式化に成功しており、これらの言語から生成されたツールは、そのような言語用に特別に作成されたツールと機能とパフォーマンスが同等です。.

Cardanoは、Kフレームワークを通じて、仕様から構築による修正仮想マシンを生成できるようになりました。つまり、Kフレームワークを介して実行されているプログラムは、元のプログラミング言語仕様を満たすことが数学的に保証されています。.

KEVMはこれを実行できるだけではありません, ただし、VMは実際のプログラムを実行するのに十分な速度です.

なぜ気にするのか?

グリゴア・ロスイ教授 述べています これは、カルダノにとってだけでなく、「第3世代のブロックチェーンの約束に向けて」大きな前進です。

ザ・ スマートコントラクト 既存のイーサリアムベースのスマートコントラクトを含むKフレームワークで記述されたものは、KEVMが提供する強力なセキュリティの利点を活用し、さらに簡単な最適化フェーズと分析を可能にし、最終的にコードをより安全にします.

スマートコントラクトのバグは常に暗号の世界を悩ませてきました。悪名高いなど、過去に多くの注目を集める問題がありました DOAハック, しかし今日でも、ハッカーはコードの記述が不十分なために弱点を悪用しています.

先週、潜在的なバグがあったときを例にとってみましょう EOSメインネットで公開, 捕まえられなければ、ハッカーがネットワークに接続されたノードを乗っ取ることができたはずです。または、先月はVergeを見てください。 ハッカーの標的 少なくとも3回.

Kフレームワークを通じて、スマートコントラクトはKEVMの構築による修正機能を使用して検証されます。 EVMの最も安全な機能のみを実装することで、イーサリアムスマートコントラクトで一般的に見られる多くの潜在的なセキュリティの問題や欠陥が発生する前に削除されます. 

カルダノ：暗号の輝く星の1つ

これは、カルダノで計画されている2つの主要なテストネットの立ち上げのうちの最初のものです。 2番目の吹き替えIELEは 7月に発売. KEVMはすでに確立されたプログラミング言語に基づいているため、より迅速にプロの産業品質に引き上げられ、チームは、起動後にIELEでも使用されるネットワークと通信構造を完成させることができます。.

このテストネットは、Cardanoチームだけでなく、ブロックチェーンコミュニティ全体にとっても大きな成果です。.

これらのタイプの技術的改善は、Cardanoのチームに期待する必要があるものです。主要な技術的後退を除けば、KEVM以降のIELE仮想マシンはCardanoのメインネットに組み込まれます。これにより、スマートコントラクトプラットフォームレースの主要プレーヤーとしてカルダノがさらに前進します.

Cardanoプラットフォームとそのチームの詳細については、以下を参照してください。 カルダノロードマップと将来の展望 そして カルダノとは?