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

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。本サミットには約500名の参加者が集まり、1日で同時に4つのパラレルセッションが行われました。以下は、ゼロ知識ハードウェア、SNARKの性能、そして分散証明ネットワーク設計などの最新の進展をカバーしたサミットの重要な内容のまとめです。

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

ハードウェアサポートは、ゼロ知識証明の分野において重要な目標であり続けています。メインステージでの2つの講演は、現在の開発の動向を概説しました：

ある研究者は、ゼロ知識ハードウェアに関する包括的な概要を提供しました。これには、汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業が含まれます。彼は、ハードウェア最適化されたSNARK検証システムと今後登場する他の最適化を組み合わせることで、計算効率が1000倍向上する可能性があると予測しており、これは将来のEthereumの発展に重大な影響を与えるでしょう。また、ある財団が証明者と検証者の正式な検証を行うコンペティションを発表する予定で、賞金は2000万ドルに達するとのことです。

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

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

業界関係者は一般的に、将来的には大規模な証明生成（たとえば、Rollup内の一連のトランザクションの正当性）が、競争の激しい分散型の専門証明者市場によって行われると考えています。

ある会社の共同創設者が、分散型プロバイダー ネットワークのさまざまな潜在的メカニズム設計について議論しました。彼女は、設計目標は順に、コストの最小化、遅延の最大化、検閲耐性の保証であるべきだと考えています。彼女は、オークションモデルが最も成功する可能性が高く、最終的には現在のブロック構築プロセスに似たものになると予測しています。

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

ある企業の最高技術責任者（CTO）が、マルチパーティ計算（MPC）をサポートする証明市場について議論し、特にMPCを利用して小規模なクライアントと大規模な証明者の間でプライバシーを維持する方法について探求しました。彼は、MPCにおけるコストを最小化するために、線形演算を行うための証明システムの組み合わせをどのように選択するかについて検討しました。

ゼロ知識の資格

3つの討論は、既存のアイデンティティシステムからゼロ知識証明を構築する努力に焦点を当てています：

1. 電子メールに基づくゼロ知識アドレス所有権証明は、DKIM署名検証に依存しています。

2. OpenID Connectを利用して伝統的なWeb2のアイデンティティと相互作用し、GoogleやFacebookアカウントへの送金などのアプリケーションを実現する。

3. 既存の電子パスポートから匿名証明書を構築する。たとえば、特定の国のパスポートを持っていることや年齢範囲を証明するが、具体的な個人情報は明らかにしない。

これらの革新は、認証とプライバシー保護に新たな可能性を提供し、複数の分野で広く応用されることが期待されています。