ZKVMとZK検証についての考察

Author: Miles Source: X, @Miles082510

昨日、国内のZKチップ・ベンダーとZKアクセラレーションについて話し合いました。現在、ZKベースのL2が日常業務を維持するために必要なGPUマシンはわずか数百台であり、将来のAsic開発はさらにエキサイティングなものになるでしょう。では、加速のニーズは今どこにあるのか？また、ZKトラックにおけるボトルネックは証明生成なのか検証なのか？これらの疑問は、生態学的にどのような意味を持つのだろうか？

このツイートに基づいて、私自身の理解の一部を共有し、訂正や議論を歓迎したい！

過去のZKテクノロジー

初期のZKソリューションは、主に回路開発に基づいていました。開発者は特定の言語を使用して回路を構築しなければならず、そのアプローチは複雑で高価でした。StarkWareLtdは、STARKの再帰証明を利用して、CairoでSTARK経由で回路を構築することで、この分野をリードした。しかし、このアプローチの限界は、単一の証明システムやマシンからしかSTARK証明を集約できないことです。

現在のZKテクノロジー

現在、汎用ZKVMの出現により、プログラマーは新しい回路言語を学ぶ必要がなく、Rustコードを書くだけでアプリケーションを開発できます。その代表として、@RiscZero、@SuccinctLabsのSP1、@NexusLabsHQ、そして@a16zcryptoの@lita_xyzとjoltが挙げられる。

世の中にはたくさんのZKVMプロジェクトが存在するが、将来的にはすべての証明集約システムは、RISC-V ZKVMまたはRustベースのZKVMに依存することになるでしょう。RISC-V証明を使用することで、異なる証明システムを簡単に統合し、複雑な検証プロセスを簡素化することができます。

問題点と課題

イーサ上の証明の検証は非常に高価で、大容量をサポートしていません。たとえば、1GBの証明をイーサ上で直接検証するのは非現実的です。ただし、再帰的証明で圧縮することはできますが、同様に高価で時間がかかります。ZKロールアップを実行する場合、年間数百万ドルのコストがかかります。

さらに、@alignedlayerは毎秒2,500個のハッシュを検証できますが、イーサネットはそれだけの容量を処理できません。

解決策

イーサ上で高速かつ低コストの検証を実現する方法は2つあります:

• • イーサ上で高速かつ低コストの検証を実現する方法は2つあります。

    証明集約: 検証をより効率的にする方法です。

  • ZK 検証レイヤー: @eigenlayer の上に低コストでスケーラブルな ZK 検証レイヤーを実装する方法です。

  議論と意見

  ZKトラックのボトルネックについて、@Ozhar氏（@zkSync）は、コストの5%だけが検証に関連し、95%はハードウェアのコストに関連する証明の生成に関連すると主張しています。ハードウェアのコストに関連している。heslinkim氏（@gevulot_network）は異なる見解を示しており、真のボトルネックは証明生成とハードウェアであると主張しています。

  実際、ZKハードウェアと証明生成の分野も急速に進化しており、@cysic_xyz、@Ingo_zk、@lagrangedevなどのプロジェクトが積極的に技術を進化させています。