私たちはさらに深く進んでいます。このシリーズを通じて、私たちは毎日「ゼロ知識証明」(ZK proof)について言及してきました。これこそがネットワーク内のすべての活動を保証する「暗号のパズル」の重要な部分です。今日は、この素晴らしい技術をよりよく理解し、なぜそれが@lagrangedevのアーキテクチャにおけるコア要素であるのかを理解するために一日を費やしましょう。 ゼロ知識証明とは何ですか？ 秘密を明かさずに秘密を証明する ゼロ知識証明 (ZKP) は、ある側 (を呼ぶ証明者 – Prover) が、他の側 (を呼ぶ検証者 – Verifier) に対して、ある命題が真であることを証明する方法であり、その命題の正しさ以外の情報を開示する必要はありません。 次の状況を想像してください: あなたには色盲の友達がいて、目の前には二つのビー玉があります。彼らには全く同じに見えますが、あなたは一つが赤で、もう一つが緑であることを知っています。どうやって、どちらのビー玉が赤で、どちらが緑であるかを明かさずに、二つのビー玉が異なる色であることを証明しますか？ それを行う方法: 色覚障害の友人が背中に2つのビー玉を隠し、その後1つを取り出します。あなたは取り出されたビー玉の色を記憶します。その後、彼らは2つのビー玉の位置を入れ替えるか、そのままの位置に置いて再び1つを取り出します。色に基づいて、彼らが入れ替えたかどうかすぐにわかります。 もしあなたが一度正解したなら、それは単なる運かもしれません(50/50)。しかし、10回、20回、または50回繰り返してすべて正解した場合、運に基づく確率はほぼ0になります。したがって、あなたは自分がその色の秘密(を知っていることを証明したことになりますが、その秘密を明かすことはありません。それが「ゼロ知識証明」– 情報を開示しない証明です。 LagrangeはZKPをどのように応用していますか？ #lagrangeエコシステムでは、ZKPはZKコプロセッサのエンジンです。dAppがLagrangeに複雑な計算を実行するよう要求する場合 – 例えば、何千もの取引から資産の平均価格を計算する場合 – State CommitteesはProver )証明者(の役割を果たします。
