jakiro
著者：Donovan Choy、Blockworks：Wuzhu、Bitchain Vision
それはすべてイーサリアムから始まります。L1は遅すぎます。各ノードは、ブロック内のトランザクションを冗長に再実行する必要があり、妥当性を確保する必要があります。これにより、スケーラビリティが制限されます。
2020年までに、イーサリアムコミュニティはスケーリングソリューションとしてロールアップを中心に団結します。2021年のロールアップに関するVitalikの画期的なブログ投稿では、楽観的でZKロールアップがどのように拡張されているかを説明しています。
ZKロールアップには、スケーリングには技術的な利点がありますが、テクノロジーはまだ高価ではるかに遅れています（後で詳しく説明します）。
したがって、楽観的なロールアップが最初に市場に侵入しました。楽観的なロールアップは、7日間のチャレンジ期間中に誰かが詐欺の証明で挑戦するまで、すべてのトランザクションが有効であると仮定します。
楽観的なロールアップは有効ですが、隠されたコストがあります。チャレンジ期間は、ユーザーが資金を撤回する前により長いトランザクションの終了時間を必要とすることを意味します。流動性のロックは、特にチェーンの相互運用性の観点から、資本効率と一般的にユーザーエクスペリエンスの低下を意味します。
一方、ZKは追いついています。ETHCC 2022では、Polygon、Zksync、およびScrollがすべてZkevmを発表しました。これにより、Solidity開発者はコードを作成してEVMの実行を証明できます。これにより、EthereumはZero-Knowledgeテクノロジーを活用できます。
2023年までに、ZKロールアップは本当に注目を集め始めています。
なぜZK証拠は楽観的な詐欺証明よりも優れているのですか？つまり、ZKは、元のトランザクションデータ（メガバイトサイズ）と比較して、はるかに小さく（〜1〜10 kb）ことが証明されるためです。
ZK暗号化を使用したイーサリアムトランザクションを校正することにより、これらの高度に圧縮された証明は、データの可用性コストの低下とスケーラビリティの向上を意味します。
ZKは離陸していますが、証明を生成するコストはまだ高いです。ZKSTATS.IOによると、2023年12月にZKプルーフを生成する平均コストは80.21ドルです。
2025年に早送りします。証明費用は証明あたり1.3ドルに減少し、約98.4％の増加です。
どのような変更が加えられましたか？
今、ZKロールアップスタックの各コア部分が分解されます。
まず、ZKVMがリリースされました。これらの専用の仮想マシンは、ZK開発エクスペリエンスを高速化し、有効性の生成の証拠をより効率的にします。ZKVMが出現する前に、開発者はEVMの実行を証明するために複雑な数学的な「回路」を書く必要がありました。
今日、SP1、RISC Zero、Nexus、OpenVMなどのZKVMは、ZK暗号化の専門知識を持っていないすべての開発者（C ++、Rust）を効果的に効果的に可能にします。過去には、ZKEVMはZKロールアップでのみSolidity Developmentを有効にしました。ZKVMをZkevmよりも一般的な概念と考えてください。
第二に、証明を生成するコストは、市場の競争により減少しています。今日、RISC Zero、Cysic、Lagrange、Sconstinctは、多くの競争市場を運営しています。一部はまだテストネットワークにあり、一部はすでに稼働中です。
ZK L2は、検証コストを償却するために、集計技術を証明することにも目を向けています。複数の証明を1つの証明にバッチすることで大まかに機能し、最終的な証明をより迅速にします。
また、これらの市場はライセンスを必要としません。つまり、GPUデバイスを持っている人なら誰でも登録し、マージンを発行し、ZK証明書を生成できます。以前は、ZKロールアップは「集中型プロバー」を使用していたため、GoogleまたはAmazonからGPU/FPGAハードウェアをレンタルしました。
より良い証明システムも起動されています。これらのプルーフシステム（例：GROTH16、HALO2-KZG、STARK、PLONK、EXPANDER）は、ZKプルーフの構築と検証方法のルールをアルゴリズム的に定義します。彼らは良くなっています。つまり、ZKプルーフはより小さく、より速く、より速くなっています。これは、ZKVMのパフォーマンスの改善を意味します。
最後に、ZKVMの上に構築されたZKコプロセッサがあります。これらのことは、基本的に、ZK実行環境に存在しないオンチェーンアプリケーションを許可し、ZKテクノロジーの奇跡を活用できます。これを行う方法は、計算をオフチェーンで移動し、ブロックチェーンの実行と非同期に実行することです。これにより、アプリケーションは複雑な統計をオフチェーンで計算し、ZKで証明し、チェーン上で証明を公開できます。
Frax、Azuki、Etherfi、Gearboxなどのアプリケーションは、LagrangeのZKコプロセッサを使用して、Ethereum L1の制限をバイパスしています。
だからあなたはそれを手に入れます。それがZKが究極の目標である理由です。
