イーサリアムチームがWasm Web AssemblyとEVMとそのアプリケーションについて議論

著者:キャシー

講演者: Greg Colvin 博士、Martin Becze、Pawel Bylica、Christian Reitwiessner 博士 Greg Colvin は主に Ethereum C++ チームを担当しています。

Martin Becze は Wasm Web Assembly を担当しています。Pawel Bylica は EVM プロジェクトの 1 つを担当し、EVM バイトコードをマシンコードに変換しています。Dr. Christian Reitwiessner は Ethereum 仮想マシンのユーザー側である Solidity に重点を置いています。Alex は Wasm Web Assembly を担当し、仮想マシンのパフォーマンスを向上させることを目指しています。

上記の専門家は、進化する Ethereum 仮想マシンに関する以下の問題についてグループディスカッションを行いました。

1. 研究の具体的な進捗と方向性についての議論

過去数か月間、主な研究は、EVM Wasm を Web アセンブリに接続することにありました。バイトコードには主に 2 種類あり、仮想マシン バイトコードは、新しいタイプのコードに変換されて、いくつかの新しい機能が追加されることが期待されています。 Web Assembly は新しい形式です。主な焦点は EVM のアップグレード バージョンにあり、これにより速度が大幅に向上し、以前から残されていた効率の問題が解決されます。アップロードやダウンロードも非常に便利で、さまざまな環境で簡単に実行できます。

EVM は仮想マシンの実装方法です。チームに参加して以来、私が解決したい問題は、この実装を他のクライアントにどのように取り入れるかということでした。私たちが今やっているのはC言語の作業です。 EVM をご存知であれば、EVMC という用語があります。これはパッケージ化して他のプロジェクトに統合できるシンプルなインターフェースです。会議が始まる前に、彼らはすでに特定のクライアントに EVMC を追加しており、後でそれを実装し続けることを望んでいたので、私が行ったのは最適化ではなく、プロジェクト統合でした。これで、この C++ クライアントと、このアプリケーションを実装した別のクライアントを実装するためのプラグイン インターフェイスができました。

私たちはクライアントと EVM の間に共通のインターフェースを持ちたいと考えており、さまざまなクライアントでデコーダーを使用するために C++ 実装を再構築する計画があります。

wasmについては後ほど紹介します。これは別のコードなので、まず互換性がなければなりません。同時に、このバイトコードが Solidity や Wasm スマート コントラクトの記述など、他の場所でも使用できるようになることも期待しています。 EVMCでも活用させていただきたいと思います。

彼らはスマートコントラクトを C で書く必要はないと考えていますが、実際には常にそのような状況に遭遇します。 Ethereum チームが互換性と普遍性を実現するために、より効率的にコードを記述できるようになることを願っています。

堅牢性だけで十分だと考える人もいます。実際、C はすでに暗号化ライブラリの契約を記述するために使用されています。 Solidity は難しすぎると文句を言う人もいますが、実際には多くの言語が C で書かれており、チェックもすべて C から来ています。そのため、私たちはユーザーがよりシンプルで高速な操作を実現できるように支援したいと考えています。 EVMC インターフェースは非常に強力で、さまざまなタスクをまとめて必要な言語を提供できます。 EVMC インターフェースは私たちの仕事に影響を与えません。

私たちのプロジェクトの実装の多くは、より複雑な構造に基づくことができます。このEVMCを通じて、固有のコードまたはランダムに選択されたコードを使用して実装できます。たとえば、EVM は他の仮想マシンと統合できます。 EVMC インターフェイスを使用しながらアップグレードできますが、機能はより充実します。このインターフェースはブロックチェーン上のデータを取得できます。その後、さまざまなレベルで実装されます。実際には、同じレベル、同じレイヤーで操作してから変更を加えることになります。

2. EVMCはいつリリースされますか?

これは主に作業チームに依存します。多くの場所で実装しており、最終的には 2017 年に実現できると予想されており、その後、他の領域にも拡大できます。実際に、多くの側面に適用されており、後でテストネットワークでテストされる予定です。 EVM の進歩により、他のクライアントにも適用されるようになります。通常、EVM のリソース消費はガスを通じて取得できます。

最大のセキュリティ上の問題は、信頼を最小限に抑えることです。これは、Web アセンブリでのスタック分析や、以前と同等のメモリを使用したメータリングなどの測定によって実現できます。ガスモデルとメモリは以前とあまり変わらないので、焦点と設計が異なります。そこで、別々に構築する 2 つのモジュールを考案しました。こうして、この信頼性の高いコンピューティング プラットフォームが誕生しました。実際、私たちは安全性の問題についても非常に懸念しています。

3. メモリの支払いはどのように行われますか?実際の使用状況または仮想マシンにリンクされますか?

実はメモリはWebAssemblyに接続されており、メモリ関連のプロジェクトも拡張・拡張される予定です。たとえば、Alphamat もメモリを拡張します。測定部分に関しては、実際には独自のコードを入力する必要があり、コンパイラをあまり信頼していないため、その過程で、特定の方程式を呼び出すいくつかのステートメントを追加します。以前使用していたアプリと同じです。時間は節約できますが、コストが高すぎる可能性があります。その性能は別途検討できるが、最終的にどのように改善されるかはまだ不明であり、現在は 8 バイトのプロトタイプが使用されている。