ゼロ知識サミット 2024：現地記録

ジョセフ・ボノー、研究パートナーでニューヨーク大学の助教授は、4月10日にアテネで開催された第11回ゼロ知識サミットに参加しました。このイベントには約500人の参加者が集まり、1日で同時に4つの講演が行われました。以下は、ボノーの報告の要約で、ゼロ知識ハードウェア、SNARK性能、および証明ネットワーク設計の最新の進展をカバーしています。

ZKハードウェア

証明生成のためのハードウェアサポートは、コミュニティの長期的な目標であり続けています。メインステージでの最初の2回の講演は、この分野の最新の進展を概説しました。

ある研究者は、ZKハードウェアの包括的な概要を提供し、この分野の企業の分類を行いました。彼は、汎用ハードウェアを使用している企業、カスタムハードウェアを製造している企業、そして分散型証明ネットワークを運営している企業を挙げました。彼は、ハードウェアの最適化されたSNARK検証システムとその他の今後の最適化に加え、専用ハードウェアがあれば、計算効率が1000倍向上する可能性があり、これはイーサリアムの最終バージョンに影響を与える可能性があると予測しました。彼はまた、証明者と検証者を正式に検証するコンペティションが発表される予定で、賞金は2000万ドルに達することが言及されました。

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

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

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

ある企業の共同創設者が、彼らの新しいプルーフ・オブ・ステークネットワークについて紹介しました。彼女はさまざまな潜在的なメカニズムデザインについて議論し、競争やマイニングに基づくデザインはうまくいかない可能性があると考えています。彼女はデザインの目標は順次、最小コスト、最大遅延、検閲耐性であるべきだと提案しました。彼女は発行/ステーキングモデルが効果的である可能性があるが、オークションモデルが最も成功する可能性が高いと予測し、最終的には今日のブロック構築に似た形になるかもしれないと述べました。

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

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

ZKの資格情報

3つの異なる講演が、既存のアイデンティティシステムからゼロ知識証明を構築する努力について議論しました。

ある会社の共同創設者がZK電子メールアドレス所有権証明を紹介しました。これらは、特定のアドレスに送信された電子メールのDKIM署名に関する知識に依存しています。多くのアプリケーションがZKを通じて、ユーザーが電子メールアドレスを制御しているかどうかを証明することができ、電子メールアドレスへの送金や匿名通報などが含まれます。

ある研究所の研究者たちは、OpenID Connectと従来のWeb2アイデンティティインタラクション技術の使用について話し合いました。この技術は、既存のOpenIDプロバイダーと相互作用し、ユーザーが特定のアドレスを制御していることを証明することで、GoogleやFacebookアカウントへの送金などのアプリケーションを可能にします。

ある会社の代表は、既存の電子パスポートから匿名証明書を構築する方法について議論しました。例えば、ユーザーはパスポート番号や正確な年齢を明らかにすることなく、特定の国のパスポートを所持し、特定の年齢に達していることを証明できます。