ポリヘドルの分析：なぜZKテクノロジーズは氷山の一角しか発見できないのか？

Author: Hao Tian; Source:Chain View

パラダイムがサッキンクトに4,300万ドルで先行投資したニュースは最近、プライマリー市場を賑わせたが、ちょうど東穀取の@.PolyhedraZKの資金調達総額は7500万ドルに達している。これは、ZKPの基礎となる技術設備が、資本市場にどれほどの期待を担っているのかを物語っている。

実際には、ZKはレイヤー2の拡張を行うには、チェーン全体で相互運用することができ、限られた可能性を利用されている、ZKの技術の想像空間はまだ非常に大きいです。多面体は、@SuccinctLabs  @RiscZero  @ProjectZKM    などのZKP技術ベースのインタラクティブに操作通信クラスのプロジェクトは、彼らはZK技術の大規模な採用のために、ZK技術の可能性を探求しようとしている。

ZKゼロ知識証明技術を理解する人のほとんどは、「プライバシー」、「スケーリング」、「チェーンの抽象化」のためだけです。ほとんどの人がZKについて知っているのは、この技術の「プライバシー」、「スケーリング」、「連鎖の抽象化」という側面からですが、ZKがなぜそのようなことができるのか、そして今日その可能性が最大限に生かされているのかについて考える人はほとんどいません。

この「誤った解釈」の理由は、本当のZKテクノロジーは、今まさにその潜在能力をフルに使っているに過ぎず、それらはlayer0、zkSync、Optimismなどのスタープロジェクトのサービスのさらに上流にあるからです。

ポリヘドラはlayerZeroにzkBridgeクロスチェーン資産移転ソリューションを提供し、RISC ZeroはOP-RollupsにZK不正証明システムを提供し、不正証明の時間損失を削減します。ZKMはZK General-Purposeを使用して安全で検証可能な計算を行い、最終的にイーサがグローバルな決済レイヤーとなるよう支援します。

要するに、これらのZK基盤技術プロジェクトはそれぞれ、異なる観点からZKゼロ知識証明技術の大規模な採用を模索しており、いくつかの重要な課題の克服に取り組んでいます：

1.汎用ゼロ知識証明技術の開発、2.

2.分散証明システムの構築、

3.ZK証明プロセスにおける計算消費量の最適化、

3.ZK証明プロセスにおける計算消費量の最適化;

4.複数のプログラミング言語と互換性のある開発環境の提供;

5.PC、モバイル、IoTデバイスなど、ZK証明の計算をサポートするハードウェアの範囲の拡大。

「RISC Zero」、「Succinct」、「ZKM」など、より上流の技術サービスに比べ、@Polyhedraは、対話的に操作する「クロスチェーンブリッジ」という、現在の市場の着地点に近い問題を解決しようとしている。説明のために、より身近なzkBridgeを例にとり、ZKPの技術の真髄をお見せしよう。

ポリヘドラは、分散ZK証明システムdeVirgoを構築しました。Virgoはオープンソースで、開発者が非対話的なゼロ知識証明プロトコルを構築して検証するのに役立ちます。Virgoはオープンソースの非対話型ZKPプロトコルで、開発者が非対話型ZKPを構築・検証するのに役立ちます。ノードが「信頼できる初期化」を行うことなく、パーミッションレス証明者になることができます。deVirgoはVirgoプロトコルに基づく効率的な分散ZKPプロトコルで、複数の分散コンピューティングネットワークをサポートし、同時に証明生成時間を短縮することができます。

deVirgo分散証明システムに基づく最初のzk-SNARKプロトコルはzkBridgeであり、クロスチェーン環境におけるクロスチェーン情報通信、アセットクロスチェーン、データ共有の実現を目指しており、すでに25チェーン以上のクロスチェーン通信サービスを実現しています。layer0はPolyhedraが提供するzkBridgeサービスを採用し、layerZeroはチェーン環境全体におけるチェーン、DAppなどのインフラ構築サービスに重点を置いている。

なぜzkBridgeがそれほど重要なのか？それは、POSパブリックチェーンノード自身の機能を直接活用して、「コンセンサスレイヤー」の通信対話を可能にするからです。

一般的に、AとBの2つのチェーン間で相互運用性を実現したい場合、通常は独自のコンセンサスメカニズムと分散検証ノードを持つ「チェーンの中のチェーン」を構築し、チェーンをまたいだ相互作用の資産セキュリティを確保します。サービス能力を向上させるため、中継チェーンはスマートコントラクトをサポートする各チェーンに対話型スマートコントラクトを展開し、中継チェーンのスマートコントラクト全体が各チェーンに分散されたスマートコントラクトの資産を管理する。

例えば、ユーザーがチェーンAからチェーンBへの資産移転を開始すると、リレーチェーンはまずチェーンAのスマートコントラクトが特定の資産をロックすることを許可し、次にチェーンBのスマートコントラクトが特定の資産をリリースすることを許可する。リレーチェーンの全プロセスは、異なるチェーン間で資産が正しくロックされ、リリースされることを保証するために、チェーンの操作のすべての記録を聞く必要がある。このようにして、中継チェーンは資産の総量のバランスを管理し、二重支出などの事態の出現を避けるために帳簿を管理することができる。

しかし、リレーチェーン自体が信頼コストの余分な層になり、唯一のユーザーがリレーチェーンを信頼し、リレーチェーンは、各同型チェーン環境で同じ相互作用標準スマートコントラクトを構築する必要があります、あなたはBTCこの種の非スマートコントラクトチェーンに遭遇した場合、資産の安全な循環を確保するために追加の開発を実施する必要があります。

