ゼロ知識証明

Succinct 旗下のゼロ知識証明システム SP1 が高い深刻度の信頼性の脆弱性を暴露しました。この脆弱性は GitHub の公告 GHSA-p7v2-jjv3-8p8f によって公開され、SP1 のネイティブ Rust 検証器 6.0 から 6.8.0 バージョンに影響を与え、メインネットの Prover Network が無効な証明を受け入れる可能性があります：悪意のある証明者が無効な実行の証明を提出しても、ネットワークの検証器はそれを受け入れてしまいます。脆弱性の原因は、検証器がデータのタグ（宣言次元）を読み取るだけで、実際に保存されている要素の数が次元の積と等しいかどうかを検証していないため、攻撃者はタグを偽造して無効な証明を通過させることができます。固定形状の wrap 証明を使用する Groth16 と Plonk のチェックは影響を受けず、オンチェーンの Solidity チェッカーも安全です。Succinct は 9 月 24 日に修正バージョン 6.8.1 をリリースし、メインネットにデプロイしました；このバージョンでは逆シリアル化の長さチェックが追加されました。脆弱性は Vitalis Salis によって発見され、Immunefi の脆弱性報奨プログラムに報告されました。ネイティブ Rust 検証器を自分で実行し、信頼できない証明者を受け入れるユーザーは 6.8.1 にアップグレードする必要があります。

ゼロ知識証明基盤のSuccinctは、無効な証明が有効と判断される可能性のあるSP1のセキュリティ脆弱性を修正しました。The Defiantによると、欠陥は6.0から6.8.0バージョンのネイティブRust検証パスに存在し、Solidity検証器を介して実行されるオンチェーンのGroth16およびPlonk検証には影響を受けません。

ゼロ知識証明に基づくプライバシー Layer 2 ネットワーク Aztec は、その V6 アップグレード提案が承認されたことを発表しましたが、ガバナンスパネルは現在も投票がオープン状態であり、パネルに記載された実行日は 10 月 26 日です。報告によると、このアップグレードはイーサリアムと Aztec 間のメッセージング速度を向上させ、移行期間中に V5 バージョンに 30 日間の運営資金を提供します。

Matter LabsのCEO、Alex GluchowskiはMoney20/20 USAでPrividium Commanderを発表し、ほとんどの銀行がブロックチェーンをテストしているものの、実際に生産サービスに投入しているのは少数であり、その理由は技術自体ではなく、運用プロセスにあると指摘しました。これには、発行管理、送金処理、監査要件、コンプライアンスワークフローなどの要素が含まれます。Prividium Commanderは統一管理プラットフォームとして位置付けられており、機関は同じ場所で権限を管理し、トークン機能を設定し、運用戦略を定めることができます。また、銀行の既存の伝統的金融システムと接続し、パブリックチェーンとプライベートチェーンのインフラにも対応しています。この製品はMatter Labsの許可型プライバシーブロックチェーンプラットフォームPrividiumの上に構築されており、後者はZK Stack技術に基づいています。これにより、機関は自社のインフラ上でプライベートチェーンを運用し、ゼロ知識証明を通じて取引をイーサリアムに固定し、顧客の残高や取引の詳細を公開することなく、イーサリアムレベルの決済最終性を得ることができます。Matter Labsは2026年9月にPrividium Coreの権限エンジンをオープンソース化し、ドイツ連邦銀行が最初のテスト機関となりました。Cari NetworkはPrividiumを選択して多銀行トークン化預金プラットフォームを構築し、参加者にはHuntingtonやM&T Bankなどの地域銀行が含まれ、2026年後半に稼働を予定しています。Matter Labsは2026年中頃にPrividiumの機関プライバシーインフラに全面的にシフトしました。

