2023年第1四半期のZKステータスレポート

序文

ゼロ知識 (ZK) エコシステムにおける最も重要な開発に焦点を当てた四半期刊行物、「ZK レポート」の創刊号へようこそ。このレポートでは、ZK コミュニティの関心、新たなユースケース、画期的な研究、最近の製品の発売、注目すべき投資ラウンドに関する重要な洞察を提供します。

過去 1 年間でゼロ知識技術は大きく進歩し、2023 年にはブロックチェーン分野でこの技術の採用が爆発的に増加すると予想されます。エコシステムの動的な性質と、物事が進化し始めているスピードを考慮すると、今がこれらの定期レポートを公開して開発状況を強調し、最新情報をお届けする適切な時期だと考えました。

ZKValidator チームはゼロ知識暗号化に深い情熱を持っており、この分野の進化をカバーするのに適した立場にあります。 Zero Knowledge Podcast、ZK Hack、zkSummit、rhino.fi、Geometry、UCL などの業界を形成する組織との緊密な連携により、この最先端分野に関する包括的な洞察を提供する当社の能力がさらに強化されます。

データにおけるZK

4 月 4 日、ZK コミュニティは zkSummit 9 で 1 日中プレゼンテーションを開催しました。ZKValidator チームのメンバーは、このイベントの制作と管理に参加しました。イベントの申し込みフォームでは、参加者が興味のある ZK テクノロジーの種類と新しいユースケースに関する情報を共有しました。私たちはこのデータの一部をいくつかの便利なチャートにまとめ、コミュニティの関心と新たな ZK ユースケースに関する重要な洞察を提供しました。

グラフから、データがいくつかの興味深い傾向を示していることがわかります。

• プライバシー保護は最重要課題です。 ZK テクノロジーはプライバシー保護で 12.90% の注目を集め、第 1 位にランクされました。これは、人々がさまざまなアプリケーションでプライバシーを保護するために ZK テクノロジーを使用することに非常に熱心であることを示しています。

• スケーラビリティはホットな話題です。ZK テクノロジーはスケーラビリティで 2 位にランクされ、9.46% の注目を集めました。これは、スケーラビリティが多くの人々が気にする重要な問題であり、この課題を解決するために ZK テクノロジーをどのように使用するかを熱心に模索していることを示しています。

• アイデンティティと新しいユースケースも注目を集めました。アイデンティティ検証と新しい ZK ユースケースは、それぞれ 8.86% と 8.76% の関心度で 3 位と 4 位にランクされ、ZK テクノロジーをアイデンティティ管理やその他の新しいユースケース領域にどのように適用できるかを探求することに人々が関心を持っていることを示しています。

最も期待している新しいユースケースについて尋ねたところ、回答の内訳は次のとおりです。

グラフを見ると、zkML がコミュニティが注目している最も魅力的な新しいユースケースになっていることは明らかです。相互運用性も最も一般的なユースケースの 1 つであり、ゼロ知識証明を使用して軽量クライアントを実装し、完全なコンセンサス プロトコルまたは zkBridges を検証します。

言及されているその他のユースケースには、検証可能なコンピューティング、企業向けプライバシー ネットワークなどがあります。いくつかの回答はより具体的であり、上記のより広範なカテゴリのいずれかに該当する可能性があることに留意してください。

zkSummit 9 イベント ビデオはここからご覧いただけます。

画期的な研究

Geometry の Semacaulk : 深さ 20 の Merkle ツリー構造に比べて大幅なガス節約を実現すると同時に、ほぼ同じガスコストで証明を迅速に生成して検証できる新しい ZK セット メンバーシップ プロトコルである Semacaulk を紹介します。 Semacaulk を使用すると、挿入には一定の 68kGAS のみが必要となり、アプリケーションは証明を事前に計算できるため、よりスムーズなユーザー エクスペリエンスが実現します。さらに、Semacaulk ではアプリケーション固有の信頼できるセットアップは必要なく、フェーズ 1 の信頼できるセットアップ出力のみが必要なため、柔軟性が高くなります。 Geometry は、この画期的なプロジェクトを共有するためにさまざまな ZK チームに連絡を取りました。