要するに、リレーチェーンが提供するクロスチェーンサービスは、最終的には、スマートコントラクト全体の管理の背後にあるセキュリティ委員会でテストされることになり、その背後にあるIDを持つ人々のグループによって管理されるか、MPCのマルチシグネチャ管理機関によって「不信の要因」となっている。"

最も一般的なクロスチェーンソリューションとして、ほとんどのレイヤー2は資産を保護するためにセキュリティ委員会のガバナンスを使用しており、委員会グループが一度悪事に手を染めると、そのダメージは取り返しのつかないものとなります。

zkBridgeのすごいところは、2つのチェーン間のコンセンサスレイヤーを維持するノードが直接通信を確立し、安全にコントロールできるように、zkゼロ知識証明技術の可能性をフルに発揮させることであり、相互運用可能なクロスチェーンを提供するdeVirgo分散システムは相互運用性を提供するdeVirgo分散システムは、特定のリレーチェーンではなく、むしろオープンソースの無免許で信頼できる三者間コンポーネントのようなものである。

チェーンAのノードは、deVirgoでzk-SNARKsステータスを生成することで資産移転宣言を開始することができ、チェーンBのノードは、非常に低い計算量と時間のかかるコストで、deVirgoで直接ZKP証明の正しさを検証することができます。

明らかに、zkBridgeはMPC Multi-Signature Security CommitteeのRelay Chain Serviceよりも市場の信頼を得やすい技術的なサービスソリューションであり、実際にはより安全で効率的です。(注：これはあくまで相対的な概念であり、多くのクロスチェーン・プログラムが依然としてMPCマルチシグネチャである場合、ZKインフラはさらに強化されなければなりません）

zkBridgeは、ポスチェーンの全ノードが証明生成と検証プロセス全体に参加することを直接許可することができますが、迅速で水平的な広範な拡張を助長するものではありません。Polyhedraは、zkLightClientライトクライアントでこの問題を解決します。

1.ライトクライアントを採用することで、リソース要件が削減され、ストレージ、帯域幅、および計算リソースの消費が少なくなります。

2.ライトクライアントを採用することで、非スマートコントラクトチェーンまたは他の異種チェーンとの水平互換性が可能になり、より広範な相互運用性が提供されます。

2.ライトクライアントを採用することで、非スマートコントラクトチェーンや他の異種チェーンと水平互換性を持つことができ、より幅広い相互運用性を提供することができます。 例えば、BTCチェーンの場合、資産の移転を制御する唯一の方法は、ライトクライアントとハッシュタイムロックを使用することです;

3.レイヤーゼロエイドの軽量な統合を備えたライトクライアントを採用することで、開発者の敷居を簡素化し、開発サイクルを短縮し、チェーンインフラ全体の普及を加速することができます。

ゼロ知識証明の計算、検証、通信プロセスは一連の処理操作を必要とするため、コスト、消費、適時性の問題を天秤にかけると、克服すべき技術的課題が多すぎます。ある程度、「チェーンの中のチェーン」クロスチェーン・ソリューションが市場で選ばれるのは理にかなっている。

しかし、先を見据えると、Polyhedra、Succinct、ZKM、RISC ZeroなどのZKクロスチェーン・ソリューションは、軽量、高効率、低エネルギー消費のために改良され、最適化されている。

例えば、Polyhedraは、deVirgoと改良された署名スキームを活用して、Single Slot Finality シングル・スロット・ファイナリティ、BLS、ストレージとデータ伝送を削減するために、複数の署名を1つにまとめることができるデジタル署名スキームを開発しました。データ伝送を削減する。BLS署名をZKPと組み合わせることで、署名そのものを送信して検証する必要なく、必要な署名の一部が完了したことを証明するコンパクトな証明を作成することが可能になります。その結果、待ち時間が短縮され、各スロット・ブロックが生成されると同時に最終的な決定論が可能になります。

さらに、BTCレイヤー2がメインチェーン資産の決済レイヤーとしてBTCを使用する必要性が高まる中、PolyhedraはEigenlayerのDual Pledge Economyシステムを借用することで、ビットコインに信頼最小限の相互運用性を与えるために、特にビットコインAVSノードシステムを設定しました。同時に、BTCとETHの二重マッピング流動性プールと、共同ロック資産の形でメーカーの役割と、FRI特殊符号化法のアプリケーションでは、ビットコインで達成することができます直接ZKの証明を確認し、最も困難なリンクのZKチェーンの相互運用性を完了します。

ZKは、レイヤー2のエンドゲームだけでなく、チェーン全体のインフラストラクチャのエンドゲームになることを目指しています。

上記

これらは、ZKが私たちにとって非常に重要である理由の一部です。align: left;">ポリヘドラは、ZKPテクノロジーの代表として、あらゆる種類のZKPソリューションの導入を加速しており、上記はその一部に過ぎませんが、テクノロジーの基盤となるフレームワークとしてのZKPの優位性を明確に感じていただくためです。

実際、ZKPトラック全体の可能性は、ポリヘドラが提供するものよりもはるかに大きいのです。ZKP 技術の大衆化を加速し続けるために、ZK 技術インフラのより多くの主要な上流サプライヤーが、ZK Crosslink Bridge、ZK Lightweight、ZK General-Purpose、ZK Coprocessor、ZK Distributed Prover System などの垂直セグメントに取り組んでいます。

各ZKセグメンテーションの方向性の成熟は、業界を再形成する効果をもたらすと言っても過言ではなく、現在私たちが目にしているZK技術の応用は氷山の一角に過ぎません。