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

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

ZKハードウェアの発展

証明生成のハードウェアサポートは、業界の重要な関心分野であり続けています。会議の冒頭での2つの講演は、現在の発展状況を概説しました：

• ある研究者は、ZKハードウェアの包括的な概要を提供し、この分野の企業の分類について説明しました。彼は、汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業について言及しました。彼は、最適化されたzkVMと専用ハードウェアの組み合わせによって、計算効率が1000倍向上することが期待され、これが将来のイーサリアムの発展に重大な影響を与える可能性があると予測しました。また、証明者と検証者の正式な検証コンペティションが開催され、賞金は2000万ドルに達することが明らかになりました。

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

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

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

• ある企業の共同創設者が、彼らの間もなく発表されるプルーフネットワークについて議論しました。彼女はさまざまな潜在的なメカニズムデザインを分析し、競争またはマイニングに基づくデザインはうまく機能しない可能性があると考えています。彼女は、デザインの目標は次のようにすべきだと提案しています：コストの最小化、遅延の最大化、検閲耐性。彼女は、オークションモデルが主流になる可能性が最も高く、最終的には現在のブロック構築方法に似たものになると予測しています。

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

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

ZKバウチャーの革新

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

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

• ある会社の研究者がOpenID Connectと従来のWeb2アイデンティティインタラクションを利用する技術について説明し、GoogleやFacebookアカウントへの送金などのアプリケーションを可能にしました。

• あるプロジェクトの代表者が、特定の国のパスポートを保有し、特定の年齢に達していることを証明する匿名証明書を、既存の電子パスポートからどのように構築するかについて議論しました。

これらの革新は、ゼロ知識証明技術が認証とプライバシー保護の分野での応用に新たな可能性を開いた。