最近、私はzkpと呼ばれることが多いゼロ知識証明を勉強しています。
以前は、zk のほうが op よりも優れている、たとえば、zk のほうが速い、便利、安全などということだけを考えていました。これらの一般的な意見は、実際には重要な点、つまり、なぜ op より優れているのか、何が優れているのかを無視していました。 zkの本質は？
zk で使用される証明方法の 1 つは、snark と呼ばれます。この証明方法は非常に興味深いもので、証明者は特定の計算が完了したことを示す証明を生成し、検証者は証明の正しさを検証するだけで済みます。これは本当に起こりました。
この説明は少し抽象的かもしれませんが、「証明」の問題を説明するために、より鮮明な比喩を使用します。
計算する必要がある大規模な AI モデルがあるが、対応するコンピューティング ツールが手元にないとき、Xiao Ming が出てきて、料金を支払えば計算を手伝ってくれるマシンがあると言いました。 10 日後、シャオ ミンは AI の結果を出します。「明日の株式市場は下落します。」この時点で、シャオ ミンが本当に計算に役立ったかどうかをどう判断しますか?それとも「シャオミンは信頼できるのか？」という結果だけを伝えて放っておいたほうがいいでしょうか？検証する最善の方法は、もう一度計算してくれる人を見つけて、その 2 人の結果を比較することです。ただし、結局のところ、自分で計算するのが最も信頼できる場合もあります。問題は、この複雑な AI 計算を実行するツールが不足していることです。
では、この信頼危機の問題をどのように解決すればよいのでしょうか?
賢い数学者はスナークと呼ばれる証明方法を発明しました。この方法の特徴は、計算プロセスの各ステップが記録され、これらの中間結果が一連の代数的変更を通じて形成され、いわゆる証明と呼ばれる小さな証明を形成することです。 . 「証明」ですが、この証明の特徴は計算過程と強く関係していることです。計算過程が期待とずれると証明が変わってしまいます。
検証者、つまりあなたは、この証明が正しいことを証明して、シャオ・ミンが私の言ったことを実行し、結果をでっちあげていないことを確認するだけで済みます。
証拠を生成するプロセスは非常に複雑であることを思い出していただきたいのですが、証拠を検証するプロセスは非常に簡単です。つまり、受領者として必要なのは、証明が正しいこと、つまり取引が合理的であることを確認することだけです。この場合、自分で計算を行う人を見つける必要はありません。これにより、検証時間が大幅に節約されます。
つまり本質的に、zkp は人々の間の信頼の問題を解決します。 zkp は、スーパーバイザーとしての第三者の関与なしに、見知らぬ 2 人がどのようにして効果的に通信し、取引できるのでしょうか?
同様に、ブロックチェーンの世界にマッピングされる場合、レイヤー 2 はなぜ zkp を使用するのでしょうか? 複雑な計算をオフチェーンに置くことができ、チェーンへのアップロードのプロセスは証明を検証するだけ、または証明を保存するだけで済むからです。土地が貴重なメインネットブロックにとって、これは容量拡張のための最良のソリューションの 1 つです。
zkp を理解することで、私は 2 つのことに気づきました。1 つ目は、zkp はイーサリアムの輻輳問題を解決できるだけでなく、実生活でのセキュリティ証明の方法を提供し、人々の間の協力を促進することです。2 つ目は、人々のイノベーションのほとんどが実際に行われているということです。例えば、人は生まれながらにして怠け者なので、それを避けるためにテクノロジーを導入する必要があります。もっと見る あなたが幸せであれば、ビジネスチャンスが生まれます。