ゼロ知識証明ブロックチェーン プロジェクトを理解するための 1 つの記事

avatar
Chainlink
2年前
本文は約5233字で,全文を読むには約7分かかります
この記事では、ゼロ知識証明ソリューションの独自の利点と、Chainlink の信頼最小化サービスがこれらのプロトコルの分散化、信頼性、セキュリティの向上にどのように役立つかを探ります

ゼロ知識証明ブロックチェーン プロジェクトを理解するための 1 つの記事

ブロックチェーンブロックチェーンこのプロジェクトは、スケーリングとプライバシーの問題に対処します。ブロックチェーンは、ゼロ知識証明テクノロジーを使用してトランザクションのスループットを向上させ、ユーザー ID を検証しながらユーザー データのプライバシーを保護し、複雑な計算を実現し、企業が自社の知的財産権を保護しながらブロックチェーン テクノロジーを使用できるようにします。上記のすべてのアプリケーション シナリオにおいて、ゼロ知識証明は不可欠なキー テクノロジです。

とはゼロ知識証明 (ZKP)?ゼロ知識証明を使用すると、ユーザーは情報を明かすことなく、情報を知っている、または所有していることを証明できます。 「証明者」はシステムに入力された情報を使用して証明を作成しますが、「検証者」は情報の正確な内容を知らずに証明の計算を検証します。最も重要なことは、ゼロ知識証明は、データのプライバシーを保護しながら、データセットの有効性を検証できることです。

この記事では、ゼロ知識証明ソリューションの独自の利点、つまりブロックチェーン プロジェクトが zkSNARK や zkSTARK などのゼロ知識証明テクノロジを使用して、開発者が高度な dApp を作成できるようにする方法について探ります。Web3最初のレベルのタイトル

ネットワークの構築にゼロ知識証明テクノロジーを使用する理由は何ですか?

副題

ゼロ知識証明スキーム VS 楽観的ロールアップ

オプティミスティック ロールアップはレイヤー 2 テクノロジーであり、現在主流の拡張ソリューションです。解析サイトによるとL2Beat統計によると、2022 年 6 月 29 日の時点で、イーサリアム レイヤ 2 ネットワークのロックされたポジションの合計の 74.3% がオプティミスティック ロールアップであり、25.9% がゼロ知識証明スキームでした。

ゼロ知識拡張スキームと楽観的ロールアップの最大の違いは、トランザクション検証の方法です。オプティミスティック ロールアップでは、レイヤー 1 ブロックチェーン上の状態変更紛争を裁定する場合にのみ生成する必要がある不正証明 (不正証拠) を採用していますが、ゼロ知識テクノロジ ソリューションでは、トランザクションの各バッチがパッケージ化およびアップロードされるときに有効なトランザクションを公開します。チェーンへの有効性の証明。つまり、ゼロ知識証明を使用するプロトコルは常に有効であり、そのコストは、基盤となるブロックチェーンの有効性証明を検証するためにより多くのガス料金を費やすことになります。

ただし、zk-rollup とオフチェーン データを組み合わせることで、ガス料金を効果的に最適化できます。このようなより効率的なゼロ知識技術ソリューションには、「validium」と「volition」が含まれます。このようなスキームは、データのプライバシーを明らかにすることなく、状態の正当性を証明することもできます。これは、パブリック チェーンの改善に役立ちます。エンタープライズアプリケーション, 企業はユーザーデータとビジネス機密をより適切に保護できます。

ゼロ知識テクノロジー ソリューションと楽観的ロールアップのもう 1 つの違いは、資本効率です。楽観的なロールアップでは、トランザクションの完了と引き出しまでの標準的な時間枠は 1 週間ですが、ゼロ知識テクノロジ スキームでは、ユーザーは約 10 分で引き出しが可能です。

最初のレベルのタイトルhttps://youtu.be/t-SQQmLhepY

画像の説明

ゼロ知識証明ブロックチェーン プロジェクトを理解するための 1 つの記事

副題

インフラストラクチャー

zk-Rollup

zk-rollup は複数のトランザクションをパッケージ化して Layer1 ブロックチェーン上に公開し、計算の妥当性を検証する証明も発行します。オンチェーンに投稿された証拠は「有効性証明」とも呼ばれます。有効性証明は、SNARK と STARK の 2 つのカテゴリに分類されます。これらの証明が基礎となるブロックチェーンで検証されると、zk-rollup の状態が更新されます。

Validium

スケーラビリティスケーラビリティ。有効性証明は基礎となるブロックチェーン上で公開されますが、データはオフチェーンに保存されます。これにより、スループットが大幅に向上し、ガス料金が削減されます。

