ゼロ知識証明を主流に持ち込む3つのプロジェクトを一文で理解する

原題：《3 Must-Know Projects Bringing Zero-Knowledge Proofs to the Mainstream》

著者：NAIROLF、SENSEI WU

編訳：Kate、火星财经

あなたはゼロ知識証明の素晴らしい世界を探求する準備ができていますか？この記事では、3つの興味深いプロジェクトを紹介し、前例のない方法でzk証明を説明します。

ZKこれ、ZKあれ、兄弟、もうやめてくれ。Starknetは毎月8人のユーザーしかいない、これは失敗したエアドロップで、誰もZKのロールアップに関心がない。まあ、少し落ち着いて。この技術は非常に素晴らしい。

まず、ゼロ知識またはZK証明が一体何であるかを理解することから始めましょう。例を挙げましょう！

ジョンは美しい虎を描くのが好きですが、友達に自分の絵を見せるのが怖いです。彼は恥ずかしがり屋です！

彼の友達は彼のスキルを疑っています。彼らは彼が絵を描いているのを見たことがありません！しかし、ジョンには計画があります。大規模な虎の絵画コンペティションが開催される予定です。進出するには、魔法の虎を描かなければなりません。

もしジョンがコンペに参加して資格を得れば、彼の友達は彼が虎を描けることを知るでしょう。彼らは彼が絵を描いているのを見ませんが、最終的には彼を信じるでしょう。

ジョンはコンペに参加し、虎を描いて審査員に感銘を与えました。彼の友達はついに彼を信じました！この男は虎を描ける。

これはまさにzk証明のようです。直接見せるのではなく、何も明かさずにそれを証明するのです。ジョンの証明は彼の資格です。彼の友達は彼が絵を描いているのを見たことがありませんが、彼らは彼ができることを知っています。

ご存知のように、zk証明の利点の一つは、提供されるプライバシーです。

しかし、これが唯一の利点ではありません。詳細には深入りしませんが、zk証明はより速いことも覚えておいてください。これは理にかなっています。もう一度私たちの例を振り返ると、ジョンはすべての友達に一人ずつ虎の描き方を見せる必要はありません。彼はただコンペの招待状を提示しました。

さらに、メモリ効率も高いです。他の証明システムと比較して、これらの証明はより少ない作業量でより大きな計算を検証できます。

しかし、問題があります：これらの証明はいつか検証されなければなりません。仮にジェームズがあなたに彼がコンペに選ばれたと言ったとしましょう。良いですが、あなたはそれが本当か確認したいですよね？

残念ながら、イーサリアム、より正確にはEVM、その背後にある大規模なコンピュータである仮想マシンは、設計時にzk証明を考慮していませんでした。これにより、検証コストが非常に高くなり、時にはzk証明が使用できなくなることがあります。

Aligned Layerが登場しました。

あなたの証明をイーサリアム上で直接検証するのではなく、これらの証明をAligned Layerに提出します。

Aligned Layerは証明の検証を専門に担当しています。Alignedを、あなたが提出した証明が正しいことを確認する準備ができている専門の検証者からなるネットワークとして想像してください。

Alignedはここでイーサリアムの役割を果たします。しかし、心配しないでください。彼らはEigenLayerの再質押を使用してイーサリアムと同じセキュリティレベルを維持しています。イーサリアムと同じセキュリティ、EVMの制限なし。クールでしょう？

したがって、Alignedがあなたの証明を検証します。次のステップは、検証結果をイーサリアムに公開することです。はい、私は「この検証の結果」を言っています。すでに検証されているのに、なぜもう一度検証する必要があるのでしょう？

今、あなたはまだあなたのデータ、つまり証明をどこかに公開できます。うん、AlignedはそれをイーサリアムやCelestiaのようなAltDAに公開します。あなたの選択です。

Aligned Layerを使用すると、証明の検証プロセスがより安価になります。私たちは+10倍のコスト削減について話しています、はい！

これも少し速くなります。あなたはあなたの証明がイーサリアムで検証されるのを待つ必要はありません；あなたはすでにAligned Layerからの最初のソフト確認を受け取っています。

もはやEVMの制限はなく、多くの新しい潜在的なユースケースがあり、zk証明を主流にする目標があります：Aligned Layerはゼロ知識分野で最も目立つ参加者の一つになるでしょう。しかし、それだけではありません。

Nebraはイーサリアムに基づく汎用zk証明集約プロトコルです。これは少しクレイジーに聞こえますよね？説明させてください。

イーサリアム上でzk証明を検証するのは非常に高価です。Nebraを使えば、これらのコストを5倍に削減できます。

Nebraは提案します：「なぜ大量のZK証明をオフチェーンで検証し、それらを大きなパッケージにバッチ処理し、そして一つの集約されたオンチェーン証明だけを検証しないのか？この方法で、私たちはイーサリアムのセキュリティを維持しながら、生成コストを単位あたり削減します！」賢いでしょう？

さらに、Nebraは汎用です。これは、証明がどのソースからでも来ることを意味します。zkロールアップ、zkコプロセッサ、zkML、または他の誰かが提出した証明であっても、Nebraはそれらを受け入れます。

Nebraはまた、許可不要であり、これはどのプロジェクトでも事前にチームの同意を得ることなく使用できることを意味し、この技術が大規模に利用されることを可能にします。

すでにWorldcoinやBrevis（全く新しいZKコプロセッサ）などのプロジェクトがNebraを利用しています。コプロセッサが何か不明ですか？以前の記事をチェックしてください。

これで終わりです……ちょっと待って、これが結末だとは信じられませんか？

Succinctは、任意のブロックチェーンのためにzk証明を生成するレイヤーです。はい、任意のブロックチェーンです。その目標は、zk証明を生成する基盤レイヤーになることです。印象的でしょう？

彼らがどのようにそれを実現しているのか疑問に思うかもしれません------あるいはそうでないかもしれません；とにかく、説明させてください。Succinctは証明者ネットワークとして機能します。これらの証明者はSuccinctネットワーク上でzk証明を生成し、その後証明をクライアントに送信します。

これらのクライアントに最もお得な価格を提供するために、Succinctレイヤーは2つの部分で構成されています：市場、証明者が各リクエストに対して最もお得な価格を提供し、そして生成された各証明を単位コストを削減するために拡張する集約システム。シンプルで簡単です！

本質的に、Succinctはあなたが証明を処理するために雇う請負業者のようなものです。想像してみてください、あなたはミームを描けない、またはそのスキルを発展させる時間がない；それなら誰かを雇って手伝ってもらいましょう。Succinctは同じように、ただ証明のためのものです。

ことわざにあるように、「大きな革新は大きな文章に等しい」（ハハ、これは私が作ったものです、ごめんなさい！）確かなことは、zk証明には巨大な可能性があるということです。私たちは広範な採用までまだ距離がありますが、今日紹介したようなプロジェクトがそのギャップを埋める手助けをしています。