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

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

ZKハードウェアの発展

ゼロ知識証明ハードウェアのサポートは、業界の注目の焦点であり続けています。今回のサミットでは、この分野の最新の進展について議論する二つの基調講演が行われました:

研究者はZKハードウェアの包括的な概要を提供し、関連企業を3つのカテゴリーに分けました: 汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、および分散型証明ネットワークを運営する企業です。彼は、専用ハードウェアと最適化技術の進展に伴い、zkVMの計算コストが1000倍削減されることを予測しています。これは将来のイーサリアムの発展に重大な影響を与える可能性があります。彼はまた、証明者と検証者に対する正式な検証競技会が開催され、賞金は2000万ドルに達することを述べました。

別の講演者がBiniusシステムについて紹介しました。これは、証明システムとハードウェアを同時に設計する方法です。Biniusは、バイナリタワーフィールドとsumcheckプロトコルを使用します。興味深いことに、初期のテストでは、ハッシュ関数Groestlが特定のアプリケーションにおいてKeccakよりもパフォーマンスが優れていることが示されました。

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

業界では、将来的に大規模なステートメントの証明生成(が、Rollup内の一連のトランザクションの正しさ)を競争の激しい分散型の専門的な証明者市場によって行われると広く考えられています。

ある講演者が彼らの今後のプロトコルネットワークを紹介しました。彼女は異なるネットワークメカニズムの設計を分析し、競争またはマイニングに基づく設計は理想的な結果をもたらさない可能性があると考えています。彼女は設計目標は次のようにすべきだと提案しました：コストの最小化、遅延の最大化、検閲耐性。彼女はオークションモデルが最も成功する可能性が高く、最終的には今日のブロック構築に類似する可能性があると予測しました。

別のスピーカーが、証明者ネットワーク経済学に関する新しい論文について議論しました。彼らは、双方向オークションで発生する可能性のある共謀の問題に対処するために、新しいマッチング取引と証明メカニズムを導入するProo-phiという名前の新しいメカニズムを提案しました。

もう一つの講演では、プライバシーを保護しながら小規模な顧客と大規模な証明者の間での信頼のない相互作用を実現する方法、特に多者計算(MPC)をサポートする証明市場について議論しました。

ZKバウチャーの革新

3つの講演は、既存のアイデンティティシステムに基づくゼロ知識証明書の構築に関する取り組みを議論しました:

あるプロジェクトは、ZK電子メールアドレスの所有権証明を実現することに取り組んでおり、これは匿名の電子メール送金や通報などのシーンに適用可能です。

別のプロジェクトは、OpenID Connectを利用して従来のWeb2のアイデンティティと相互作用することに焦点を当てており、GoogleやFacebookアカウントへの送金などのアプリケーションを可能にします。

第3のプロジェクトは、特定の国のパスポートを所持し、特定の年齢に達していることを証明する匿名証明書を既存の電子パスポートから構築する方法を探求しましたが、具体的なパスポート番号や正確な年齢を明らかにする必要はありません。

これらの革新は、ゼロ知識技術の認証およびプライバシー保護における応用に新たな可能性を開きました。