Validium は効率と拡張性の点で zk-rollup よりもはるかに優れていますが、攻撃によりデータが利用できなくなったり、ユーザーが資金を引き出すことができなくなる可能性があります。ただし、このデータ可用性の問題は、経済的インセンティブ メカニズムを使用してデータが各ノードに保存され、いつでも利用できるようにする PoS システムを通じて解決できます。攻撃者はトランザクションを一時停止することはできますが、ユーザーの資金を直接盗むことはできないことに注意してください。

Volition

Volition は zk-rollup と validium を組み合わせたものです。ユーザーは zk-rollup または validium スキームの使用を自由に選択できます。これら 2 つのスキームは同じ状態ルートを共有します。たとえ有効性が侵害されたとしても、zk-rollup 上の資金は依然として安全です。

したがって、機関はzk-rollupの安全性と引き換えに高い手数料を喜んで支払う一方、個人ユーザーはより低い取引コストで検証する傾向があり、両者は意志に応じてシームレスに対話できます。例えばDEX副題

有効性証明書

SNARK

SNARKの正式名称は「知識に関するゼロ知識簡潔な非対話型議論」(中国語では「簡潔な非対話型ゼロ知識証明」)。これは、ファイルが小さく、簡単に検証できることを暗号的に証明します。ランダムな楕円曲線要素の離散対数が公開基点から見つからないと仮定した楕円曲線を使用して暗号証明を生成します。楕円曲線の計算コストは​​ STARK のハッシュ関数よりも低いため、SNARK プロトコルのガスコストは低くなります。

STARK

STARKの正式名称は「ゼロ知識スケーラブル透明知識論証」(中国語では「ゼロ知識スケーラブル透明知識証明」)。この暗号証明では、証明者と検証者の間での対話はほとんど必要ありません。 SNARKsに対するSTARKsの最大の利点は、証明時間が短く、拡張が容易であることです。また、STARKはハッシュ関数を使用しているため、量子攻撃にも耐性があります。

最初のレベルのタイトル

画像の説明

ゼロ知識証明ブロックチェーン プロジェクトを理解するための 1 つの記事

副題

zk-STARKを使用したプロジェクト

StarkEx

StarkExこれはイーサリアム上のレイヤー 2 拡張ソリューションであり、STARK プルーフを使用してセルフホスト型トランザクションを検証し、その上でトランザクションおよび支払いアプリケーションを開発します。 StarkEx に基づくプロジェクトには、DeversiFi、Sorare、dYdX が含まれており、これらは数億件のトランザクションを完了し、数千億ドルの取引額を達成しています。ただし、StarkExはスマートコントラクト機能をサポートしていないため、完全に機能するdAppを実現することはできません。

StarkNet

StarkNet開発者が StarkNet を使用してイーサリアムの zk-rollup にスマート コントラクトを展開できる汎用プラットフォームです。イーサリアムの主流の dApps Aave と Maker はどちらも StarkNet でローンチする予定です。アプリケーションのスケーラビリティを向上させるために、StarkEx の zk-rollup を StarkNet でリリースすることもできることは注目に値します。

コンピューティングとスケーラビリティにおける STARK の利点を最大限に活用するために、StarkWare は、STARK プルーフの作成専用の効率的でチューリング完全なプログラミング言語である Cairo 言語を開発しました。これは、StarkWare が開発者エコシステムを活性化するために開発ドキュメント、フレームワーク、その他のツールを必要とすることを意味します。

Immutable X

Immutable XNFT とトークンの鋳造と取引のための NFT プラットフォームです。プラットフォームは StarkEx を使用して独自の zk-rollup を作成します。 Immutable XプラットフォームでのNFTの鋳造と取引量は数百万に達し、イーサリアムネットワークの混雑時でもコストを低く抑えることができます。

副題

zk-SNARKを使用したプロジェクト

Zcash

Zcash以前は ZeroCash として知られていました。名前の「ゼロ」は、プライベートトランザクションを実現するためのゼロ知識証明技術の使用を指します。 Zerocash は初期の暗号化プロジェクトの 1 つであり、業界でのゼロ知識証明テクノロジーの適用を促進しています。

Loopring

Loopringこれは、オーダーブックトランザクションをサポートし、ユーザー資産をホストしないイーサリアム上の DEX です。 Loopring は Chainlink Price Feed に接続されており、数十億のトランザクションを持つ数十万のユーザーにサービスを提供しています。

zkSync 1.0 

zkSync1.0 はイーサリアムのロールアップです。 StarkEx と同様に、トークンの転送と交換をサポートしますが、スマート コントラクトはサポートしません。このプロトコルは Matter Labs によって開発されました。

zkSync 2.0

StarkNet と同様、zkSync 2.0 もイーサリアムのレイヤー 2 拡張ソリューションです。 Volition インフラストラクチャは、スマート コントラクトをサポートするために採用されています。 zkSync は、zk-SNARK を使用してトランザクションを検証し、PoS システム zkPorter を使用してデータの可用性を保証します。 zkSync 2.0 と StarkNet の主な違いは、前者は有効性証明に加えて EVM と互換性があることです。 1inch、Alchemix、Curve はすべて zkSync 2.0 でリリースされる予定です。

