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

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

ZKハードウェアの発展

ゼロ知識領域における証明生成のハードウェアサポートは、常に重要な目標でした。メインステージでの2つの報告は、現在の進展状況を概説しました：

ある研究者がZKハードウェアの包括的な概要を提供し、この分野の企業の分類について説明しました。彼は、汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業について言及しました。彼は、最適化されたzkVMシステムが計算効率を1000倍向上させる可能性があると予測しており、これが将来のイーサリアムのバージョンに重大な影響を与えると述べました。また、ほとんどの証明がGroth16構造を使用する可能性が高いと述べ、間もなく開催される証明者と検証者の正式な検証コンペティションについても予告しました。

ある会社の共同創設者がBiniusシステムを紹介しました。このシステムは、証明システムとハードウェアを同時に設計しています。Biniusはバイナリタワーフィールドとsumcheckプロトコルを使用しています。興味深いことに、初期のテストではGroestlハッシュ関数が特定のアプリケーションでKeccakよりも優位である可能性が示されています。

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

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

ある会社の共同創業者は、彼らが間もなく立ち上げる予定のプロトコルネットワークについて議論しました。彼女はさまざまな潜在的なメカニズムデザインを分析し、競争やマイニングに基づくデザインは理想的な結果をもたらさない可能性があると考えました。彼女はデザインの目標として、コストの最小化、遅延の最大化、検閲耐性を順に挙げるべきだと提案しました。彼女はオークションモデルが最も成功する可能性が高く、最終的には今日のブロック構築に似たものになると予測しました。

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

ある会社の最高技術責任者が、マルチパーティ計算(MPC)の証明市場を支援する方法について議論しました。特に、小規模な顧客と大規模な証明者の間でプライバシーを維持するためにMPCをどのように活用するかについて探求しました。また、コストを最小化するためにMPC内の線形演算を最適化するための証明システムの組み合わせを選択する方法についても検討しました。

ZKバウチャーの革新

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

あるプロジェクトの共同創設者が、電子メールに基づくゼロ知識アイデンティティ所有権証明について紹介しました。これらの証明は、特定のアドレスの電子メールDKIM署名の検証に依存しており、匿名電子メール送金などのアプリケーションに使用できます。

ある研究所の研究者は、OpenID Connectを用いた従来のweb2アイデンティティとの相互作用技術について議論しました。これにより、GoogleやFacebookアカウントへの送金などのアプリケーションが可能になります。

あるプロジェクトのメンバーは、既存の電子パスポートから匿名証明書を構築する方法について議論しました。例えば、ユーザーは特定の国のパスポートを持ち、特定の年齢に達していることを、具体的な個人情報を明かさずに証明することができます。

これらの革新は、プライバシーを保護しながら身元を確認する新たな可能性を切り開き、複数の分野で広範な応用が期待されています。