ゼロナレッジプルーフ（ZKP）は、Web3で最も基本的なテクノロジーの1つになります

ゼロ知識の証明は、Web3の最も基本的なテクノロジーの1つであり、ほとんどのプロジェクトはゼロ知識証明に関連しています。つまり、ゼロ知識の証明は深い影響を与え、Web3の隅々に侵入します。

ここに写真を保管してください！（これの終わりに、2年後に振り返ってください）

最初にWeb3とは何かについて話させてください。簡単に言えば、Web3は分散型インターネット（分散型Web）です。地方分権について話さない場合は、Web3について話してください。

不可能な三角形の前提

地方分権化に関しては、ブロックチェーンは不可欠です。ブロックチェーンといえば、ブロックチェーンの不可能な三角形から逃れることは不可能です。言い換えれば、分散化、スケーラビリティ、セキュリティを同時に取得することはできません。

しかし、これには前提条件があります。つまり、特定の技術条件の下にあります。特定の技術条件下では、1つまたは2つの側面が改善される場合、他の側面は必然的に犠牲になります。。たとえば、多くの現在のプロジェクトは、数千と数十万に達するTPを達成できると主張しています。セキュリティと分散化を犠牲にするだけで、他に何もありません。したがって、このタイプのプロジェクトには強力なセキュリティベースがありません。実際、インターネットプロジェクトはWeb3シープスキンを承認しました。羊の頭で犬の肉を売るようなものです。

テクノロジーが進む場合はどうなりますか？

しかし、それらの両方を持つことは不可能ではなく、これにはそれを達成するために技術の進歩が必要です。テクノロジーがブレークスルーを行うと、全体的な改善を達成できます。簡単な例を示すために、コンピューティングパワーとネットワーク速度が向上した場合、セキュリティと分散化を犠牲にすることなくTPSを改善できます。

技術の進歩は、一方的なブレークスルーまたは万能のブレークスルーにつながる可能性があります。たとえば、ストレージプルーフの開発により、POCコンセンサスはPOWコンセンサスで同様のセキュリティを達成することができるため、ブロックチェーンは分散型基本信頼を提供するためにエネルギーを消費する方法を使用する必要がない場合があります。ビザンチンのコンセンサスの開発と幅広い適用により、セキュリティ要件が特に高くないシナリオが可能になり、POSに基づいたダウングレードセキュリティベースが提供されました。暗号化の開発と進歩により、トランザクションセキュリティが強化され、セキュリティと使いやすさが考慮される可能性があります。ゼロ知識証明の開発は、すべてのラウンドブレークスルーを提供する可能性があります。つまり、地方分権、セキュリティ、およびスケーラビリティに総合的な支援を提供できます。

ゼロ知識の証明とは何ですか？

簡単に言えば、ゼロ知識の証明は、一方の当事者（ProveRifier）が追加情報を提供せずにいくつかの情報が真実であることを他方の当事者（Verifier）に証明できるようにする暗号化方法です。

簡単に言えば抽象的です、ここに2つの側面があります：
1。証明：証明文字列（固定長のクラスの乱数）を使用して何かを証明することです。これは、保存されたデータ、完成した計算などです。

2。ゼロ知識：つまり、関連する情報が漏れないことを証明しましたが、特定の計算情報と入力データは開示されません。

それはまだ抽象的です。たとえば、Baidu Netdiskのデータを保存している場合、Baidu Netdiskがデータを失ったり改ざんしていないことを知っていますか？あなたはそれをダウンロードして比較をしない限り、それは手間がかかるので、あなたは単にそれを信じることを選択します、そして、本当に何かが起こった場合、後でそれを訴えます。

たとえば、プログラムを実行するためにAlibaba Cloudで仮想マシンをレンタルしました。このプログラムの実行結果が正しいことをどのように知っていますか？あなたはそれが正しいと仮定しているだけです。あなたが考えているのは、なぜアリババの雲が私にそんなに激しく嘘をついたのですか？だからあなたはそれを信じています。しかし、ここには保証も証明もありません。

ただし、テクノロジーが進歩した場合、Baidu NetdiskまたはAlibaba Cloud Computingプラットフォームは、各ストレージまたは計算後に簡単に検証できる証拠と数学的に厳格な証拠を提供できます。あなたは単に信じることを選択しません、あなたは確認することを選択できます。これは、分散型ネットワークで特に重要です。信頼しないで、確認してください！

これらの証明が公開されている場合、つまり、プライバシーを公開せずにそれを検証できる場合は、完璧です。これはゼロ知識の証明です。

