ゼロナレッジサミット2024 (zkSummit) 現地発表会

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

ZKハードウェアの発展

ハードウェアサポートは、ゼロ知識証明コミュニティの重要な目標であり続けています。本サミットの二つの基調講演では、この分野の最新の進展が概説されました：

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

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

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

複数の専門家が、将来的に大規模な証明生成が分散型の専門的な証明者市場によって実現される可能性について議論しました。

• ある企業の共同創設者が、彼らの今後発表されるプルーフ・オブ・ステークネットワークについて紹介しました。彼女は様々なネットワーク設計メカニズムを分析し、競争またはマイニングに基づく設計は効果が薄い可能性があると考えました。彼女は設計目標として、コストの最小化、遅延の最大化、検閲耐性を挙げました。彼女はオークションモデルが最も成功する可能性が高く、現在のブロック構築に似ているかもしれないと予測しました。

• ある大学の博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。彼らは、双方向オークションで発生する可能性のある共謀の問題に対処するための新しいマッチング取引と証明メカニズムを提案しました。

• ある企業の技術ディレクターが、プライバシーを保護しつつ、小規模なクライアントと大規模な証明者との間での信頼を必要としない相互作用を実現する方法、特に多者計算(MPC)の証明市場を支援することについて議論しました。

ZKバウチャーの革新

3つのディスカッションは、既存のアイデンティティシステムに基づいてゼロ知識証明を構築する方法に焦点を当てています:

• あるプロジェクトの共同創設者が、電子メールDKIM署名に基づくZK電子メールアドレスの所有権証明を紹介しました。これは匿名送金や通報などのアプリケーションに利用できます。

• ある会社の研究者は、OpenID Connectを利用して従来のweb2のアイデンティティと相互作用するソリューションを紹介し、GoogleやFacebookアカウントへの送金などのアプリケーションが可能になることを説明しました。

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

これらの革新は、より安全でプライバシー保護された認証システムを構築するための新しい視点と可能性を提供します。