ZKバリデーター: 2022年ゼロ知識証明分野の振り返り
2022年はゼロ知識証明が突破を遂げた年であり、ZK技術は研究からブロックチェーン業界や現実世界の他の分野へと進展しています。私たちは、これはより大きな可能性の始まりだと考えています。原文：《ZK Rewind: The Year in Recap》
作者：Zero Knowledge Validator
翻译： Scroll中文社区
私たちは2022年のZK業界の最大のハイライトを振り返ります。
2022年が終わろうとしている今、私たちはゼロ知識技術分野の進展に関する報告書を整理したいと思います。今年は業界全体にとって忙しい年でしたが、2022年はゼロ知識証明の実現において突破の年であったと言えます。
以下の部分をカバーします：
公共の関心
Googleトレンドのデータによると、2022年に「ゼロ知識証明」の検索に対する関心が急増しました。今年の下半期の厳しいベアマーケットの中でも、関心は上昇傾向を維持しています。
データを詳しく調査すると、キーワード「SNARKs」の月間検索量は世界中で100,000から1,000,000の間で、前年比900%の増加を示しています。
さらに、DecryptやCoindeskなどのブロックチェーンに特化した主要メディアも2022年にはゼロ知識分野に対する関心が高まったようです。Decryptに関しては、2021年には「ゼロ知識証明」という言葉を含む記事が18件しか発表されなかったのに対し、2022年にはその数が合計60件に急増しました。Coindeskも例外ではなく、2022年にはゼロ知識証明に関連する記事を81件執筆し、2021年より54件多くなりました。
資金調達
投資家もZKの列車に飛び乗りました。今年、私たちは「純粋なゼロ知識」参加者に対して少なくとも7.25億ドル以上の資金が計算されました。これにはAleo、Aztec、Scroll、RiscZero、Matter Labs、Elusiv、Mina Protocolが含まれます。最大の2回の資金調達はAleoとMatter Labsがそれぞれ2億ドルを調達し、次にAztecが1億ドルを調達しました。
プライベートエクイティの資金調達に加えて、一部の財団はそれぞれのエコシステム内でゼロ知識アプリケーションの発展を促進するための資金を提供することを約束しました。PolkadotはPioneers Prizeプログラムを発表し、993,286 DOTを報酬として提供し、特にゼロ知識技術に焦点を当てています。さらに、NEAR財団はTornado Cash事件の後、ZKプロジェクトを支援するための資金提供プログラムを開始しました。
同時に、ゼロ知識プロジェクトや組織の連合（ZKVなど）はZPrizeプログラムを開始し、賞金は700万ドルに達します。これらの競技は、重要な汎用アルゴリズムの性能、ライブラリの可用性と多様性など、ZK技術の発展を促進することを目的とした挑戦に一致しています。
今年、Gitcoin ZK Side Roundsは3回行われ、マッチングされた賞金総額は466,000ドルでした。すべてのラウンドで、さまざまな公共製品プロジェクトが約100万ドルを調達しました。これらのSide Roundは主に可用性を向上させるツールや、ユーザーをZK分野に引き込む新しいアプリケーションの作成に焦点を当てています。ZKV、0xParc、Gnosis、Anoma、Penumbra、Mina、Geometry、Aztecなど、いくつかのチームがこのプログラムに参加しました。
zk(E)VMの年
2022年には多くの突破がありましたが、今年の流行語はゼロ知識仮想マシン（zkVM）とゼロ知識イーサリアム仮想マシン（zkEVM）かもしれません。多くのプロジェクトがこれに基づいていくつかのバリエーションを構築しており、これらは高い実行可能性を持つイーサリアムブロックチェーンのスケーラビリティソリューションと見なされています。
この夏、パリで開催されたEthCCイベントでは、さまざまなチームがこれらのソリューションに関する多数の発表を行いました。
そのイベントで、Polygonは彼らのzkEVMを発表しました。PolygonのzkEVMは従来のzkロールアップとは異なり、イーサリアム仮想マシンのオペコードレベルの互換性を実現し、より速く、より安価な取引を提供することを目的としています。7月に発表された後、何度も更新され、最新のニュースはメインネット前の最終バージョンの公開テストネットが12月21日にリリースされたことです。
一方、zkSyncもEthCCで10月に彼らのzkVM、つまりzkSync 2.0をメインネットにプッシュすることを発表しました。彼らは最終的に非常に簡素化されたバージョン（Baby Alpha）をリリースしましたが、zkSync 2.0はアカウント抽象化、SolidityとVyperのサポート、LLVMコンパイラなどのいくつかの主要な差異を提供します。
さらに多くのプレーヤーが登場しています。最も注目すべき発表の1つは、RiscZeroが「汎用ゼロ知識仮想マシン」を構築したことです。さらに、ScrollはzkEVMに基づくzkRollupをイーサリアム上で構築しており、デモ機能を持つPre-Alphaテストネットを発表しました（これもEthCCの期間中に発表されました！）。
テストネットがますます速くなる
ゼロ知識技術がブロックチェーン業界に広がる中、3つの有望な参加者がメインネットに向けて重要な一歩を踏み出しました。
今年の最後の四半期に、Aleoは重要な改善を行い、彼らのTestnet 3を発表しました。このテストネットは3つの段階に分かれており、開発者がネットワーク上でAleoプログラムを作成、展開、実行することを可能にします。さらに、新しいコンセンサスアルゴリズムAleoBFTが導入され、PoSコンセンサスアルゴリズム（DiemBFTに基づく）とPoWの証明者インセンティブスキームを組み合わせています。
テストネットで進展を遂げた別の参加者はNamadaで、これはAnomaの分岐インスタンスであり、プライバシー資産をCosmosエコシステムに持ち込んでいます。彼らはプライバシーテストネットを運営しており、ZKVはバリデーターの一部であり、12月20日に彼らの最初の公共テストネットを開始しました。
最後に、私たちはPenumbraの進展にも注目しており、これはCosmosのプライバシー機能を持つ分散型取引所（DEX）です。2022年の間、Penumbraは迅速なリリースの理念に従い、35のバージョンの公共テストネットを発表しました。この過程で、チームは新しい階層的コミットメントツリーなどの重要な改善を導入しました。これはMerkleツリーであり、Penumbraを4,000倍加速させることができ、また彼らがPenumbraシステムのPoseidonハッシュのゼロ知識証明に優しいインスタンスであるPoseidon377を持っています。
ZKクロスチェーンブリッジ
非常に初期の段階にありますが、一部のプロジェクトはZK分野で進展を遂げています。私たちが指しているのはZKクロスチェーンブリッジ --- 信頼不要のクロスチェーンブリッジソリューションです。これらは2022年の主要なセキュリティ問題の1つである他のブリッジアーキテクチャに取って代わることを目的としています。
2022年10月、Succinctは最初のデモを発表しました。このバージョンはGoerli（イーサリアムテストネット）とGnosisチェーンをブリッジし、ユーザーが「Succinctトークン」（彼らが作成したERC-20トークン）をGoerliのデポジットコントラクトに預け、Gnosisチェーンで鋳造されたSuccinctトークンを受け取ることを可能にしました。同じく10月に、zkBridgeはスタンフォードで構築されたソリューションに関する論文を発表しました。
この考えに沿った別の新しい概念はzkIBCの誕生です。このソリューションは、ゼロ知識証明を使用してCosmosの署名によるクロスチェーン通信プロトコル（IBC）をイーサリアムに導入することを目的としています。大まかに言えば、彼らはイーサリアム上の軽量クライアント状態のzk-snark証明検証に基づいて、最小限の信頼で相互運用可能なメッセージングプロトコルを構築しています。
新しい言語
ゼロ知識プロジェクトでは、2つの新しい言語が公開されました。2022年初頭、AleoはLEOを発表しました。これはRustに触発された静的型付けプログラミング言語で、プライバシーアプリケーションの作成のために構築されています。同時に、10月にはAztecが彼らのNoir言語を発表しました。NoirはRustに基づくドメイン特化型言語（DSL）で、ゼロ知識証明の作成と検証に使用されます。
信頼できる設定儀式（TCS、Trusted Setup Ceremonies）も年末の物語の一部です。初心者にとって、TSCは参加者のグループが一連の暗号パラメータを共同生成するプロセスであり、特定の暗号プロトコルを実行するたびにこれらのパラメータを使用する必要があります。TSCを実施したプロジェクトはNamadaとMantaです。前者には2510人が儀式に参加し、後者には3559人以上の貢献者がこのプロセスに参加しました。イーサリアム財団も2023年初頭に信頼できる設定を行う計画があると言われています。
アプリケーションからzkAppsへ
11月中旬、Mina Protocolは「zkApps」と呼ばれる開発を促進するためのプログラムを開始しました。zkAppsは、開発者がMinaのゼロ知識技術を利用できるスマートコントラクトです。これはZK分野の重要なマイルストーンを示しており、ゼロ知識を使用して大量の革新とユースケースの波を解放する可能性があり、zkAppsを構築するためのSnarkyJSライブラリにより、83,000人以上のTypescript開発者の中から何人かを引き付ける可能性があります。
コミュニティがますます大きくなる
ゼロ知識証明の採用が増えるにつれて、この技術に興味を持つ人々の数が大幅に増加しています。ZK HackとzkSummitはコミュニティの中で2つの象徴的なイベントであり、これらのイベントには2500人以上が集まりました。これらの活動のハイライトは、複数のエコシステムプロジェクトの集まりと、エコシステムの新人が重要なプロジェクトに接触する機会です。
研究が重要
ゼロ知識がブロックチェーン業界に限られていると考えるのは間違いです。汎用研究が台頭しています。学術界はこのテーマに関して多くの論文を発表しています。Google Scholarの統計によると、2022年だけでゼロ知識研究は67,100件の論文が発表され、2021年より2000件増加しました。しかし、この分野の論文数は2018年以降大幅に減少しています。
結論
私たちの年次総括はここで終了します！過去1年の大部分の物語はスケーラビリティに関するものでしたが、今後数ヶ月でゼロ知識を使用したプライバシー中心のプロトコルの波を見ることができることを期待しています。
2022年はゼロ知識証明が突破を遂げた年であり、ZK技術は研究からブロックチェーン業界や現実世界の他の分野へと進んでいます。私たちはこれがより大きな可能性の始まりであると考えています。
