ラグランジュの世界へようこそ $LA – ZK コプロセッサ

私たちはさらに深く進んでいます。このシリーズを通じて、私たちは毎日「ゼロ知識証明」(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 )証明者(の役割を果たします。

1. 計算を実行する – システムの「秘密」 各州委員会は、この重い計算プロセスをオフチェーンで実施します。これが「秘密」です – 結果が生成される方法です。
2. ZKプルーフの誕生 - 暗号プルーフ 最終結果だけを送信する代わりに、ラグランジュはZKプルーフを生成します。これは、全体の計算が規則に従って正確に実行されたことを保証する小型の暗号証明です。
3. 検証 – 高速、コンパクト、絶対安全 この証拠はスマートコントラクトオンチェーンに送信され、Verifier )検証者(の役割を果たします。ZK証明の検証は非常に迅速で、わずか数ミリ秒しかかかりませんが、絶対的な正確性を保証します。ブロックチェーンはその重い計算を再実行する必要はなく、侵入不可能な数学を信じるだけで済みます。 なぜこれが重要なのですか？ このメカニズムにより、ラグランジュは提供します: 巨大なスケール )スケーラビリティ(: 複雑な計算がオフチェーンで処理されながら、整合性を保つ。絶対的なセキュリティ )セキュリティ(: 信頼はサーバーからではなく、純粋な数学から来る。コスト最適化 )効率(: ブロックチェーン上でのコストと検証時間を大幅に削減。 これは、Lagrange $LA ZK Coprocessor の核心的な力です。信頼は人間や機械を信じることによって築かれるのではなく、数学の不変の法則によって築かれます。