0からZKまで コンセプトの一瞥 #6:冗長性の問題 前回は簡潔さについて触れましたが、ZK証明が膨大な計算を小さく、検証コストの低いパッケージに圧縮する方法です。今回は、ブロックチェーンが実際にどのように機能するかという最も根本的なレベルで、なぜその特性が重要なのかを見ていきましょう。 新しいイーサリアムブロックが生成されるたびに、数十万人のバリデーターが独立してすべてのトランザクションを再実行します。同じ追加、同じ転送、同じスマートコントラクトのロジックがネットワーク全体で繰り返されます。 これがイーサリアムが信頼レスを維持する方法です。全員が独立して同じ結果に到達すれば、誰も互いを信用する必要はありません。 その保証のコストは非常に大きいです。1ブロック分の計算量が数十万倍に積もられます。それは機能し、安全ですが、ブロックチェーンが遅く高価なままの根本的な理由です。 ネットワークは単一のマシンを追い越すことはできません。なぜなら、すべてのマシンが同じワークロードを動かしているからです。🔁 ZK証明は根本的に異なるモデルを提供します。一方が計算を行い、作業が正しく行われた証明を生成し、ネットワーク上のすべての検証者がその証明を単に検証し、やり直すことはありません。簡潔さのおかげで、元の計算がどれほど複雑であっても、その検証は簡単に簡単に済む。 アーキテクチャは「みんながすべてをやる」から「一度計算し、どこでも検証する」へと変化します。 🔑 しかし、このモデルがイーサリアムのベースレイヤーで現実のものとなるには、重要な要素が一つ整っている必要があります。それは、証明側がライブブロック生産に追いつくほど速く、かつ大規模なハードウェア投資を必要としないほど手頃な価格であることです。 証明に何時間もかかるか、インフラに数百万ドルの費用がかかる場合でも、モデルは理論的なままです。 ここでピコプリズムの登場です。⚡ 最近、Pico Prismは2台のマシンでわずか16個のGPUで99%のリアルタイムイーサリアムブロック証明を実現し、1ブロックあたり平均6.91秒を達成したと発表しました。総ハードウェアコスト:約10万ドル、イーサリアム財団の目標にちょうど合っています。 数ヶ月前には、同じ結果を出すには64枚のGPUと128,000ドルのGPUコストが必要でした。 この還元により、証明側が実用的に手の届く範囲に入ります。証明が手頃な価格のハードウェアでのイーサリアムの12秒ブロック時間に確実に追いつくにつれて、プロトコルレベルでの証明に基づく検証を統合する道筋が明確になります。 そしてそれが起こると、数十万人のバリデーターが冗長にすべてのブロックを再実行するのではなく、単に小さな証明の検証に移行し、イーサリアムのスケーリングのあり方を根本的に変えてしまいます。🧱 ...