2024年ゼロ知識サミットメモ

第11回ゼロ知識サミットは4月10日にアテネで開催され、約500名の参加者が集まりました。会議では、ゼロ知識証明ハードウェア、SNARKの性能、分散型証明ネットワークなどのさまざまなホットトピックが取り上げられました。

ZKハードウェアの進展

ある研究者がZKハードウェア分野の概要を述べ、汎用ハードウェアの使用、カスタムハードウェアの製造、そして分散型証明ネットワークを運営する企業について説明しました。彼は、zkVMの「終局」が1000倍の計算効率の向上を実現し、最終的なイーサリアムのバージョンに影響を及ぼす可能性があると予測しています。また、証明者と検証者を正式に検証するためのコンペティションが発表されることにも言及し、賞金は2000万ドルに達する可能性があります。

ある会社の共同創設者がBiniusシステムを紹介しました。このシステムは、証明システムとハードウェアの両方を設計しています。初期テストでは、特定のアプリケーションにおいてGroestlハッシュ関数の性能がKeccakを明らかに上回ることが示されました。

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

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

ある会社の共同創設者が、間もなく導入されるプロバー・ネットワークについて議論し、さまざまな潜在的なメカニズム設計を紹介しました。彼女は設計目標は順に、最小コスト、最大遅延、そして検閲耐性であるべきだと考えています。彼女は、オークションモデルが最も勝つ可能性が高く、最終的には今日のブロック構築に似たものになると予測しています。

ある大学の博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。彼は、二者間オークションが共謀の影響を受けやすいことを指摘し、Proo-phiと呼ばれる代替メカニズムを紹介しました。

ある企業の最高技術責任者が、マルチパーティ計算(MPC)の証明市場を支援することについて議論し、特に小規模なクライアントと大規模な証明者の間のプライバシーをどのように維持するかについて話しました。

ZK証明書のアプリケーション

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

• 電子メールDKIM署名に基づくアドレス所有権証明
• OpenID Connectを使用した従来のWeb2アイデンティティとの相互作用のシステム
• 電子パスポートを利用した匿名証明書の構築方法

これらの技術は、匿名送金や身分証明などの多くのシーンに適用でき、プライバシーを保護しながら信頼できる身分証明書を提供することが期待されています。