なぜゼロ知識の証拠がどこにでもあるのか

まず、Baidu NetdiskまたはAlibaba Cloudがそのような証拠を提供しない理由を見てみましょう。理由は単純です。使用コストは依然として非常に高くなっています。簡単に言えば、プルーフを生成することは、再びそれを行うよりもはるかに高価です。

ただし、この状況は分散型ネットワークではわずかに異なります。まず、分散ネットワークは非常に高価です。これは、Ethereum Computingなど、ガソリン料金を見るだけでわかるでしょう。各ノードは同じ計算を繰り返し行う必要があるため、これは非常に高価です。したがって、集中計算のコストは数千倍です。また、オフチェーンを計算して証明をチェーンに直接送信できる場合、計算は安全であることを保証する必要があります。これがZkrollupの理論的根拠です。ほとんどのZkrollupの計算は集中化されていますが、それらの計算は検証のために分散ネットワークに提出され、レイヤー1のセキュリティを借用し、ネットワークは階層を通じて拡張されます。言い換えれば、ネットワークは拡大していますが、セキュリティは弱体化しておらず、分散型ドックは依然として同じです。

Ethereum Layer 1のセキュリティベースをゼロ知識証明で活用できるのは、Zkrollupだけではありません。また、レイヤー1を直接革新することもできます。ゼロ知識証明では、レイヤー1で繰り返し計算を行う必要はないようです。分散検証が必要です。減価償却は、ZKVMにつながります。Aleoは、ゼロ認識証明を使用して、チェーン内の検証を実行します。

したがって、Zkrollupはレイヤー1からゼロ知識の証明を拡張できるため、他のアプリケーションも問題ありませんか？もちろん。これが、多くのアプリケーションがレイヤー2を直接実行し、セキュリティを借りるためにメインチェーンに直接証明を提出し、分散化された信頼を実現する理由です。このようにして、多数のWeb2アプリケーションを安全なブロックチェーンネットワークに接ぎ木でき、BTC、Ethereum、またはFilecoinに直接接続できます。

ゼロ知識証明を基礎として、Web2アプリケーションをWeb3に転送する機会があります。可能なWeb3アーキテクチャは次のとおりです。

それらが使用するコンセンサスは、主にPOC、またはすでに強力な生態系の信頼を確立し、セキュリティ基盤を持っているいくつかのブロックチェーンネットワークがあります。
ゼロ知識証明サービス、リンクアプリケーション、安全なブロックチェーンネットワークを提供するために使用されるゼロ知識証明のサービス層。
分散型ストレージネットワーク、DAレイヤーの構築、ゼロ知識証明テクノロジーを使用して、プライバシーとデータセキュリティを確保します。
さまざまなアプリケーションが集中化されたアプリケーションは、ゼロ知識証明サービスレイヤーを介して証明を構築し、ブロックチェーンネットワークを通じて検証して、正しい分散型ストレージネットワークを採用します。誠実さ。

待つのにどれくらい時間がかかりますか？

誰かが尋ねています、それは現在のWeb3アプリケーションがこのようではないようです？そうです、それはまだ苗木ではありません。

アプリケーションレベルから、現在のWeb3は契約をレイヤー1に配置し、セキュリティを提供するために繰り返し計算に依存するか、トークンを契約に入れてWeb3として偽装します（分散型セキュリティ保証はありません）。歓迎すべき傾向は、多くのWeb3プロジェクトをロールアップで実行できるため、レイヤー1を使用してOPまたはZKメソッドを介してセキュリティを提供できることです。ただし、Web3は依然として非常にニッチであり、主にGameFiについて数年間話し合っていることがわかります。

分散型ストレージ（十分な分散型DAネットワーク）がなければ、データを分散化することはできず、Web3では大量のデータ相互作用を備えたアプリケーションを使用できないと想像してください。さらに、ゼロ知識証明技術は理論上の実現可能性を証明しているだけであり、その効率と費用対効果は、エンジニアリングと方法の点で大幅に改善する必要があります。これらの2つの部分は、Web3の将来の開発の鍵です。両方の面で実質的なブレークスルーが行われると、インターネットの分散型時代全体が来て、Web3時代が来ます。その時までに、Baidu CloudであろうとAlibaba Cloudであろうと、そのサービスを分散型の信頼ネットワークを介して検証できることを証明する必要があります。

待つのにどれくらい時間がかかるかわかりません。しかし、傾向は明らかです。短期的にはあまりにも高い期待を抱いておらず、おそらく次のサイクルにある長期的な開発の力を過小評価しないでください。