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

2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。約500名の参加者が1日のイベントに参加し、4つの並行した講演セッションが行われました。本記事では、サミットでの最新のゼロ知識ハードウェア、SNARKの性能、分散型証明ネットワーク設計などに関する重要な進展をまとめました。

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

ハードウェアサポートは、ゼロ知識証明コミュニティの重要な目標であり続けています。メインステージでの2つの講演は、この分野の最新の進展を概説しました：

ある研究者がゼロ知識ハードウェアの包括的な整理を行い、関連企業を一般ハードウェアを使用するもの、カスタムハードウェアを製造するもの、分散型証明ネットワークを運営するものの3つのカテゴリに分けました。彼は、zkVMの「究極の形態」が1000倍の計算効率向上を実現する可能性があり、これがイーサリアムの将来のバージョンに重大な影響を与えると予測しています。また、彼は、証明者と検証者に対する正式な検証のためのコンペティションが間もなく発表され、賞金が最大2000万ドルになるとも言及しました。

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

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

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

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

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

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

ゼロ知識の資格

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

ある会社の共同創設者がゼロ知識電子メールアドレス所有権証明について紹介しました。これらの証明は、特定のアドレスに送信された電子メールのDKIM署名を検証することに依存しており、匿名送金や通報などのアプリケーションに利用できます。

ある研究室の研究者が、OpenID Connectを利用した伝統的なWeb2アイデンティティとの相互作用システムについて議論しました。このシステムは、GoogleやFacebookアカウントへの送金などのアプリケーションを実現できます。

あるプロジェクトの代表が、既存の電子パスポートを基にした匿名証明書の構築方法を議論しました。例えば、ユーザーはパスポート番号や正確な年齢を明かさずに、アメリカのパスポートを所持していて25歳以上であることを証明できます。