Android モバイル デバイスでのマルチスカラー乗算 (MSM) : ZPrize 2022 は、ゼロ知識暗号化に関して優れた結果を生み出し、提出されたすべての課題においてベースラインより平均 5 倍以上の改善が見られました。特に、Android モバイル デバイスにマルチスカラー乗算 (MSM) を実装すると、証明生成時間が 2.4 秒から約 0.5 秒に短縮され、ZK でのモバイル決済が大幅に容易になります。楕円曲線上のマルチスカラー乗算 (MSM) は、多くのゼロ知識証明システムの中核となるプリミティブおよびボトルネックの 1 つです。 MSM を高速化すると、一般的に証明生成が高速化され、ZK ベースのアプリケーションが実用的になります。受賞作品以外の作品も含め、すべての応募作品は、ゼロ知識技術のための一貫性のあるオープンなエコシステムを確保するために、MIT/Apache 2.0 ライセンスの下でオープンソース化されます。

GZKP: GPU アクセラレーションによるゼロ知識証明システム: この論文では、GPU の大規模なハードウェア並列処理を活用して ZKP での証明生成時間を短縮する、高速 GPU アクセラレーションによるゼロ知識証明システムである GZKP を提案します。 GZKP は、データ シャッフルを回避し、冗長な操作をマージし、大きな整数演算を最適化することで、既存の ZKP 実装におけるパフォーマンスのボトルネックを解決します。このシステムには、キャッシュ効率が向上した NTT モジュール、新しい並列化戦略を備えた MSM モジュール、大きな整数の算術演算に最適化された GPU 有限体ライブラリが含まれています。 GZKP は最先端の GPU ベースの ZKP システムと比較して大幅な高速化を実現し、さまざまなプライバシー保護アプリケーションに適しています。提案された技術は、暗号化アルゴリズムにおいて幅広い応用が可能であり、コンピュータ システムやセキュリティ/プライバシーに貢献します。

zkEVMの四半期

これまでのところ、2023 年はゼロ知識技術の爆発的な発展の年になりつつあり、マスコミやソーシャル メディアでこれほど注目を集めている主な理由の 1 つは、Ethereum を拡張するために設計された Polygon と zkSync zkEVM の発売です。リリースから約 1 か月が経過しましたが、両方のアクティビティとパフォーマンスに関する統計は次のとおりです。

両方とも同時にリリースされましたが、ユーザーは zkSync Era で操作する傾向が強いです。ソーシャル メディアで見られるように、コミュニティ メンバーは一般的に、zkSync が今年後半にエアドロップ イベントを開始する可能性があると考えており、これにより zkEVM への注目が高まっています。

製品リリース

2 つの zkEVM のリリースに加えて、さまざまな垂直市場に参入する他のいくつかの ZK プロジェクトもありました。下のグラフからわかるように、過去 3 か月間で、Ethereum および Polkadot エコシステム内の分散型 ID、相互運用性、および支払いにおいて大きな進歩がありました。

簡潔

Telepathy は、3 月 16 日にメインネットで稼働を開始した、Ethereum 初の分散型で安全な zkSNARK 相互運用プロトコルです。この画期的なプロトコルにより、ユーザーは Ethereum の軽量クライアント プロトコルのセキュリティを維持しながら、任意のチェーン上の Ethereum の状態を読み取ることができます。初めて、Ethereum ブリッジ セキュリティは、マルチ署名や楽観的詐欺システムに依存せず、zkSNARK を通じて Ethereum バリデータ署名を直接検証して相互運用性を実現します。

シスモ

Sismo は最近、Web2 および Web3 上のアプリケーション向けのプライバシー保護シングル サインオン方式である Sismo Connect をリリースしました。 Sismo Connect を使用すると、ユーザーはプライバシーを維持しながら、プライベートな細分データをアプリケーションに選択的に公開できます。このテクノロジーにより、開発者はこれまで多くの開発者にとって手の届かなかったゼロ知識テクノロジーをアプリケーションに迅速に実装できるようになります。

マンタ

Manta Network は最近、非代替性トークン (NFT) とソウルバウンドトークン (SBT) のプライバシーサポートを提供するために、ゼロ知識機能を拡張すると発表しました。これらの資産は、今後登場する NFT プライベート オファリング (NPO) プラットフォームを通じて簡単に発行できます。製品の発売。

摩擦ポイント

