# ゼロ知識サミット2024：現場レポート2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。本サミットはゼロ知識ポッドキャストが主催し、約500名の参加者が集まり、1日で4つの講演が同時に行われました。以下はサミットの重要な議題のまとめで、最新のゼロ知識ハードウェア、SNARKの性能、証明ネットワーク設計などの進展をカバーしています。## ZKハードウェアの発展長い間、証明生成のためのハードウェアサポートは業界の関心の焦点であり続けてきました。本サミットのメインステージでは、2つの講演がこの分野の最新の進展を概説しました。あるファンドの研究者は、ZKハードウェアについての包括的な概要を提供し、この分野の企業の分類を行いました。これらの企業には、汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業が含まれます。彼は、zkVMの「終局」が1000倍の計算効率の向上を実現する可能性があり、これが将来のブロックチェーン技術に深遠な影響を与えると予測しています。また、あるファンドが証明者と検証者に対する正式な検証のコンペティションを発表する予定であり、賞金は2000万ドルに達することも言及しました。ある企業の共同創業者は、証明システムとハードウェアを同時に設計するという概念について議論しました。彼らのシステムは、バイナリタワーフィールドとサムチェックプロトコルを使用しています。初期テストから得られた興味深い結論は、ハッシュ関数Groestlの性能がKeccakを明らかに上回っていることです。これは、特定のアプリケーションでGroestlを使用することがより有利である可能性があることを意味します。## 分散型証明者ネットワーク業界の多くの人々は、将来のシナリオを想像しました：大規模な証明の生成（例えば、Rollup内の一連の取引の正当性）は、競争が激しく、分散化された専門的な証明者市場によって行われるでしょう。ある企業の共同創業者が、彼らが間もなく発表する証明者ネットワークについて紹介しました。彼女は、分散型証明者ネットワークのさまざまな潜在的なメカニズム設計について議論し、競争やマイニングに基づく設計が理想的な結果をもたらさない可能性があると予測しました。彼女は、設計目標は次の順であるべきだと考えています：コストの最小化、遅延の最大化、そして検閲耐性。彼女は、発行/ステーキングモデルが効果的である可能性があるが、オークションモデルが最も勝つ可能性が高く、最終的には現在のブロック構築モデルに類似する可能性があると予測しました。ある大学の博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。彼は、双方向オークションが証明者と入札者の間の共謀の影響を受けやすいと述べ、Proo-phiと呼ばれる代替メカニズムを提案し、新しいマッチング取引と証明メカニズムを導入しました。ある企業の最高技術責任者が多者計算（MPC）をサポートする証明市場について議論し、特にMPCを利用して小規模な顧客と大規模な証明者間のプライバシーを保護する方法について探求しました。彼はMPCにおけるコスト最小化を実現するために、線形演算を行うための証明システムの組み合わせを選択する方法について考察しました。## ZKの資格情報サミットでは、既存のアイデンティティシステムからゼロ知識証明を構築することに関する3つのディスカッションが行われ、それぞれが異なる既存のアイデンティティシステムに依存しています。あるプロジェクトの共同創設者がZK電子メールアドレス所有権証明について議論しました。これらの証明は、特定のアドレスに送信された電子メールのDKIM署名の検証に依存しており、DKIMは主要な電子メールプロバイダーによって広く展開されています。この技術は、電子メールアドレスへの匿名送金や匿名通報など、さまざまなシナリオに適用できます。ある研究所の科学者たちが、OpenID Connectを使用して従来のWeb2アイデンティティと相互作用するプロジェクトを紹介しました。このプロジェクトは、既存のOpenIDプロバイダーと相互作用でき、ユーザーが特定のアドレスを制御していることを証明し、ソーシャルメディアアカウントへの送金に似たアプリケーションを実現します。あるプロジェクトチームのメンバーは、既存の電子パスポートから匿名証明書を構築する方法について議論しました。たとえば、ユーザーは特定のパスポート番号や正確な年齢を明らかにすることなく、特定の国のパスポートを所持しており、特定の年齢に達していることを証明できます。これらの議論は、ゼロ知識証明技術が認証とプライバシー保護の分野で広範な応用の可能性を示しており、将来のデジタルアイデンティティ管理に新しい可能性を提供しています。
2024ゼロ知識サミット：ZKハードウェア、証明ネットワーク、身分証明の新たな進展
ゼロ知識サミット2024：現場レポート
2024年4月10日、第11回ゼロ知識サミットがアテネで開催されました。本サミットはゼロ知識ポッドキャストが主催し、約500名の参加者が集まり、1日で4つの講演が同時に行われました。以下はサミットの重要な議題のまとめで、最新のゼロ知識ハードウェア、SNARKの性能、証明ネットワーク設計などの進展をカバーしています。
ZKハードウェアの発展
長い間、証明生成のためのハードウェアサポートは業界の関心の焦点であり続けてきました。本サミットのメインステージでは、2つの講演がこの分野の最新の進展を概説しました。
あるファンドの研究者は、ZKハードウェアについての包括的な概要を提供し、この分野の企業の分類を行いました。これらの企業には、汎用ハードウェアを使用する企業、カスタムハードウェアを製造する企業、そして分散型証明ネットワークを運営する企業が含まれます。彼は、zkVMの「終局」が1000倍の計算効率の向上を実現する可能性があり、これが将来のブロックチェーン技術に深遠な影響を与えると予測しています。また、あるファンドが証明者と検証者に対する正式な検証のコンペティションを発表する予定であり、賞金は2000万ドルに達することも言及しました。
ある企業の共同創業者は、証明システムとハードウェアを同時に設計するという概念について議論しました。彼らのシステムは、バイナリタワーフィールドとサムチェックプロトコルを使用しています。初期テストから得られた興味深い結論は、ハッシュ関数Groestlの性能がKeccakを明らかに上回っていることです。これは、特定のアプリケーションでGroestlを使用することがより有利である可能性があることを意味します。
分散型証明者ネットワーク
業界の多くの人々は、将来のシナリオを想像しました：大規模な証明の生成（例えば、Rollup内の一連の取引の正当性）は、競争が激しく、分散化された専門的な証明者市場によって行われるでしょう。
ある企業の共同創業者が、彼らが間もなく発表する証明者ネットワークについて紹介しました。彼女は、分散型証明者ネットワークのさまざまな潜在的なメカニズム設計について議論し、競争やマイニングに基づく設計が理想的な結果をもたらさない可能性があると予測しました。彼女は、設計目標は次の順であるべきだと考えています：コストの最小化、遅延の最大化、そして検閲耐性。彼女は、発行/ステーキングモデルが効果的である可能性があるが、オークションモデルが最も勝つ可能性が高く、最終的には現在のブロック構築モデルに類似する可能性があると予測しました。
ある大学の博士課程の学生が、証明者ネットワーク経済学に関する新しい論文を紹介しました。彼は、双方向オークションが証明者と入札者の間の共謀の影響を受けやすいと述べ、Proo-phiと呼ばれる代替メカニズムを提案し、新しいマッチング取引と証明メカニズムを導入しました。
ある企業の最高技術責任者が多者計算（MPC）をサポートする証明市場について議論し、特にMPCを利用して小規模な顧客と大規模な証明者間のプライバシーを保護する方法について探求しました。彼はMPCにおけるコスト最小化を実現するために、線形演算を行うための証明システムの組み合わせを選択する方法について考察しました。
ZKの資格情報
サミットでは、既存のアイデンティティシステムからゼロ知識証明を構築することに関する3つのディスカッションが行われ、それぞれが異なる既存のアイデンティティシステムに依存しています。
あるプロジェクトの共同創設者がZK電子メールアドレス所有権証明について議論しました。これらの証明は、特定のアドレスに送信された電子メールのDKIM署名の検証に依存しており、DKIMは主要な電子メールプロバイダーによって広く展開されています。この技術は、電子メールアドレスへの匿名送金や匿名通報など、さまざまなシナリオに適用できます。
ある研究所の科学者たちが、OpenID Connectを使用して従来のWeb2アイデンティティと相互作用するプロジェクトを紹介しました。このプロジェクトは、既存のOpenIDプロバイダーと相互作用でき、ユーザーが特定のアドレスを制御していることを証明し、ソーシャルメディアアカウントへの送金に似たアプリケーションを実現します。
あるプロジェクトチームのメンバーは、既存の電子パスポートから匿名証明書を構築する方法について議論しました。たとえば、ユーザーは特定のパスポート番号や正確な年齢を明らかにすることなく、特定の国のパスポートを所持しており、特定の年齢に達していることを証明できます。
これらの議論は、ゼロ知識証明技術が認証とプライバシー保護の分野で広範な応用の可能性を示しており、将来のデジタルアイデンティティ管理に新しい可能性を提供しています。