著者:0xTodd; ソース: X, @0x_Todd
イーサリアムのスケーリングに関する多くのアイデアの中で、ZKは最も難しい話題です。
全体を見渡すと、V 神とイーサリアム財団が ZK に最も多くの賭けをしている。ZK はイーサリアムの家で最も小さな息子のようで、最も多くの情熱が注がれているが、未来は最も不透明である。
数日前、イーサリアム財団はKohakuロードマップを発表しました。これはプライバシーウォレットのさまざまな基本コンポーネントです。ロードマップでは、さらなる機能がZK-EVM/ZK-VMの実装に依存することが再度強調されています。
それでは、イーサリアムはなぜこれほど緊急にZK-VMを必要としているのか？
答えは、パフォーマンスのためであり、安全性を犠牲にすることはない。
以前、イーサリアムのパフォーマンスを向上させる最も効果的な手段は、GASの上限を引き上げることだと話したことがあります。要するに、各ブロックを大きくするということです。
しかし、GAS 上限を引き上げることには代償が伴います。大きすぎるブロックはノードにとって重い負担です。
現在のイーサリアムの検証モードは「全員全検」と呼ばれています。すべてのノードが各ブロックの全検証を行う必要があり、この考え方はシンプルで過激ですが、残念ながら冗長性が大きすぎます。
! 5FDwR43v8acoFyIvG901mh6kxDiGrbr91TJNTSG3.jpeg
なぜなら、GASの上限を過度に引き上げると、各ノードの作業量も大幅に増加しなければならないからです。
イーサリアムのブロック間隔は12秒であることを知っておく必要があります。ここでは、ブロックが世界中に伝播するための時間を確保する必要があり、さらにMEVを排除するために多くの古いクリンチが必要です。各バリデーターがブロックを受け取り、検証する時間は実際には非常に短く（約4〜8秒）、多くの検証を行うことは確かにできません。
しかし、もしイーサリアムのL1全体をZK化すると、それは「全員一度の検証」となります。ブロックが組み立てられた後、最初にZK証明が行われます。
周知の通り、ZK証明は非常に遅いですが、検証は非常に速いです。したがって、各ブロックは一度だけZK化されればよく、全てのノードはその証明が正しいかどうかを迅速に再確認する必要があります。
! Rb4MIs1laJTdRo45IiA0qUH6T6nF38Zo1yQTQy9b.jpeg
このような利点は、GASの上限を死ぬ気で引き上げることができることです。なぜなら、どのように引き上げてもノードへの負担はあまり大きくないからです。
例え話をすると、以前は、あなたがDingTalkで休暇申請の承認プロセス（トランザクションを送信）を行う際、各上司（ノード）があなたの残りの休暇があるかどうかを直接確認する必要があり（全員全検）、すべての承認が得られなければなりませんでした。
ZK化した後、あなたはまだ休暇申請プロセス（取引を発行）を行います。システムはあなたに残りの休暇があることを検出し、全てのリーダーに「この人は休暇があります」と直接伝えます。そして、リーダーはシステムが間違いを犯さないと完全に信じています（ZK）。その後、リーダーの承認は迅速になります（全員一验）。
これがイーサリアムがZK化を進める理由です。
しかし、このプロジェクトの規模は非常に大きく、暗号学の内容が非常に高いため、イーサリアムは他のチームと協力しなければなりません。
では、サードパーティのチームはどのような作業を行う必要がありますか？ここでは、イーサリアム財団のジャスティンが言及したブレヴィスプロトコルを例に挙げます。これは現在、ZKを最も高速で実行するプロトコルです。
! dZa2CBB1wRzsDEHMP9yXH75CNE0pLC90ZHGNIMOa.png
BrevisはZK-VMトラックを行っており、彼らの最新のPico Prism技術は、与えられた条件下で最も速くZK証明を出すことができます。
開示によると、現在の45M GAS上限のイーサリアムブロックで、Brevisは64枚のRTX 5090 GPUを使用しました。テストでは99.6%のブロックが12秒以内に証明を完了し、96.8%の10秒以内の証明カバレッジがありました。
! Pz0HZtHKwHNO8IfSFvKkO4Yg7YaiYSSBtNDoHeA0.jpeg
このデータはとてもすごいです。
イーサリアムは非中央集権のために、ZK証明を行うデバイスが10万ドルを超えてはいけません。
そうでなければ、1人当たり数台の H200/B200 を置いた方が間違いなく速いですが、その場合は敷居が高すぎます。Brevis のこれらのグラフィックカードはちょうど 10 万ドルのレベルに位置しています。
さらに、なぜ10秒のカバレッジが重要なのか？
一般的にMEVブロックは1〜3秒で生成され、さらに10秒の証明が加わると、ちょうど12秒に満たされるため、時間をちょうど使い切ることになります。そのため、12秒ではダメで、10秒のカバレッジが非常に高くなければなりません。
つまり、Brevisは「足枷をつけたダンスコンペティションでダンスキングの冠を得る」ということです。
Brevisの比較的優れた技術は、多GPUクラスターでの突破にありますが、そちらの技術的な詳細は多く、後で時間があるときに別途スレッドを立ててゆっくりお話ししましょう。
最後に、話を戻してまとめます。
イーサリアムがL1のスピードを上げるためには、GAS上限を引き上げる必要があります。
GASの上限を上げるには、ZK化が必要です；
エlegantly ZK化するためには（<10秒で証明、<10万ドルで機器を購入）、Crypto界の暗号学者たちの協力が必要です。
13.8K 人気度
125.8K 人気度
12K 人気度
3.6K 人気度
196.9K 人気度
GDOG
GM
芝麻开门
GCAT
Gatsby
イーサリアムはなぜZK-VMを緊急に必要としているのか？
著者:0xTodd; ソース: X, @0x_Todd
イーサリアムのスケーリングに関する多くのアイデアの中で、ZKは最も難しい話題です。
全体を見渡すと、V 神とイーサリアム財団が ZK に最も多くの賭けをしている。ZK はイーサリアムの家で最も小さな息子のようで、最も多くの情熱が注がれているが、未来は最も不透明である。
数日前、イーサリアム財団はKohakuロードマップを発表しました。これはプライバシーウォレットのさまざまな基本コンポーネントです。ロードマップでは、さらなる機能がZK-EVM/ZK-VMの実装に依存することが再度強調されています。
それでは、イーサリアムはなぜこれほど緊急にZK-VMを必要としているのか？
答えは、パフォーマンスのためであり、安全性を犠牲にすることはない。
以前、イーサリアムのパフォーマンスを向上させる最も効果的な手段は、GASの上限を引き上げることだと話したことがあります。要するに、各ブロックを大きくするということです。
しかし、GAS 上限を引き上げることには代償が伴います。大きすぎるブロックはノードにとって重い負担です。
現在のイーサリアムの検証モードは「全員全検」と呼ばれています。すべてのノードが各ブロックの全検証を行う必要があり、この考え方はシンプルで過激ですが、残念ながら冗長性が大きすぎます。
! 5FDwR43v8acoFyIvG901mh6kxDiGrbr91TJNTSG3.jpeg
なぜなら、GASの上限を過度に引き上げると、各ノードの作業量も大幅に増加しなければならないからです。
イーサリアムのブロック間隔は12秒であることを知っておく必要があります。ここでは、ブロックが世界中に伝播するための時間を確保する必要があり、さらにMEVを排除するために多くの古いクリンチが必要です。各バリデーターがブロックを受け取り、検証する時間は実際には非常に短く（約4〜8秒）、多くの検証を行うことは確かにできません。
しかし、もしイーサリアムのL1全体をZK化すると、それは「全員一度の検証」となります。ブロックが組み立てられた後、最初にZK証明が行われます。
周知の通り、ZK証明は非常に遅いですが、検証は非常に速いです。したがって、各ブロックは一度だけZK化されればよく、全てのノードはその証明が正しいかどうかを迅速に再確認する必要があります。
! Rb4MIs1laJTdRo45IiA0qUH6T6nF38Zo1yQTQy9b.jpeg
このような利点は、GASの上限を死ぬ気で引き上げることができることです。なぜなら、どのように引き上げてもノードへの負担はあまり大きくないからです。
例え話をすると、以前は、あなたがDingTalkで休暇申請の承認プロセス（トランザクションを送信）を行う際、各上司（ノード）があなたの残りの休暇があるかどうかを直接確認する必要があり（全員全検）、すべての承認が得られなければなりませんでした。
ZK化した後、あなたはまだ休暇申請プロセス（取引を発行）を行います。システムはあなたに残りの休暇があることを検出し、全てのリーダーに「この人は休暇があります」と直接伝えます。そして、リーダーはシステムが間違いを犯さないと完全に信じています（ZK）。その後、リーダーの承認は迅速になります（全員一验）。
これがイーサリアムがZK化を進める理由です。
しかし、このプロジェクトの規模は非常に大きく、暗号学の内容が非常に高いため、イーサリアムは他のチームと協力しなければなりません。
では、サードパーティのチームはどのような作業を行う必要がありますか？ここでは、イーサリアム財団のジャスティンが言及したブレヴィスプロトコルを例に挙げます。これは現在、ZKを最も高速で実行するプロトコルです。
! dZa2CBB1wRzsDEHMP9yXH75CNE0pLC90ZHGNIMOa.png
BrevisはZK-VMトラックを行っており、彼らの最新のPico Prism技術は、与えられた条件下で最も速くZK証明を出すことができます。
開示によると、現在の45M GAS上限のイーサリアムブロックで、Brevisは64枚のRTX 5090 GPUを使用しました。テストでは99.6%のブロックが12秒以内に証明を完了し、96.8%の10秒以内の証明カバレッジがありました。
! Pz0HZtHKwHNO8IfSFvKkO4Yg7YaiYSSBtNDoHeA0.jpeg
このデータはとてもすごいです。
イーサリアムは非中央集権のために、ZK証明を行うデバイスが10万ドルを超えてはいけません。
そうでなければ、1人当たり数台の H200/B200 を置いた方が間違いなく速いですが、その場合は敷居が高すぎます。Brevis のこれらのグラフィックカードはちょうど 10 万ドルのレベルに位置しています。
さらに、なぜ10秒のカバレッジが重要なのか？
一般的にMEVブロックは1〜3秒で生成され、さらに10秒の証明が加わると、ちょうど12秒に満たされるため、時間をちょうど使い切ることになります。そのため、12秒ではダメで、10秒のカバレッジが非常に高くなければなりません。
つまり、Brevisは「足枷をつけたダンスコンペティションでダンスキングの冠を得る」ということです。
Brevisの比較的優れた技術は、多GPUクラスターでの突破にありますが、そちらの技術的な詳細は多く、後で時間があるときに別途スレッドを立ててゆっくりお話ししましょう。
最後に、話を戻してまとめます。
イーサリアムがL1のスピードを上げるためには、GAS上限を引き上げる必要があります。
GASの上限を上げるには、ZK化が必要です；
エlegantly ZK化するためには（<10秒で証明、<10万ドルで機器を購入）、Crypto界の暗号学者たちの協力が必要です。