2024年ゼロ知識サミット：現地報告

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。このサミットはZero Knowledgeポッドキャストが主催し、約500名の参加者が集まり、4つの講演が行われました。以下は、最新のゼロ知識ハードウェア、SNARK性能、分散証明ネットワーク設計などの進展をカバーしたサミットの重要内容のまとめです。

ゼロ知識ハードウェア

ハードウェアサポートは、ゼロ知識証明の分野において重要な目標であり続けています。今回のサミットでは、多くの専門家がこのトピックについて深く議論しました。

ある基金の研究者がゼロ知識ハードウェアの包括的な概要を提供し、関連企業を分類しました。彼は、ハードウェア最適化されたSNARK検証システムやその他の最適化手段の登場により、計算コストが1000倍削減される可能性があると予測しており、これがイーサリアムの将来のバージョンに重大な影響を与える可能性があると述べました。また、証明者と検証者の正式な検証を行う競技会が発表され、賞金は2000万ドルに達するとのことです。

ある企業の共同創設者が、彼らのハードウェア最適化されたSNARK検証システムと、証明システムとハードウェアを同時に設計するという理念について紹介しました。彼は、初期のテストでハッシュ関数Groestlが特定のアプリケーションにおいてKeccakよりも優れている可能性があることを指摘しました。

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

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

ある会社の共同創設者が、分散型証明者ネットワークのさまざまな潜在的メカニズム設計について議論しました。彼女は、設計目標は順にコストの最小化、遅延の最大化、そして検閲耐性であるべきだと考えています。彼女は、発行/ステーキングモデルが効果的である可能性があるが、オークションモデルが最も成功する可能性が高く、最終的には今日のブロック構築に似たものになるだろうと予測しています。

イェール大学の博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。この論文では、Proo-phiという新しいメカニズムが提案されており、双方向オークションが証明者と入札者の共謀の影響を受けやすいという問題を解決することを目的としています。

ある会社の共同創業者兼最高技術責任者が、マルチパーティ計算（MPC）をサポートする証明市場について議論し、特に小規模な顧客と大規模な証明者の間でMPCを利用してプライバシーを維持する方法について説明しました。

ゼロ知識の資格

会議では、既存のアイデンティティシステムからゼロ知識証明を構築するためのさまざまな提案が議論されました。

ある会社の共同創設者が、電子メールアドレスの所有権に基づくゼロ知識証明を紹介しました。この方法は、電子メールアドレスへの送金や匿名の通報など、さまざまな用途に使用できます。

ある研究所の研究者たちは、OpenID Connectと従来のWeb2のアイデンティティとの相互作用の計画について議論しました。これにより、GoogleやFacebookアカウントへの送金などのアプリケーションが可能になります。

ある企業の代表が、特定の国のパスポートを所持していることや特定の年齢に達していることを証明しながら、具体的な個人情報を明らかにすることなく、既存の電子パスポートから匿名証明書を構築する方法について議論しました。

これらの議論は、ゼロ知識証明技術が認証とプライバシー保護において広範な応用の展望を示しており、将来のデジタルアイデンティティ管理に新たな視点を提供しています。