著者: フランク、フォーサイトニュース

著者: フランク、フォーサイトニュース

北京時間 2022 年 10 月 12 日、ヴィタリック ブテリン氏は、ボゴタでの Devcon VI の周辺活動の 1 つとして、主にイーサリアム ロールアップのトピックに焦点を当てた、イーサリアム拡張プロジェクト Scroll が主催するロールアップ デー イベントに参加しました。

ロールアップの日、Vitalik はマルチプルーフ メカニズム「マルチプルーフによるロールアップの強化」をテーマに講演しました。

Vitalik 氏は、ほとんどすべての Rollup ソリューションがまだ「補助輪」を使用する段階にあると考えています。これは、この段階の Rollup がトラストレス性や信頼の最小化をまだ達成していないことを意味します。

これらのロールアップが依然として「補助輪」を使用している重要な理由は、コードが複雑すぎるとシステムの攻撃対象領域が増加するためです。PSE チームが開発した ZK-EVM 回路を例にとると、そのコードには 34,469 行があります。

短期から中期的には、Rollup コードから完全にバグを除去することは困難であるという事実を考慮して、Vitalik 氏は、Rollup の信頼性をより最小限に抑えるか、さらには信頼性を解除することを促進するための代替案をいくつか挙げました。

高閾値ガバナンスの書き換え

解決策 1 は、高しきい値のガバナンス メカニズムを使用して、コードをオーバーライドするかどうかを決定することです。

たとえば、コードのバグを書き直すかどうかを決定するために 6/8 マルチ署名スキームが使用されます。この高いしきい値のガバナンス スキームは、一定レベルの信頼の最小化を達成できますが、依然として共謀のリスクが存在します。

複数の参照

2 番目のオプションは複数の証明者です。

イーサリアムのマルチクライアント メカニズムから学び、ネットワークのダウンタイムを防ぐためにマルチプルーフ システム (不正行為の証明の複数の実装、または zkEVM の複数の実装) を採用します。

誰かが 2 つの矛盾する状態ルートを証明プログラムに提出し、両方が合格した場合、証明プログラムは終了します。7 日以内に特定の証明プログラムに成功メッセージが渡されなかった場合、証明プログラムは終了します (スマート コントラクト ウォレットの設計からインスピレーションを得たものです)。 。

2 人の認証者 + ガバナンス グループ

3 番目のオプションは、2 人の証明者 (不正証明と ZK 証明) に加えて、2/3 保証メカニズム (2 人の証明者とガバナンス タイ ブレーク) を実装するガバナンス グループです。

• その利点は次のとおりです。

• ガバナンスを信頼する必要はありません（証拠によって否定することはできません）。

• 一方がシステムに抜け穴があることを証明しても、もう一方のシステムは影響を受けません。

理想的には、2 つの証明プログラムは、同時にバグが発生する可能性を最小限に抑えるために、まったく異なる構造を持つ必要があります。

Vitalik 氏はまた、「現在、EVM ブロックの ZK 証明には数時間かかりますが、技術は将来的には向上します。あなたも私たちも (将来は) 12 秒以内に ZK Snarks の証明が得られると信じています。」とも述べました。

さらに、他の業界関係者もこのロールアップ デイ イベントに参加し、意見を共有しました。

その中で、オプティミズムの共同創設者マーク・タインウェイ氏は、「現時点では検閲に耐性のあるロールアップは存在しない。つまり、ロールアップには許可のないリーダー選出とアップグレード不可能なスマートコントラクトがあることを意味する」と述べた。

注目を集めるMEV問題について、ガントレット・ネットワークスの創設者タルン・チトラ氏は「分散型ロールアップと特定の分散型ソーターへの移行方法を検討する際、議論されていない問題が大量のMEVを生み出すことだ」と述べた。

Flashbotsの研究者Alex Obadia氏は、「組み込みビルダーの分離（提案者とビルダーの分離、PBS）をイーサリアムプロトコルに実装すべきかどうかは明らかではなく、PBSが他のプロトコルとどのように相互作用するかについてはまだ未解決の疑問がいくつかある」と述べた。プロトコルが変更される可能性があります。質問」。

元のリンク

元のリンク