去中心化永続契約プロトコル Lighter は、Core 上で BTC と ETH のバイナリオプションを発表しました。Lighter は、イーサリアムのゼロ知識証明に基づいて構築された低遅延の分散型取引所であり、その注文マッチングの時間、価格、優先順位はすべてイーサリアム上で証明されており、取引の検証可能性と公正性を確保しています。Lighter の創設者兼 CEO の Vladimir Novakovski は、このプロトコルが今四半期にオプション製品を重点的に推進し、バイナリオプションから始まり、徐々にオンチェーンのヨーロピアンオプションに移行し、永続契約と同じバランスシートを共有することを目指していると述べました。ユーザーは同じプラットフォーム上で現物、オプション、永続契約の取引を行うことができ、ベーシス取引やデルタヘッジなどの複合戦略を実現します。Lighter はその遅延が数十ミリ秒レベルであり、一部の競合プラットフォームの 500 ミリ秒以上を大きく下回ると述べています。アメリカの企業として、Lighter はアメリカ商品先物取引委員会（CFTC）のライセンス取得を目指しており、成功すれば初のオンチェーン取引所としてそのライセンスを取得することになります。

去中心化永続契約取引プラットフォーム Lighter は、その EVM 開発ネットワーク（devnet）が正式に立ち上がったことを発表しました。この開発ネットワークは、Lighter と Axiom が共同で構築した EVM 等価のロールアップであり、OpenVM によって駆動されています。これは Lighter Core と同期して動作し、両者は単一の ZK 証明を通じてイーサリアムに共同で決済されるように設計されています。開発者は Foundry、Hardhat、Viem、Ethers を使用してデプロイでき、Lighter Core からアカウント、残高、ポジション、注文、マーケットデータを読み取ることができます。また、スマートコントラクトを通じて注文を出したり、修正したり、キャンセルしたりすることができ、開発ネットワーク L1、Lighter Core、Lighter EVM の間で資産を移動させることができます。Lighter は、チームがメール evm@lighter.xyz を通じてアクセスを申請できると述べています。現在、問題に迅速に対応できるように、開発者を段階的に導入しており、今後数週間以内にすべての開発者にアクセス権を拡大する予定です。

プライバシーインフラ Hinkal は 2026 年 10 月 9 日に Mastercard の暗号パートナーシッププログラムに参加することを発表しました。このプログラムは、暗号とブロックチェーンチーム、Mastercard チーム、およびそのグローバルな決済ネットワークをつなぎ、メンバーにはステーブルコイン発行者、インフラ提供者、法定通貨交換サービスプロバイダー、暗号カードサポーター、そしてブロックチェーンおよびブロックチェーンサービスプロバイダーが含まれます。Mastercard は、技術能力をコンプライアンス要件に適合させ、グローバルビジネスで使用できるユースケースに変換することを位置づけています。一部のメンバーは、発行および決済ネットワーク内の金融機関にアクセスし、グローバル基準に沿った規制およびコンプライアンスサポートを受けることができます。関連するユースケースには、クロスボーダー決済および送金、B2B 取引、資金および決済フロー、ステーブルコイン決済、そしてユーザーが一般商業者でデジタル資産を消費するためのカードプロジェクトが含まれます。Hinkal は、ウォレット、決済プラットフォーム、およびチェーンに埋め込むことができるプライバシー機能を提供し、ステーブルコインはプライベートバランスで決済され、ゼロ知識証明を使用して移転され、チェーン上での送金検証時に金額、送信者、または受信者を公開しません。この機能は、Ethereum、Polygon、Solana、TRON およびその他の主要な EVM チェーンで稼働しており、SDK および API を通じて接続できます。既存の統合には、Polygon Wallet のプライベート送信、Tether ウォレット開発キット内の Hinkal プライベート送信、Hinkal SDK を通じてプライバシー機能を追加できるターンキーウォレット、および独自のインターフェースで Hinkal プライベート決済を実行する Avvio が含まれます。