過去 3 か月間で、ZK コミュニティは大きな成長と進歩を遂げました。しかし、こうした前向きな進展とともに、コミュニティに課題を突きつけるあまり良くないニュースもいくつかありました。このセクションでは、ZK コミュニティが遭遇する 2 つの摩擦点について検討し、直面する障害とそれがエコシステムに与える影響を明らかにします。

01 |ナマダ

Namada の最新のテストネットでは、ホワイトリスト フィールドで小文字のハッシュが使用されているためにトランザクションが拒否されるという問題が発生しています。これは v0.13.1 にアップグレードすることで修正されましたが、誤った通信により 2 つの異なる状態ルートとネットワーク フォークが発生しました。その後、新しいプロトコル バージョン v0.13.2 が導入されました。今後、チームは開発ネットワーク構成を改善し、同様の問題を回避するために 1 つのリリースに固執する予定です。 Namada は Anoma の最初のフラクタルインスタンスであることを思い出してください。

02 | Aztec Connectは廃止されます

Aztec Network は、Ethereum の暗号化レイヤーを提供していたプライバシー インフラストラクチャである Aztec Connect を廃止すると発表しました。 9か月間で、この畳み込みは取引手数料として578 ETH（今日の価格で854,000ドル）を獲得しました。ただし、コールデータを L1 に公開するには 352 ETH (今日の価格で 520,000 ドル) かかり、合計 346 MB のコールデータになります。

チームが発表した公式声明によると、Aztec Connectの開発は、Ethereumのセキュリティ品質保証を備えた完全に分散化された汎用暗号zkRollupを開発するというAztecの最終目標を達成するための重要なマイルストーンです。 Aztec は今後、相互に互換性があり関連性のある 2 つの主要製品、Noir と次世代暗号 zkRollup の開発に中長期的に注力していきます。同社は、2023 年前半にさらに多くの Noir 機能と最新の zkRollup の完全な仕様をリリースする予定です。

エコシステム投資ラウンド

ZK エコシステムで最も注目すべき投資ラウンドの概要は次のとおりです。

=nil ;;財団 – 2,200万ドル: イーサリアム研究開発会社 =nil ;;財団は、Polychain Capitalが主導する2,200万ドルの資金調達ラウンドを成功裏に完了しました。この資金は、暗号プロトコルがゼロ知識（ZK）証明生成をアウトソーシングできるようにするプロトコルであるProof Marketplaceのさらなる開発に使用されます。 = なし;もともと研究団体としてスタートしたが、伝統的なスタートアップ企業へと変貌を遂げたファウンデーションは、現在、評価額が2億2000万ドルに達している。 Proof Marketplace は、レイヤー 1 およびレイヤー 2 のブロックチェーンとプロトコルがオンデマンドで ZK 証明を生成できるようにし、中央集権型の仲介者に依存せずに、信頼のないデータ アクセスとシームレスなデータ共有を促進することを目的としています。

Proven - 1,580万ドル: 特に支払い能力を証明するためのゼロ知識（ZK）証明の開発者であるProvenは、暗号ベンチャーキャピタル会社Framework Venturesが主導するシードラウンドで1,580万ドルの調達に成功しました。実証済みのテクノロジーは、ZK 証明 (匿名性を損なうことなく何かが真実であることを証明できる暗号化形式) と定量的ソリューションを組み合わせています。これにより、取引所、ステーブルコイン発行者、資産管理者、保管人は、機密データを公開することなく、潜在的な顧客、パートナー、規制当局に資産と負債を表示できるようになり、「払い戻し証明」プロトコルの日常的な運用を通じて透明性が向上します。 Proven のシードラウンドの成功は、暗号通貨業界が支払い能力の問題に関連した顕著な崩壊を経験している時期に起こったため、同社の革新的なソリューションは、さらに関連性が高くタイムリーなものとなっています。

Polyhedra Network - 1,000万ドル: 暗号インフラプロバイダーのPolyhedra Networkは、Binance LabsとPolychain Capitalが共同で主導した戦略的資金調達ラウンドを成功裏に完了し、1,000万ドルを調達しました。このスタートアップは、ブロックチェーンの相互運用性、スケーラビリティ、プライバシーに重点を置いた包括的なシステムの開発を目指しています。これらには、zkBridge（クロスチェーン資産およびデータ転送を可能にする）、ゼロ知識認証検証用の分散型 ID ソリューション、paraPlonk（zkrollups の速度とコスト効率を向上させる）などのプロトコルと製品が含まれます。