ゼロ知識サミット2024: 現場報告

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

ZKハードウェアの発展

ゼロ知識証明のハードウェアサポートは、業界の注目の焦点であり続けています。本サミットでは、多くの専門家がZKハードウェアの現状と未来について議論しました。

• ある研究者はZKハードウェア分野の包括的な概要を提供し、汎用ハードウェアの使用、カスタムハードウェアの製造、そして分散型証明ネットワークを運営する複数の企業に関わる内容を含んでいます。彼は、ハードウェア最適化されたSNARK検証システムと他の今後登場する最適化を組み合わせることで、計算効率が1000倍向上する可能性があると予測しており、これがイーサリアムの未来の発展に重大な影響を与えるだろうと述べています。彼はまた、ある機関が証明者と検証者の正式な検証競技会を開催する計画を持っており、賞金は2000万ドルに達する可能性があることにも言及しました。

• あるハードウェア会社の共同創設者が、彼らが開発中のSNARK検証システムについて紹介しました。このシステムは、バイナリタワー場とsumcheckプロトコルに基づいています。彼は、特定のアプリケーションにおいて、ハッシュ関数Groestlの性能がKeccakよりも明らかに優れていることを指摘し、この発見が将来のシステム設計の選択に影響を与える可能性があると述べました。

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

複数の専門家が分散型プロバイダーネットワークの将来の発展方向について議論しました：

• ある会社の共同創設者が、彼らがまもなく発表するプロバーネットワークについて紹介しました。彼女は異なるネットワーク設計メカニズムを分析し、競争またはマイニングに基づくモデルは効果が薄い可能性があると考えています。彼女は設計の目標は順に、最小コスト、最大遅延、そして検閲耐性であるべきだと提案しました。彼女はオークションモデルが主流になる可能性が最も高く、将来的には現在のブロック構築プロセスに似たものになるかもしれないと予測しています。

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

• ある会社の技術責任者は、プライバシーを保護しながら、信頼されない大規模な証明者を実現する方法について、マルチパーティ計算（MPC）をサポートする証明市場について議論しました。彼は、MPCにおける線形計算コストを最適化するために、証明システムの組み合わせを選択する方法について探求しました。

ZKバウチャーの革新

会議では、既存のアイデンティティシステムに基づいてゼロ知識証明を構築するための複数の提案が議論されました:

• 電子メールのDKIM署名に基づくZK電子メールアドレス所有権証明は、匿名送金や通報などのシーンに適用できます。

• OpenID Connectを利用して、従来のWeb2アイデンティティと相互作用し、ソーシャルメディアアカウントへの送金などのアプリケーションを実現する。

• 既存の電子パスポートから匿名証明書を構築し、ユーザーが詳細な個人情報を開示することなく特定の情報を証明できるようにします。

これらの革新的なソリューションは、ゼロ知識証明技術が認証とプライバシー保護の分野で広範な応用の可能性を示しています。