ゼロ知識サミット2024：現地観察

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

ZKハードウェアの発展

ゼロ知識証明生成のハードウェアサポートは、業界で注目の焦点となっています。メイン会場での2つの報告が、この分野の最新の進展を概説しました：

• ある研究者はZKハードウェアの包括的な概要を提供し、汎用ハードウェアの使用、カスタムハードウェアの製造、分散型証明ネットワークを運営する企業について説明しました。彼は、ハードウェアの最適化によるSNARK検証システムと他の今後の最適化により、zkVMが1000倍の計算効率向上を実現する可能性があると予測しており、これはイーサリアムの未来のバージョンに重大な影響を及ぼすでしょう。また、証明者と検証者を正式に検証する競技会が開催され、賞金は2000万ドルに達することも言及しました。

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

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

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

• ある企業の共同創業者が、近日中に登場するプルーフオブステークネットワークについて議論しました。彼女はさまざまな潜在的なメカニズム設計を分析し、競争またはマイニングに基づく設計は効果が薄い可能性があると考えています。彼女は設計目標を次のように提案しました：コストの最小化、遅延の最大化、検閲耐性。彼女は、オークションモデルが最も成功する可能性が高く、将来的には今日のブロック構築に似たものになる可能性があると予測しています。

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

• ある会社の最高技術責任者は、マルチパーティ計算（MPC）をサポートする証明市場について話し、小規模な顧客と大規模な証明者間のプライバシーをどのようにMPCを利用して保護するかを特に強調しました。彼は、MPC内でコストを最小化するために線形演算を行うための証明システムの組み合わせを選択する方法について探究しました。

ZKバウチャーの革新

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

• あるプロジェクトの共同創設者が、特定のアドレスの電子メールに対するDKIM署名の知識を証明することに依存するZK電子メールアドレス所有権証明について紹介しました。この技術は、電子メールアドレスへの送金や匿名通報などのシナリオに適用できます。

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

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

これらの革新は、ゼロ知識技術が認証とプライバシー保護の面で持つ巨大な可能性を示しており、将来のデジタルアイデンティティ管理に新しい視点を提供しています。