ゼロ知識 (ZK) 証明の詳細を学ぶ

今年、ゼロ知識証明 (ZK 証明) が暗号通貨の世界で普及しましたが、暗号学者やプログラマーではない人は混乱するかもしれません。

ZK プルーフは、その見た目とは裏腹に複雑です。これらにより、証明者は詳細を共有することなく、その知識を検証者に簡単に示すことができます。これには、証明者が情報について議論する必要はありません。

1980 年代半ばには、このアイデアの先駆者となった学者はほとんどいませんでした。それ以来、これは検証可能な計算のための現実的なメカニズムとなり、ZK プルーフがより重要である Web3 環境のフレームワークを築きました。

ブロックチェーンにおける ZK: 変わりつつある役割

ZK 証明は、ブロックチェーン技術以前の理論暗号に存在していましたが、ブロックチェーンの分散化により、ZK 証明はより可視化され、目立つようになりました。本質的に、ブロックチェーンは公開台帳です。取引に関係なく、あらゆる詳細が文書化され、一般に公開されます。

ブロックチェーン技術は透明性を提供しますが、ユーザーのプライバシーは大きな懸念事項です。

ZK プルーフは、ブロックチェーンのプライバシーと公開性の競合を解決します。トランザクション情報を公開せずにトランザクション検証を提供し、ユーザーのプライバシーとブロックチェーンの不変性を維持します。

重要なブロックチェーンの進歩である検証可能なオフチェーン計算は、過去 10 年間で Web3 上の ZK 証明の顕著な使用例になりました。

スケーラビリティ問題の解決策を見つける試み

検証可能なオフチェーン コンピューティングは重要ですが、その前に、スマート コントラクトの厳しい制限について議論する必要があります。本質的に、スマート コントラクトには 3 つの大きな欠点があります。

• スマートコントラクトが取得できる情報の種類には制限があるものがあります。たとえば、トークンの価格やブロックチェーンに保存されていないものに関する情報を取得することはできません。

• ブロックチェーンのデータ保存機能: ブロックチェーンは大量のデータを保持するように作られていません。それを実行に移すには、莫大な費用と時間がかかります。

• 彼らができる考え方: スマート コントラクトは、高額なガス代を支払う必要がない場合にのみ、条件付きロジックの最も基本的な形式を使用できます。

  
  

ブロックチェーンが Web3 エコシステムのニーズを満たすように拡張するには、これらの問題を解決する必要があります。ありがたいことに、ZK は Web3 とともに成長してきました。

ブロックチェーンから一部のデータと計算労働力をオフロードすることで、ネットワークの限られたストレージとコンピューティングをエレガントに解決できます。

基礎となるデータをすべて共有することなく、オフチェーン アクティビティを実行でき、ZK プルーフを使用してオフチェーン操作の簡潔で信頼できる概要をメイン チェーンに配信できることが明らかになり、ブロックチェーン テクノロジーは変化しました。この分野の進化するプロトコルを調べてみましょう。

ZK の次の世代全体

分散ストレージ上の ZK プルーフと ZK ロールアップはブロックチェーンの可能性を拡大しましたが、重要なことがまだ欠けています。分散ストレージの可能性は見た目以上にあります。

データストレージは重要ですが、これらのプラットフォームはデータの取得（「コンピューティング」ではない）以上のことはできないため、その適用性は制限されています。複数のコンピューティング ジョブを実行できる ZK ロールアップも、ギャップを埋めることはできません。