jakiro
著者：マイル出典：X、@マイルS082510
昨日、私は中国のZKチップメーカーとのZK加速の問題について議論しました。現在、ZKベースのL2は、毎日のビジネスを維持するために数百のGPUマシンのみを必要とします。それで、今、加速の必要性はどこにありますか？どの部分が加速する価値がありますか？ZKトラックのボトルネックは証明または検証されていますか？これらの問題が生態学にどのような影響を与えますか？
このツイートに基づいて、私自身の理解のいくつかを共有したいと思います。
過去のZKテクノロジー
初期のZKソリューションは、主に回路開発に基づいていました。開発者は、特定の言語を使用して回路を構築する必要があります。これは複雑で高価です。@StarkWareltdは、この分野でリードしています。ただし、この方法の制限は、単一の証明書システムまたはマシンの厳しい証明のみを要約できることです。
現在のZKテクノロジー
現在、一般的なZKVMの出現により、プログラマーは新しい回路言語を学ぶ必要がなく、開発と適用のためにさびコードを書くだけで済みます。この分野の代表者には、 @risczero、 @scancklabsのSP1、@nexuslabshq、 @lita_xyzおよびjoltが @a16zcryptoのJoltとJoltが含まれます。
多くのZKVMプロジェクトがありますが、将来のすべての証明集約システムはRISC-V ZKVMSまたはRustベースのZKVMに依存すると思います。RISC-Vを使用して、異なる認証システムを簡単にマージして複雑な検証プロセスを簡素化できることを証明します。
質問と課題
イーサリアムの検証のコストは非常に高く、大容量をサポートしていません。たとえば、1GBの証明書は、再帰的な証明によって圧縮される可能性がありますが、時間がかかります。ZKロールアップを実行すると、年間コストは数百万ドル以上のものになる可能性があります。
さらに、@AlignedLayerは1秒あたり2,500ハッシュを検証できますが、イーサリアムはこのような大容量を処理できません。
解決
イーサリアムには、高速および低コストの検証を達成するための2つの方法があります。
-
証拠：検証効率を改善する方法。
-
ZK検証層： @alignedlayerの現在のアプローチである@eigenlayerで、低コストのスケーラブルなZK検証層を実現します。
議論と視点
ZKトラックのボトルネックに関して、 @Zhar（@Zksyncから）は、コストの5％のみが検証に関連していると考えており、95％は証明の生成のハードウェアコストに関連しています。@heslinkimは、@gevulot_networkからさまざまなビューを保持しています。彼は、本当のボトルネックは生成とハードウェアを証明することであると考えています。
実際、ZKハードウェアとプルーフ – 生成エリアも、@Cysic_xyz、@ingo_zk、@lagrangedevやその他のプロジェクトパーティーなど、関連する技術を積極的に促進しています。