イーサリアムの貢献者 Francesco Risitano (@frisitano) が EIP-8440 (実行チェーン証明) の草案提案を提出しました。この提案は、再帰的ゼロ知識証明メカニズムを通じて、ヘッダービーコルブロックからオリジンビーコルブロックまでのすべての実行有効ペイロードの合法性を証明し、それをビーコルチェーンにバインドします。ノードは単一の証明を通じて、弱い主観性チェックポイントから最新のブロックヘッダーまでの完全な実行有効性を確立し、定数時間のチェーン同期を実現します。

オンチェーンオプションプロトコル Derive は、Derive V3 のローンチを発表し、移行が順調に完了し、取引が再開されたと述べています。チームは、今回の再構築はオンチェーンオプションビジネスの成長を継続するためのものであり、ホスティングはイーサリアム上にあり、マージンと決済はゼロ知識証明を使用し、注文マッチングの遅延は 1 ミリ秒未満であるとしています。発表によると、V3 はコード不要の金庫を導入し、手数料を徴収することをサポートし、ETH と BTC のリスクヘッジを通じて資金を解放することも可能です。関連機能は ETH、WBTC、HYPE、USDC の収益と貸出をカバーし、暗号資産と現実世界の資産の導入を加速します。開発者は、より少ない設定で Derive 上にアプリを構築し、手数料を得ることができます。Derive は、今後数週間でこの基盤の上に新しい市場、金庫、パートナー統合を発表する予定です。このプロジェクトは、オンチェーンオプションビジネスが 5 年以上運営されていると述べています。

Bitcoin.comによると、Ethereum FoundationはOpen Anonymity ProjectとともにEthereumメインネットでzkAPIを立ち上げました。このシステムは、ユーザーがETH、USDCなどの額を事前に預け入れ、AIやその他の従量課金サービスの支払い時に請求書の身元とリクエストを分離することを可能にします。ユーザーが資金を預け入れた後、ゼロ知識証明と使い捨てAPIキーを通じて支払いを認可できます。サーバーは支払い証明を検証した後、上限額のある短期キーを生成し、AIサービスプロバイダーはプロンプトを受け取りますが、対応する支払いの身元を知ることはありません。zkAPIはプロンプトの内容を隠さず、AIサービスプロバイダーはプロンプトと応答を読み取ることができます。安定したIPアドレス、時間パターン、繰り返しの行動もユーザーの身元に関連する可能性があります。このプロジェクトのコードベースは、zkAPIを実験的なプロジェクトとしてマークしています。

The Block の報道によると、イーサリアム財団はイーサリアムメインネットに zkAPI をローンチしました。このソリューションは、Vitalik Buterin が共同執筆した設計に基づいています。zkAPI は、ユーザーが事前に保存した ETH または USDC を使用して、ゼロ知識証明を通じて人工知能やその他の API に対して支払いを行うことを可能にします。サービス提供者は具体的なリクエストと支払い者を関連付けることができません。

CoinDeskの報道によると、イーサリアムの共同創設者であるVitalik Buterinが長期ロードマップを発表し、これを「スリムイーサリアム」と呼んでいます。このビジョンでは、イーサリアムは2030年まで単なるブロックチェーン台帳を超えることを提案しており、今後3〜4年以内にプロトコルを完全に再構築する計画です。転換内容には、取引スループットを約1000倍に拡大し、プライバシーを強化し量子コンピュータの脅威に対抗するためにゼロ知識証明を導入することが含まれています。2030年までに、ネットワークは2TBの従来の動的状態データを収容し、100TBの新しいスケーラブルストレージを重ねて、基盤となる状態の分離と最適化を実現することが期待されています。このビジョンは、イーサリアムを暗号検証に基づくインフラストラクチャとして構築し、金融から社会システムに至るまでのアプリケーションを展開することも提案しています。ほとんどの開発者はこの計画を支持していますが、実施スケジュールが遅れているとの声もあります。

