ゼロ知識証明を主流に持ち込もうとしている3つのプロジェクトについて、1つの記事で紹介する。

Author: nairolf, Sensei Wu Source: substack Translated by: good ombre, golden finance

ZK this, ZK that, brother please stop talking about this..starknetは月8人しか加入していないし、エアドロップは失敗したし、ZK Rollupsなんて誰も気にしていない。この技術は本当に素晴らしい。

まずはシンプルに、Zero Knowledge Proof（ZKプルーフ）とは何かを理解しましょう。例を挙げましょう！

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

友達は彼の腕を疑っている。彼の絵を見たことがないのだ！しかし、ジョンには計画がある。大きな虎の絵のコンクールがあるんだ。参加するには、虎の素晴らしい絵を描かなければならない。

もしジョンが出場して予選を通過すれば、彼の友人たちは彼がトラを描けることを知るだろう。彼らは彼が絵を描くのを見たことはないが、最終的には彼を信じるだろう。

ジョンはコンクールに出場し、虎を描き、審査員の賞賛を得た。友人たちはついに彼を信じた！この男は本当に虎を描けるんだ。すごいことだ！

これはzk証明のようなものだ。ジョンの証明は彼の資格です。彼の友人たちは、彼が絵を描いているところは見ていないが、彼が絵を描けることは知っていた。

お分かりだと思いますが、ZK証明の利点の1つは、プライバシーが守られることです。

しかし、利点はそれだけではありません。詳細は省きますが、zk証明はより高速であることも覚えておいてください。これは実に理にかなっている。例題に戻れば、ジョンは虎の描き方を友人に一人ずつ見せる必要はない。彼はただ参加への招待状を見せるだけでいいのだ。

さらに、zk証明はメモリ効率が高い。これらの証明は、他の証明システムよりも計算しやすく検証することができる。

しかし、これらの証明はある時点で検証されなければならないという問題がある。ジェームスがコンクールに受かったと言ったとしよう。それは素晴らしいことだが、それが真実かどうか確認したいだろうか？

残念ながら、イーサリアム、より具体的には仮想マシン（イーサリアムの背後にある大きなコンピューター）を持つEVMは、zk証明用に設計されていません。そのため、検証には非常にコストがかかり、zk証明が使用できなくなることもあります。

そこでAligned Layerの登場です。

Aligned

イーサリアム上で直接証明を検証する代わりに、Aligned Layerに提出します。

何を疑問に思うでしょうか？

不思議に思うかもしれませんが、Aligned Layerは証明の検証を専門としています。Aligned Layerは証明の検証を専門としています。Aligned Layerは専任の検証者のネットワークであり、あなたが提出した証明が正しいかどうかを確認する準備ができていると考えてください。

Alignedはイーサリアムの役割を果たします。しかし、EigenLayer repledgeを使ってイーサリアムと同じレベルのセキュリティを維持しているので心配はいらない。EVMの制限なしにイーサリアムと同じセキュリティ。クールだろ？

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

さて、あなたはまだデータ、つまりプルーフをどこかに公開しなければなりません。AlignedはそれをイーサリアムかセレスティアのようなAltDAに公開します。

Alignedレイヤーを通してプルーフを検証するプロセスは非常に安くなります。10倍以上のコスト削減になります！

また、少し速くなりました。プルーフがイーサリアム上で検証されるのを待つ必要はなく、すでにAligned Layerから最初の（ソフトな）確認を受け取っているのです。

もはやEVMに制約されることはなく、多くの新しい潜在的なユースケース、そしてzkプルーフを主流にするという目標があります。しかし、それだけではありません。

Nebra

Nebraは、Etherをベースにした汎用ゼロ知識証明集約プロトコルです。ちょっとクレイジーに聞こえますよね？説明しましょう。

Ether上でゼロ知識証明を検証するのは高価です。Nebraを使えば、そのコストを5分の1に減らすことができます。

Nebraは、「オフチェーンでたくさんのゼロ知識証明を検証し、それらを1つの大きなバンドルにバッチパックし、それからオンチェーンで1つの集約された証明だけを検証してはどうか」と提案しました。そうすれば、イーサのセキュリティを維持しつつ、生成単位あたりのコストを削減できる！"なかなか賢いでしょう？

さらに、Nebraはユニバーサルです。つまり、証明はどのソースからでも可能です。zkRollupsであろうと、zkCoprocessorであろうと、zkMLであろうと、その他のソースであろうと、Nebraはそれらの証明を受け入れます。

Nebraはライセンスフリーでもあり、どのようなプロジェクトでも、最初にチームに要求することなく使用することができ、技術を大規模に使用することができます。

Worldcoinや真新しいZKコプロセッサBrevisなど、Nebraを利用しているプロジェクトがすでにいくつかあります。以前の記事をご覧ください。

そして、これで終わり......待てよ、これで終わりとは思っていないのか？

Succinct

Succinctは、あらゆるブロックチェーンのゼロ知識証明を生成するレイヤーです。そう、あらゆるブロックチェーンだ。ゼロ知識証明を生成するためのベースレイヤーとなることを目指している。印象的だろう？

どうやったのか不思議に思うかもしれないが、知りたくないかもしれない。これらのバリデータは、Succinctネットワーク上でゼロ知識証明を生成し、クライアントに証明を送信します。

顧客が最良の価格を得られるように、Succinctのレイヤーは2つの部分に分かれています。マーケットプレイスでは、検証者が各リクエストに対して最良の価格を提示し、アグリゲーションシステムでは、生成された各証明をスケーリングすることで単位あたりのコストを削減します。シンプルに！

要するに、Succinctは証明作業を請け負う業者のようなものです。絵文字を描けなかったり、スキルを習得する時間がなかったりする場合、誰かに頼むことができます。

この記事は少し長い！

この記事は少し長いです！しかし格言にあるように、「大きなイノベーションには大きなスペースが必要」です。ひとつ確かなことは、ゼロ知識には大きな可能性があるということだ。そして、普及にはまだ少し程遠いものの、今日紹介するプロジェクトはそのギャップを縮めるのに役立っている。