ゼロ知識サミット2024: ゼロ知識サミットの所感

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。約500名の参加者が一堂に会し、1日間の4つの平行セッションに参加しました。本稿では、サミットでのゼロ知識ハードウェア、SNARK性能、および分散型証明ネットワーク設計に関する最新の進展をまとめます。

ゼロ知識ハードウェアの発展

ハードウェアサポートは、ゼロ知識証明コミュニティの重要な関心分野であり続けています。会議の冒頭で行われた2つの基調講演は、この分野の最新の進展を概説しました。

ある研究者はゼロ知識ハードウェアを包括的に整理し、関連企業を3つのカテゴリに分けました: 一般的なハードウェアを利用する企業、専用ハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業です。彼は、ハードウェアの最適化を経たSNARK検証システムなどの技術が1000倍の性能向上を実現する可能性があると予測しており、これはイーサリアムの将来の発展に重要な影響を与えるでしょう。また、ある財団が正式な検証者と検証者の競技会を開催する計画があり、賞金は2000万ドルに達することを明らかにしました。

ある企業の共同創設者が、彼らのBiniusシステムを紹介しました。これは、証明システムとハードウェア設計を同時に最適化するソリューションです。Biniusは、バイナリタワーフィールドとsumcheckプロトコルを採用しています。初期テストでは、特定のアプリケーションシナリオにおいてGroestlハッシュ関数のパフォーマンスがKeccakよりも明らかに優れていることが示され、この発見は将来のシステム設計の選択に影響を与える可能性があります。

分散型証明者ネットワーク

多くの業界関係者は、将来的に大規模な証明生成(がRollupの一連の取引の正しさ証明)を競争の激しい分散型専門証明者市場によって行われると考えています。

ある企業の共同創設者が、彼らが近日中に発表する予定のプロヴァイダー・ネットワークについて共有しました。彼女は、分散型プロヴァイダー・ネットワークのさまざまな潜在的なメカニズム設計を分析し、競争またはマイニングに基づく設計は理想的な結果を得るのが難しい可能性があると考えています。彼女は、設計目標は次のようにすべきだと提案しました: コストの最小化、遅延の最大化、検閲耐性。彼女は、オークションモデルが主流になる可能性が最も高く、最終的には現在のブロック構築メカニズムに似たものになる可能性があると予測しています。

ある大学の博士課程の学生が、証明者ネットワーク経済学に関する最近発表された論文を紹介しました。彼は、二者間オークションが証明者と入札者の間の共謀の影響を受けやすいことを指摘し、Proo-phiと呼ばれる代替メカニズムを提案しました。これにより、新しいマッチング取引と証明メカニズムが導入されました。しかし、Proo-phiメカニズムは容量パラメーターの設定が必要であり、これは重要なオープンデザインの問題のようです。

ある企業の最高技術責任者が、マルチパーティ計算(MPC)をサポートする証明市場について議論しました。特に、MPCを利用して小規模なクライアントと大規模な証明者の間でプライバシーを保護する方法について探求しました。彼は、MPC内でコストを最小限に抑えながら線形計算を行うために、証明システムの組み合わせを選択する方法について検討しました。

ゼロ知識の資格

会議では、既存のアイデンティティシステムに基づいてゼロ知識証明を構築するためのさまざまな試みについても議論されました。

あるプロジェクトの共同創設者が、ゼロ知識電子メールアドレス所有権証明を紹介しました。これらの証明は、特定のアドレスに送信された電子メールのDKIM署名を検証することに依存しています。この技術は、電子メールアドレスに匿名で送金したり、匿名で通報したりするシーンに応用できます。

ある企業の研究者が彼らのKeylessプロジェクトを共有しました。このプロジェクトは、OpenID Connectを使用して従来のWeb2アイデンティティシステムと対話します。これにより、GoogleやFacebookアカウントへの送金などのアプリケーションが可能になります。

あるプロジェクトのメンバーは、既存の電子パスポートに基づいて匿名証明書を構築する方法について議論しました。例えば、ユーザーは特定の国のパスポートを持っており、特定の年齢に達していることを、具体的なパスポート番号や正確な年齢を明らかにせずに証明できます。

全体として、今回のサミットでは、ハードウェアサポート、ネットワーク設計、認証などにおけるゼロ知識証明技術の最新の進展が示され、この分野の将来の発展に対する期待に満ちた青写真が描かれました。