2024年のゼロ知識サミットのハイライト

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。本サミットには約500名の参加者が集まり、ゼロ知識証明分野の最新の進展について議論しました。以下は本サミットのいくつかの重要なトピックです：

ZKハードウェアの発展

ゼロ知識証明ハードウェアのサポートは、業界の注目の焦点であり続けています。複数の専門家が現在のZKハードウェアの発展傾向について深く議論しました：

• 研究者はZKハードウェア企業を分類し、汎用ハードウェアを使用している企業、カスタムハードウェアを製造している企業、そして分散型証明ネットワークを運営している企業を含めました。彼は、ハードウェア最適化されたSNARK検証システムとその他の最適化手段を組み合わせることで、計算効率が1000倍向上する可能性があり、これがイーサリアムの将来の発展に重大な影響を与えるだろうと予測しています。

• ある会社の共同創設者が、彼らが開発中の新しいSNARKシステムを紹介しました。このシステムは、バイナリタワーフィールドとsumcheckプロトコルを採用しています。初期テストでは、特定のアプリケーションにおいて、ハッシュ関数Groestlの性能がKeccakに比べて明らかに優れていることが示されており、将来のアルゴリズム選択に新しい視点を提供しています。

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

多くの専門家は、将来的に大規模な陳述の証明生成（例えば、Rollup内の一群の取引の正当性証明）を処理するための、競争が激しい分散型の専門証明者市場が出現することを想定しています。

• ある専門家は、彼らがまもなく発表する証明者ネットワークについて紹介し、分散型証明者ネットワークのさまざまな潜在的なメカニズム設計について議論しました。彼女は、設計の目標は次の順にすべきだと考えています：コストの最小化、遅延の最大化、そして検閲耐性。彼女は、オークションモデルが将来最も成功する可能性が高いと予測しています。

• 学者が、証明者ネットワーク経済学に関する新しい論文を共有しました。彼らは、二国間オークションで発生する可能性のある癒着の問題を解決することを目的とした、新しいメカニズム「Proo-phi」を提案しました。

• 別の専門家は、プライバシーを保護しながら、小規模なクライアントと大規模な証明者の間での非信頼的な相互作用を実現する方法に特に焦点を当てた、マルチパーティ計算（MPC）をサポートする証明市場について議論しました。

ZKバウチャーの革新

複数のプロジェクトが、既存のアイデンティティシステムに基づいてゼロ知識証明を構築する方法を示しています：

• ZK電子メールアドレス所有権証明：DKIM署名を利用してユーザーが特定の電子メールアドレスの制御権を検証できる。匿名送金、通報などのシーンに適用可能。

• OpenID Connectに基づく認証：既存のWeb2アイデンティティプロバイダーと連携し、特定のブロックチェーンアドレスに対するユーザーの管理権を証明し、GoogleやFacebookアカウントへの送金などのアプリケーションを実現します。

• 電子パスポート匿名証明書：特定の国のパスポートや年齢などの情報を保持していることを証明することをユーザーに許可し、具体的なパスポート番号や正確な年齢を漏らさない。

今回のサミットでは、ゼロ知識証明技術がハードウェア、ネットワークアーキテクチャ、認証などのさまざまな分野での最新の進展を示し、この技術の将来の発展に期待できる青写真を描きました。