ZigZag

ZigZagこれは、オーダーブックモデルを使用してERC-20トークンを取引する分散型取引プラットフォームです。対照的に、ほとんどの DEX は自動マーケットメーカー(AMM) モード。 ZigZag のオーダーブック モードは、zk-rollup の強力なスケーラビリティの恩恵を受けています。 zkSync レジストリ内のトークンはすべて ZigZag で取引できます。このプロトコルは現在 zkSync 1.0 で実行されていますが、zkSync 2.0 および StarkNet でリリースされる予定です。

Mina 

Mina最初のレベルのタイトル

ゼロ知識証明プロトコルが分散化、信頼性、セキュリティをどのように向上させるか

オラクルオラクルサービスによりセキュリティが向上し、自動化が可能になります。 Web3 エコシステムのプロトコルは、Chainlink の信頼を最小化したサービスを使用して外部 API にアクセスし、安全なオフチェーン コンピューティングを使用してより高度なアプリケーションを作成できます。

ゼロ知識証明プロトコルでは、次のサービスを使用して dApp のパフォーマンスを向上させることができます。

  • 正確な市場データ——Chainlink Price FeedsのためにDeFi経済的護衛。分散型ステーブルコイン、融資プロトコル、取引プラットフォームなど、さまざまなユースケースに非常に信頼性が高く正確な市場データを提供します。

  • 検証可能な乱数 -Chainlink VRF乱数と暗号化された証明を作成し、検証のために一緒にチェーンにアップロードできます。 NFT プラットフォームは、乱数を使用して公平かつ検証可能な方法で NFT を鋳造できます。ブロックチェーン ゲームでは、乱数を使用して予測不可能なゲーム体験を作り出すことができます。

  • スマートコントラクトの自動化 -Chainlink Keepersこれは、指値注文トランザクションの決済、清算の実行、トークンのリベースなど、主要なスマート コントラクト機能を自動的にトリガーできる分散型トランザクション自動化サービスです。

  • 埋蔵量の証拠—チェーンリンクの埋蔵量証明リザーブ資産は暗号事実に基づいて自動的に検証されるため、ゼロ知識証明プロトコルのリスクが軽減され、透明性が向上し、DeFi のシステムリスクが回避されます。

  • クロスチェーンコミュニケーション——クロスチェーン相互運用性プロトコル (CCIP)最初のレベルのタイトル

DECO はあらゆるブロックチェーン プロジェクトを強化します

プロジェクトはゼロ知識証明技術を採用する必要があり、zk-rollup、validium、volition に加えて、Chainlink DECO も選択できます。現在のところ、DECO画像の説明

ゼロ知識証明ブロックチェーン プロジェクトを理解するための 1 つの記事

DECOを使用したChainlink Oracleノードは、データの内容を公開することなくデータの実在を証明できます。

オラクルノードは、データが信頼できるサーバーからのものであることを証明し、チェーン上のデータコンテンツを隠すことができます。また、TLS の管理過程が維持されるため、データの出所も証明できます。このテクノロジーにより、次のようなさまざまな高度なユースケースが可能になります。CanDID待って分散型アイデンティティ (DID)このプロトコルにより、ユーザーはサードパーティを介さずに自分自身で ID 情報を管理できるようになります。さらに、DECOは権威ある機関にアクセスしてユーザーの信用スコアが基準を満たしているかどうかを確認すると同時に、ユーザーの個人情報を一切開示しないことで、DeFiプラットフォーム向けの低金利ローンを実現することもできます。

要約する

要約する

ゼロ知識証明とその基盤となるブロックチェーンおよび分散型オラクルネットワークの組み合わせは、ブロックチェーン業界の変革を促進するはずであり、プロジェクトチームはユーザーのプライバシーを保護しながら、高い拡張性と費用対効果を備えたアプリケーションを開発していきます。

他のレイヤー 2 ソリューションは一部のアプリケーションにとってより優れたインフラストラクチャを提供する可能性がありますが、ブロックチェーン業界が発展し続けるにつれて、zk-rollup、validium、および volition はより多くの個人ユーザーを獲得し、企業好意の。

最初のレベルのタイトルDiscord質問するか、Chainlink の専門家とチャットしてください電話コミュニケーション

参考文献

オリジナル記事、著者:Chainlink。転載/コンテンツ連携/記事探しはご連絡ください report@odaily.email;法に違反して転載するには必ず追究しなければならない

ODAILYは、多くの読者が正しい貨幣観念と投資理念を確立し、ブロックチェーンを理性的に見て、リスク意識を確実に高めてください、発見された違法犯罪の手がかりについては、積極的に関係部門に通報することができる。

おすすめの読み物
編集者の選択