【ニュース】イーサリアム共同創設者であるビタリク・ブテリンが土曜日、記事『The cryptographic world computer』を公開し、今後10年間のネットワークの発展方向について述べました。
Buterinは、イーサリアムは「歴史的理由」からブロックチェーンと呼ばれているだけで、すでにブロックチェーンと現代暗号学の混合体であると認識している。
彼は、イーサリアムの次回のアップグレードが、2015年以来人々が認識できる最後のアップグレードになると述べた。Buterinは、来年予定されているフォーク「Hegota」が「おそらくイーサリアムの最後の通常のフォークになるだろう」と述べた。その後のロードマップには、再帰的STARK、自動形式的検証、高度に最適化されたコンセンサスメカニズム、およびシステム全体を量子攻撃に耐性を持つようにする計画が含まれる。
ButerinはXで次のように投稿しました：「暗号学的なワールドコンピューター：https://t.co/ueayODeUPo 私は、Hegota以降のフォークから、イーサリアム上で起こるほぼすべての計画の真の意味を比較的簡潔に表現しようとしました。それはもはや単なるブロックチェーンではなく、ハイブリッドです……」
Buterinは、Lean Ethereumが「主に歴史的理由から」依然としてブロックチェーンと呼ばれていると記している。
彼は、本質的にこれは「ハイブリッド構造」であり、中本聪のアイデアと、2009年当時「まだ存在しなかった」50年にわたる学術研究で開発された暗号学的ツールを組み合わせていると述べた。彼はツイートで、このアーキテクチャは「単なるブロックチェーンよりもはるかに強力な特性をもたらす」と述べた。
検証、合意形成、ブロック構築
Buterinは、3つの核心的特性が完全に置き換えられると述べた。検証は、各ブロックをダウンロードして再実行する方式から、PeerDASを通じてデータをサンプリングしSNARKを検証する方式に移行する。コンセンサスは、はるかに最適化されたステークプルーフモデルに移行する。ブロック構築は、単一のマイナーがブロック内容を決定する方式から、複数の参加者が共同で構築する方式に変わる。
彼は、最終性が現在の約12回の確認に必要な約200秒から8〜32秒に短縮され、スロット時間は4〜8秒の間で動作し、ノードを実行するために必要なハードウェアもはるかに少なくなると述べた。検閲耐性はFOCILから得られる。この方式では、バリデーターで構成される委員会が、次ブロックに含める必要のある未処理トランザクションのリストをそれぞれ発表し、分岐選択ルールによって強制されるため、これらのトランザクションを無視したブロックは無効と見なされる。Buterinはこれを「保証されたリアルタイムトランザクション採用」と表現した。
プライバシーは段階的に実現されます。汎用計算は依然として高価で、部分的なプライバシーしか実現できませんが、特定用途アプリケーションはゼロ知識証明とプライベートアカウント抽象化を活用して「非常に強力なプライバシー」を獲得します。オニオンルーティングとミキシングネットワークがネットワーク層をカバーします。イーサリアム財団は昨年10月に、この取り組みを支援するために専門のプライバシーチームを設立しました。
開発者はガスコストの変化を感じ取るだろう。Buterinは、「すべてを理解しづらく、逐次実行されるトランザクションに詰め込む」と同じ計算がより高額になると書き、それを並列処理可能な依存関係に分割するか、トランザクションがブロックに含まれる前にそれを分離すれば、コストが低くなると述べた。
分散化が利点
Buterinは、分散化がもはやコストではなく、データを並列で保存し、mempool内で並列計算を実行し、中央集権的なシステムでは実現できない方法でメタデータを隠すことができるものであると考えている。
彼は、これが2010年代半ばの夢だったが、当時はただ一つの理由で失敗したと述べた：分割後の作業が正しく完了されたかを検証する方法がなかったからだ。ランダムに選ばれた委員会は「設定が複雑でコストが高く」、遅延を増加させ、かつ「委員会が失敗した場合、補救手段がなかった」。現代の暗号学はこの問題を解決し、そのオーバーヘッドは「月ごとに低下している」。
次に、不可区分混淆（indistinguishability obfuscation）がある。Buterinはこれを「聖杯」と表現し、それがプライバシーと汎用性の間のトレードオフを完全に排除すると述べている。しかし、彼は明確に、この記事のどの結論もこれに依存していないことを示し、「本記事のすべての結論は、この技術が実用化されるはるか前から成立している」と述べている。
より近接し、より難しい問題は比較的平凡である：ゼロ知識証明を十分に高速かつ十分に安全にすることは、すでにAIツールを用いて最適化されている「複雑性のラッピング」に属する、と彼は記している。一方で、膨大な状態へのアクセスを管理し並列化することは、「より困難であり、システムレベルでより複雑である」。
この記事は、イーサリアム財団のStrawmapを一般向けに分かりやすく解説したように読める。Strawmapは、2029年までに7回のハードフォークを実施するという財団が策定したロードマップであり、Justin Drakeが2月にこの文書を公開した際、Buterinは「非常に重要な文書」と評価した。Strawmapがハードフォークごとに依存関係を順を追って列挙しているのに対し、Buterinの記事は最終的な到達点を示している：スロット時間を12秒から2秒に短縮し、最終確定時間を約16分から数分以内に短縮し、ネットワーク全体を「テセウスの船」のように、一つずつコンポーネントを置き換えて再構築する。