ゼロ知識サミット2024：現地ノート

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

ZKハードウェアの発展

ゼロ知識証明ハードウェアのサポートは常に業界の注目を集めています。今回のサミットでは、多くの専門家がこの分野の最新の進展を共有しました：

あるファンドの研究者がZKハードウェアについて包括的な概要を示し、関連企業を3つのカテゴリに分けました：汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業です。彼は、ハードウェア最適化されたSNARK検証システムなどの技術が1000倍の計算効率の向上を実現する可能性があると予測しており、これはイーサリアムの将来の発展に重大な影響を与えると述べました。また、ほとんどの証明はGroth16でラッピングされ、ハードウェアは主に非ZKコンパクト証明に集中していると付け加えました。

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

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

多くの専門家が分散型証明者ネットワークの将来の発展方向について議論しました：

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

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

ある会社の最高技術責任者が、プライバシーを保護しながら、小規模なクライアントと大規模な証明者との間での非信頼型インタラクションを実現する方法について、マルチパーティ計算をサポートする証明市場について議論しました。

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

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

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

ある企業の研究者が、OpenID Connectを利用して従来のweb2のアイデンティティと相互作用する方法を共有し、GoogleやFacebookアカウントへの送金などのアプリケーションが可能になることを示しました。

あるプロジェクトの代表者は、特定の国のパスポートを所有し、特定の年齢に達していることを証明するために、具体的な個人情報を明らかにすることなく、既存の電子パスポートに基づいて匿名証明書を構築する方法について議論しました。

これらの革新的なソリューションは、ゼロ知識証明技術が認証とプライバシー保護の分野での広範な応用の可能性を示しています。