CoinDesk の報道によると、アメリカ証券取引委員会（SEC）の委員 Hester Peirce は、顧客確認（KYC）とマネーロンダリング防止（AML）の規制方法を再検討するよう呼びかけています。彼女は、「データが多ければ多いほど良い」というアプローチが過剰な情報の山を形成し、逆に本当に注目すべき問題を見つけるのが難しくなると考えています。Peirce は、ゼロ知識証明がコンプライアンス状況を検証するために使用でき、個人データを公開する必要がないと述べています。この関連の見解は、CoinDesk がその X アカウントで発表した洞察内容から引用されています。

Rollupの創設者Andyが投稿したところによると、情報筋が明らかにしたところ、SECはKYC要件を調整する準備を進めており、ユーザーがオンチェーンのトークン化された証券にアクセスする際に、KYCを一度だけ完了すればよいとのことです。さらに、この情報筋は、この取り決めにより、異なるオンチェーン取引所とトークン化プラットフォーム間での相互運用性が確保され、ユーザーはゼロ知識証明に基づくアイデンティティシステムを利用して、複数の場所で注文を分割し、より多くの取引量を達成できると述べています。

アメリカ証券取引委員会（SEC）の委員 Hester Peirce は SIFMA デジタル資産会議で発言し、規制当局は従来の金融監視方法を再検討し、「より多くのデータを収集する」ことから新技術を利用してより正確な検証に移行すべきだと述べました。Peirce は、ゼロ知識証明などの技術が、名前、収入、住所などの基礎的な個人情報を開示することなく、ユーザーが年齢、市民権、適格投資家の資格、制裁リストなどの要件を満たしているかどうかを検証できると述べました。Hester Peirce は、連邦政府および規制当局が技術的に可能な場合、属性ベースの検証を採用し、登録された実体が第三者の身元確認により多く依存できるようにし、敏感な情報の重複収集と保存を減らすことを提案しました。Peirce はまた、パブリックブロックチェーンが永続的で公開され、監査可能な取引記録を持ち、ブロックチェーン証拠収集ツールと組み合わせることで、不必要なデータ収集を減らしながら違法活動の追跡能力を向上させる可能性があると述べました。

イーサリアムの共同創設者であるヴィタリック・ブテリンは、第12回ブロックチェーングローバルサミットで基調講演を行い、ブロックチェーンが誕生した当初は主にツールであり、オープンで中立的かつ安全な特徴を持っているものの、スケーラビリティがなく完全に透明で、プライバシー保護のメカニズムがないと述べました。その後、ゼロ知識証明によるプライバシー取引とスケーラブルな検証がこの状況を変え、実際のEIPとして計画から実行に移され、イーサリアムのロードマップに組み込まれました。同様に、全同態暗号などの技術も適用され始めており、不可区別な混乱が将来的にチェーン上で適用される可能性もあります。プライバシーの他に、ブロックの並行構築と証明により、極限のスケーラビリティが可能になり、業界の考え方もデジタル資産からデジタル資産と情報へ、単純なチェーン上からユーザーサイド、トランザクションメモリプール、チェーン上の一連のパイプライン、さらには誰が何を送信できるかから誰が何を見えるかへと変わっています。現在、ブロックチェーンは単なる帳簿から、徐々に暗号学に基づく安全な計算ネットワークへと進化しています。AIの発展に伴い、暗号学のルールをAIに提供して自動形式的検証を行うことで、検証効率が大幅に向上し、チェーンがより多くの可能性を担うことができるようになります。

Aptos Labsは、Confidential APTがAptosメインネットでローンチされたことを発表しました。残高と送金額はチェーン上で暗号化され、バリデーターは具体的な金額を確認することなくゼロ知識証明をチェックして送金の有効性を確認します。アドレスは公開のままで、この機能は完全にオプションであり、公開検証を実現しつつ公開開示は行いません。

