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

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。約500名の参加者が集まり、1日間の4つの並行講演に参加しました。以下は今回のサミットの主なハイライトです：

ZKハードウェアの発展

ゼロ知識証明ハードウェアのサポートは、業界で常に注目の焦点となっています。今回のサミットでは、複数の専門家がZKハードウェアの最新の進展について議論しました：

• ある研究者がZKハードウェア分野の発展状況を概説しました。これには、汎用ハードウェアとカスタムハードウェアを使用する企業、および分散型証明ネットワークを運営する企業が含まれます。彼は、ハードウェア最適化されたSNARK検証システムなどの技術を組み合わせることで、1000倍の性能向上が実現可能であり、これがイーサリアムの未来に重大な影響を与えると予測しています。彼はまた、正式な証明者と検証者の競技会が開催され、賞金は最大2000万ドルに達することを明らかにしました。

• ある会社の共同創業者が、証明システムとハードウェアを同時に設計するという理念を紹介しました。彼らのシステムは、バイナリタワーフィールドとサムチェックプロトコルを使用しています。初期テストでは、特定のアプリケーションにおいてGroestlハッシュ関数の性能がKeccakを上回ることが示されました。

非中央集権的な証明者ネットワーク

複数の専門家が分散型証明者市場の将来の発展方向について議論しました：

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

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

• ある企業の技術ディレクターが、マルチパーティ計算をサポートする証明市場について議論し、特に小規模な顧客と大規模な証明者の間でプライバシーをどのように維持するかについて探求しました。彼は、コストを最小限に抑えるために証明システムの組み合わせを選択する方法を検討しました。

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

会議では、既存のアイデンティティシステムに基づいてゼロ知識証明を構築する複数のプロジェクトについても議論されました。

• 電子メールDKIM署名に基づくアドレス所有権証明で、匿名送金や告発などの用途に使用できます。

• OpenID Connectを利用して、従来のWeb2アイデンティティと相互作用し、ソーシャルメディアアカウントへの送金などの機能を実現します。

• 既存の電子パスポートから匿名証明書を構築し、ユーザーが国籍や年齢などの情報を具体的な詳細を明らかにすることなく証明できるようにします。

このサミットでは、ゼロ知識証明技術がハードウェア、ネットワーク設計、認証などの分野での最新の進展を示し、この技術の将来の発展に指針を与えました。