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

2024年4月10日、第十一回ゼロ知識サミットがアテネで開催されました。本サミットには約500名の業界専門家が集まり、ゼロ知識証明分野の最新の進展を網羅する4つのパラレルセッションが行われました。以下は、会議のいくつかの重要なトピックの概要です。

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

ハードウェアサポートは、ゼロ知識証明コミュニティの重要な目標であり続けています。会議では、この分野の最新の進展に焦点を当てた二つの基調講演が行われました：

• あるファンドの研究者がゼロ知識ハードウェアについて包括的な概要を提供し、関連企業を3つのカテゴリに分けました：汎用ハードウェアを使用している企業、カスタムハードウェアを製造している企業、および分散型証明ネットワークを運営している企業です。彼は、最適化されたzkVMが専用ハードウェアと組み合わせることで1000倍の性能向上を実現する可能性があり、これがイーサリアムの将来の発展に重大な影響を与えると予測しています。また、証明者と検証者の正式な検証コンペティションが開催され、賞金は2000万ドルに達することも明らかにしました。

• ある会社の共同創設者がBiniusシステムを紹介し、証明システムとハードウェアを同時に設計する重要性を強調しました。彼は、初期のテストでGroestlハッシュ関数が特定のアプリケーションでKeccakよりも優れている可能性があることを指摘しました。

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

多くの専門家が非中央集権的な証明者ネットワークの将来の発展方向について議論しました：

• ある会社の共同創設者は、さまざまなプロバイダーのネットワークメカニズム設計を分析し、競争やマイニングに基づくモデルはあまり効果がない可能性があると考えています。彼女は、設計目標は次の順序であるべきだと提案しました：最低コスト、最大遅延、検閲耐性。彼女は、オークションモデルが主流になる可能性が最も高く、将来的には現在のブロック構築プロセスに類似する可能性があると予測しています。

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

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

ゼロ知識資格アプリ

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

• あるプロジェクトの共同創設者が、DKIM署名検証に基づくゼロ知識電子メールアドレス所有権証明を紹介しました。この方法は、匿名送金や通報などのシーンに適用できます。

• ある会社の研究者が、OpenID Connectを使用して従来のWeb2アイデンティティと相互作用する方法を説明し、GoogleやFacebookアカウントへの送金などのアプリケーションを可能にしました。

• あるプロジェクトの代表者が、既存の電子パスポートを利用して、特定の国のパスポートを持っており、かつ特定の年齢に達していることを証明する匿名証明書を構築する方法について議論しましたが、具体的な個人情報を開示する必要はありません。

これらの議論は、ゼロ知識証明技術がハードウェアの最適化、ネットワーク設計、認証などの分野で広範な応用の見通しを示しており、この分野の将来の発展の方向性を指し示しています。