去中心化永続契約プロトコル Lighter は、過去1ヶ月間の平均ブロック証明時間が約5.3分から約1分に短縮されたことを発表しました。この進展は、7月23日と8月23日に導入された2つの独立した最適化によって実現されました。Lighter は、ブロック検証をより迅速に完了できるようになり、処理能力を向上させ、インフラコストを削減し、さらなる拡張のためのスペースを創出します。最初の最適化は Heavy/Light 分解です。このプランは、取引回路を軽量回路と重量回路に分割し、取引の大多数を占める単純な見積もり更新が軽量制約のみを支払うことで済むようにし、証明時間を半分に短縮しました。2つ目は、Eigen Labsとの協力によって開催された証明コンペティションからもたらされた Prover バックエンドの最適化で、同じ回路条件下で再び証明時間を半分以上に短縮しました。最初の最適化は8月23日にオンラインになり、さらなるバッチが進行中です。さらに、8月10日にはすべての Schnorr 署名検証を各ブロックの単一の Plonky3 証明に統合し、約20%の改善をもたらしました。上記の最適化は相互に直交しており、効果は重ね合わせ可能です。残りのコンペティション最適化は、さらに約2倍の向上をもたらすと予想されており、7月中旬と比較して合計で約10倍に達する見込みです。現在、Lighter の持続的な処理能力は歴史的なピーク負荷を超えており、引き出しの最終性下限は約21～22分から約16～17分に短縮され、トラフィックのピーク時にも安定しています。

GnosisDAOは、ブロックチェーンネットワークGnosis Chainを独立したLayer 1ネットワークからゼロ知識証明を用いたEthereum Economic Zone（EEZ）Rollupに転換することを承認しました。このネットワークは独立したバリデーターセットを廃止し、Ethereumのバリデーターによって取引の決済が行われます。この提案は123158枚のGNOの支持、115枚の反対、151枚の棄権を得ており、投票には54名の参加者が関与し、総参加量は123425枚のGNOに達しました。これは75000枚のGNOの法定人数の閾値を上回っています。アップグレードは2026年末または2027年初頭に開始される予定ですが、具体的な時期はEEZ技術の準備状況に依存します。アップグレード後、Gnosis Chainのネイティブスマートコントラクトは同一の取引内でEthereumを呼び出し、返された結果を使用することができます。また、Ethereumメインネットの資産と流動性にも接続されます。Gnosis Chainは最初に展開されるEEZインスタンスとなり、既存のアプリケーション、残高、およびxDAI燃料トークンを保持します。

AI安全スタートアップのAttestableは正式に設立され、2000万ドルのシードラウンド資金調達を完了した。このラウンドの資金調達は、Altimeter CapitalのJamin BallとTLV PartnersのYonatan Mandelbaumが主導し、Halcyon Futures、Cerca Partnersなどの機関および複数の投資家が参加した。Attestableの創業者Yogiは、AIが重要なインフラ、国家安全保障、大企業システムに徐々に浸透する中で、AIの運用過程の信頼性を検証する方法が世界的な課題となっていると述べた。同社は、最前線のAIラボ、重要なインフラ、国家レベルのアプリケーション向けの汎用検証レイヤーを構築することを目指している。紹介によると、Attestableはゼロ知識証明（Zero-Knowledge Proof）技術を通じて、AIシステムへの信頼をデータセンターから数学的検証メカニズムに移行させる。この技術は、承認されたモデル、モデルの重み、入力データおよび実行戦略が特定の出力を生成したことを証明できるが、モデルのパラメータやユーザーのプライバシーデータを漏洩させることはなく、モデルを再実行することなく検証を完了できる。Attestableは、その技術が現在、単一のNVIDIA H100 GPU上でMeta Muse Glimmer 30Bモデルの検証推論を実現し、毎秒85トークンの速度に達していると述べている。生成された証明書は小さく、量子耐性特性を備えており、迅速に検証を完了できる。これに対し、イーサリアム共同創設者のVitalik Buterinは投稿し、この成果が大規模言語モデルのゼロ知識証明の性能損失が単位数レベルに近づいていることを意味すると述べた。彼は、次の課題は全同態暗号（FHE）などの技術の性能オーバーヘッドをさらに低減することだと述べた。