検証

ハードウェアウォレットメーカーのKeystoneは、デバイスの検証キーが盗まれたため、出荷を一時停止し、18,835台の未販売デバイスを破棄し、25,964件の購入者記録が漏洩しました。

イーサリアムの機関プライバシー技術機関 EthSystems は、そのプライバシープール（shielded pool）について、文書化された仕様から Sepolia テストネットでのバイトコードの実行までの形式的検証を完了したことを発表しました。検証は層ごとに異なるツールを使用して行われました：モデル、回路、ハッシュには Lean を、契約には Halmos と Kontrol を、ウォレットには Aeneas と Verus を、検証者とデプロイにはバイト単位の再構築による照合を使用しました。二重支払いと価値保存は Lean 定理機械によって検証されました。検証中に6つの問題が発見され、そのうち3つは検証ツール自体に起因していました。チームは同時に依存している仮定を列挙しました：ハッシュの衝突がないこと、検証者が偽造証明を拒否すること、契約の動作がモデルと一致すること。

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

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました：単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の Rocq によってチェックされました。ページでは、これらのライブラリに脆弱性がないことを意味するものではなく、残りの問題は信頼されたコンポーネントや証明の範囲外にある可能性があると述べています。ページではさらに、チームが Claude に RFC 1950 を形式化させ、x86 バイナリレベルで Linux カーネル内の zlib 実装がその仕様に準拠していることを証明させたと述べています。また、Rust で書かれた Python の大部分をカバーするインタプリタは、170 万以上のランダム生成プログラムと CPython の動作が一致する割合が 99.95% であることを示しました。36 の小規模な検証タスクにおいて、Opus 5.5 はその半分に必要なトークンが Opus 5 より約 40% 少ないことを証明しました。チームは同時に、証明が単一スレッド、静的リンクの RISC-V バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。

Solanaの落地サービス分析プラットフォームCircularの創設者Benは、取引端末Axiomが誤解を招く「バリデーター賄賂」（validator bribes）を通じて取引者から手数料を徴収し、関連資金をHelloMoon傘下の落地サービスLunarにルーティングしていると考えていると発表しました。Benは、4月以来、Axiomの取引者がLunarに支払った賄賂は約5570万ドルであるが、最新の30日間の分析では、約1%のみが追加のオンチェーンバリデーターインセンティブに起因しており、Axiomがこのチップ収入から分け前を得ているかどうかを尋ねました。Circularは、オンチェーンの支払いフローに基づいて、2026年4月26日から10月19日までのLunarとAxiomに関連する活動を再構築したと述べています。この期間中、Lunarは530,166 SOLの賄賂を受け取り、引用された105ドル/SOLで計算すると約5567万ドルに相当し、1.89億件の成功したLunar賄賂のAxiom取引に対応しています。最近の30日間で、4500万件のAxiom取引がLunarに支払いを行い、成功したAxiom取引の80.6%を占めています。Lunarは138,964 SOLを受け取り、約1459万ドルに相当し、そのうち約1,579 SOLが追加のオンチェーンバリデーターインセンティブに起因しており、割合は1.14%です。Benはまた、9月26日と10月7日のオンチェーンのケースを挙げ、Axiomのインターフェースの提案に従って賄賂を支払った後、識別可能な追加の優先料金がLunarに支払った金額の約1%増加したと述べました。彼は、Axiomが取引のルーティングと手数料の推奨を制御しており、関連するLunarアドレスをGitHubに公開して検証のために提供していると述べました。上記の内容はCircular側のオンチェーン統計と個人の判断であり、投稿は関連する割合が他のサービスコストやオフチェーンの支払いを排除しないこと、またプラットフォームの分配割合の推定がAxiomへの支払いを追跡したものではないことを示しています。

アバランチの公式ブログによると、ドバイ国際金融センター（DIFC）裁判所はアバランチブロックチェーン技術を採用し、裁判所の命令および聴聞記録に対して世界的に検証可能なデジタル真実性証明書を提供することを発表しました。システムは、ファイルの暗号化ハッシュをアバランチCチェーン上のユニークなNFT証明書にバインドすることで、いかなる機関も裁判所に連絡することなく数秒以内にファイルの真実性を検証でき、ファイルの内容や機密情報はブロックチェーンに記録されず、完全にプライバシーが保たれます。アバランチの決済速度は1秒未満で、記録はロールバックできません。さらに、アラブ首長国連邦の電気通信およびデジタル政府規制局（TDRA）はAva Labsと協力し、アバランチ技術を1250万人以上のユーザーにサービスを提供する国家デジタルIDプラットフォームUAE PASSのデジタルボールトブロックチェーン層に導入し、アラブ首長国連邦の行政文書のブロックチェーン上での信頼できる検証システムの構築をさらに推進しています。

デジタル資産市場向けの機関決済ネットワークLynqとステーブルコイン清算所The Better Money Company（TBMC）は、機関決済が数分以内に完了することを示すリアルタイムの概念実証を完了した。この検証は両者の協力の第一段階に属し、預け入れ資金プロセスを採用し、Lynq上でステーブルコイン決済を完了した。概念実証では、TBMCは顧客がLynq上に預けた資産をRLUSDに変換し、決済は数分以内に完了した。検証は実際の生産アカウントと実際の機関対抗者を使用し、決済プロセスは従来の銀行窓口をバイパスした。資産は決済保有期間中に利息が引き続き計上され、計算にはTassatのYield in Transit機能を使用し、資産保有期間に基づいて計上利息が決定される。TBMCの創設者兼CEOであるSam Bronerは、ステーブルコインが意味のある機関インフラストラクチャーになるためには、実際の決済プロセスに入る必要があると述べた。この検証は、オンチェーン担保移転を通じてステーブルコインの断片化を処理できることを示しており、信用や従来の銀行決済に依存せずに接続できることを示している。LynqのCEOであるJerald Davidは、機関には資本が不足しているわけではなく、必要なときに正しい形式で資金を正しい場所に移動することが不足していると述べた。この検証は規模を意図的に小さくしているが、デジタルドルが機関間で数分以内に決済できることを示しており、信用の便宜を速度の代わりにすることはない。Lynqは、プラットフォームのネイティブステーブルコインのサポートは現在の目標が2026年末であると述べている。

Starknetは量子安全ビットコイン方案（QSB）を紹介する投稿を行い、StarkWareの研究者がビットコインメインネット上でソフトフォークや新しいオペコード、コンセンサスルールの変更を必要としない量子安全ロック機構を検証したと述べています。最初のQSBの出力は2026年8月26日にビットコインメインネットのブロック964,199で完了し、関連するGPU計算コストは約320ドルから約50ドルに減少しました。QSBはハッシュ計算を通じてロック機構を構築しますが、各取引には依然として大量の計算が必要であり、資産がこの方案に移行する際には量子リスクのある従来の取引を行う必要があります。この取引はBitcoin Coreのデフォルトの中継ルールに適合せず、現在は対応するウォレット、アドレス形式、復元プロセスもありません。StarkWareは、QSBは緊急研究方案であり、長期的な解決策はソフトフォークを通じてポスト量子署名機構を導入する必要があると述べています。Starknetの全面的な量子安全性もEthereumの基盤アップグレードの進捗に依存しています。

韓国経済新聞によると、サムスン電子の次世代高帯域幅メモリ「12層HBM4E」製品は、NVIDIAおよび主要な超大規模データセンター運営者の品質検証を通過しました。

三井住友銀行、大和証券、SBI証券、Progmat及びDatachainなど9つの日本の機関が「Project Trinity」第2段階の検証を完了したことを発表しました。このプロジェクトは、「券款対付」（DvP）を通じて決済の非同期リスクを排除することを目的としています。テストでは、大和証券とSBI証券が大阪デジタル取引所（ODX）のSTART市場をシミュレーションし、SBI VC Tradeが発行したST社債と三井住友銀行が発行した信託型ステーブルコインを使用して、2件のクロスチェーン同期決済を完了し、T+2決済サイクルの実現可能性を段階的に検証しました。

Crypto Briefingによると、Orcaの最高法務責任者Christopher Montaganoは、韓国ブロックチェーンウィークで、SECが9月17日に発表した革新免除が、DeFiブロックチェーンのトラックが従来のインフラよりも効率的であるかどうかを検証するための条件を提供したと述べました。この免除は、2031年9月17日までの5年間の条件付き救済を提供します。この枠組みの下で、トークン化された証券の場と特定の流動性提供者は、トークン化された米国株の許可取引を運営でき、取引所またはディーラーとして登録する必要はありません。Montaganoは、この免除はAMM専用に設計されているが、DeFiに対する裁定ではなく、関係者は依然として制裁規則を遵守し、発行者の同意を得る必要があると述べ、無許可のDeFiとは区別されるべきだとしました。Orcaは2025年からSECの議論に参加し、同年11月からトークン化された株式の取引を開始します。

Renzo FinanceはMetaMaskのインフラストラクチャのセキュリティ事件に対して、最新製品Renzo Basisのリスクと流動性はステーブルコインや金庫に集中せず、完全にオンチェーンデータで検証できるため、ユーザーはRenzoへの信頼に依存せずに自身がこの事件の影響を受けていないことを確認できると述べています。Renzoは、ezETHは2026年4月から原生ETHのみでサポートされると発表しました。現在、出金待ちのキューには214.75枚のstETH（割合0.5%）のみが有効な申請があります。以前、MetaMaskは一部のインフラストラクチャに影響を与えるセキュリティ事件を処理中であり、MetaMaskウォレットに対する即時の脅威は確認されていないと述べました。予防措置として、MetaMaskは顧客、パートナー、およびセキュリティアドバイザーと調整し、影響を受けた非管理型ステーキングビジネスからのバリデーターを積極的に退出させ、適時にさらなる更新を発表する予定です。

Animoca Brands 旗下プロジェクト Moca Foundation と Moca Network は、Moca Chain のメインネットがローンチされたことを発表しました。これにより、ユーザーと AI エージェントが異なるアプリケーション間で検証可能な証明書を共有できるようになります。ユーザーは証明書を保管し、証明書をいつ、どこで共有するかを決定できます。Moca Chain は、機関が統一されたデジタルアイデンティティに関連付けられた改ざん防止証明書を発行することを可能にし、認証、会員資格などの情報をカバーします。Moca Network は同時に AIR を発表し、企業がユーザーと AI エージェントに接続するための統一された入り口を提供し、機密情報の保存ニーズを減少させます。Moca Network は、AIR エコシステムに SK Planet、Biletinial、Oyunfor、Open Campus、OneFootball、Automobili Lamborghini、Inveo Kripto、Plume、Nansen など 9 社以上のパートナーが参加していることを明らかにし、2026 年までに統合を完了する計画です。

イーサリアムドメインサービスの開発者ENS Labsは、世界法人識別コード基金会（GLEIF）と協力して、機関がそのENS名を検証可能な法人実体識別子（vLEI）に関連付ける方法を探求しています。これにより、ブロックチェーン上で持続可能で検証可能なアイデンティティを形成します。ENSはイーサリアムエコシステムのドメインとアイデンティティシステムであり、ユーザーは長いアドレスの代わりに読みやすい名前を使用できます。GLEIFは、世界法人識別コード（LEI）システムの管理を担当しており、vLEIはその検証可能なバージョンで、組織の法的実体のアイデンティティを確認するために使用されます。双方の今回の協力の方向性は、ブロックチェーン上の名前と規制された法人アイデンティティ証明書をつなげることです。具体的な製品形態やリリース時期については、公開された投稿では明らかにされていません。

予言機ネットワーク Chainlink は月曜日にクロスチェーン相互運用プロトコル CCIP 2 を発表し、その通信およびクロスチェーンブリッジインフラストラクチャに重大なアップグレードを行いました。新しいバージョンでは、企業が Chainlink のデフォルトの 16 の独立したノードオペレーター検証ネットワークの上に、自ら安全な検証チェックを追加することが可能になり、企業は自社の検証者を運営するか、Infosys、Nethermind などの外部サービスプロバイダーを雇うことができます。Chainlink は、ユーザーが「クロスチェーンセキュリティインフラストラクチャの専門家」に強制されるべきではないと述べています。今回のアップグレードは、今年の 4 月に Kelp DAO がハッカー攻撃を受けてから約 5 ヶ月後のことです。攻撃者は北朝鮮の Lazarus 組織に関連しているとされ、Kelp クロスチェーンブリッジが依存している単一の検証者を欺くことによって、約 2.92 億ドルの rsETH を盗みました。このクロスチェーンブリッジは LayerZero に基づいて運営されています。LayerZero は責任を Kelp が単一の検証者のみを使用していたことに帰していますが、Kelp は LayerZero のスタッフがその設定を確認し、異議を唱えなかったと述べています。Kelp はその後、rsETH を Chainlink に移行することを発表しました。アップグレードは同時に Chainlink が以前に大々的に宣伝していた保証メカニズムを調整し、そのリスク管理ネットワークはもはや独立した再確認ノードとして機能しなくなり、このような独立したチェックはオプションの検証者によって提供されることになります。これは、検証者を追加していないユーザーが現在、1 つの検証ネットワークにのみ依存していることを意味し、以前は 2 つでした。既存の Chainlink ユーザーは自動的に新しいバージョンに移行されましたが、会社は新しい検証者を使用する機関をまだ発表しておらず、Aave と Maple がこのアップグレードの他の機能を採用し始めたことのみを示しています。

Bitcoin News は X プラットフォームで、Spaces が「Trust Anchor」を発表し、アプリがビットコインに基づいて人間が読めるアイデンティティを検証できるようにしたと述べています。中央集権的なサーバーに依存する必要はありません。ユーザーは単一の Trust ID を取得し、それをスキャンまたは貼り付けて、互換性のある Spaces アプリで、ローカル検証に基づく Spaces プロトコルの状態を使用して alice@bitcoin などのアイデンティティを検証できます。Trust ID はビットコインのブロックヘッダーと Spaces の累積状態から生成されます。macOS 上の Veritas アプリは、ビットコインのフルノードを実行することなくこの ID を生成でき、ユーザーは自分のノードを接続することも、Spaces クライアントを通じて同じ Trust ID を生成することもできます。このソリューションは、ビットコインを分散型証明書発行機関の基盤として使用し、アプリが企業のサーバーを信頼することなくアイデンティティを認証できるようにすることを目的としています。

Bitgetの最高法務責任者Hon Ngは、8周年を迎えるにあたり公開書簡を発表しました。プラットフォームが全景取引所（UEX）へと進化し続ける中、Bitgetは準備金証明（PoR）システムをさらにアップグレードし、検証可能な資産の範囲を従来の4種類の暗号通貨から19種類の主要資産に拡大しました。データによると、2026年9月時点で、Bitgetは46回のPoR報告を連続して発表しています。Hon Ngは書簡の中で、「成長と責任は、決して互いに独立したものではありません。」と指摘しました。プラットフォームの規模、資産の種類、市場の境界が絶えず拡大する中で、安全性、透明性、コンプライアンス基準も同時にアップグレードする必要があります。「信頼を目に見える形で、かつ検証に耐えるものにすることは、常にBitgetが長期主義を貫くための重要な基石です。」安全システムに関しては、アカウント側で2FA、FIDO2、WebAuthn Passkeysおよびフィッシングコードなどをカバーし、プラットフォームの安全メカニズムは出金保護、異常行動検出、詐欺防止システムなどを統合し、ユーザーのすべての操作にバックエンドの保障を提供しています。今年発表された「市場秩序とトークン責任フレームワーク」は、上場資産、プロジェクトチーム、マーケットメーカーに対する継続的な監視とリスク管理をさらに強化しました。メカニズムの最適化と透明化の取り組みを通じて、公平で秩序ある取引環境を維持しています。コンプライアンスに関して、Bitgetはアルゼンチン、オーストラリア、ニュージーランド、スイス、イギリスなどの複数の法域で相応の登録、ライセンスまたは規制承認を取得し、KYC、KYB、AML、CFTおよび制裁リストのスクリーニングなどのコンプライアンスシステムを継続的に改善し、異なる市場および資産の規制要件に適応しています。

Bitgetは、準備金証明（PoR）システムのアップグレードを発表し、資産を従来の4種類の暗号通貨から19種類の主要資産に拡大し、新たにXAUT、SOL、BNB、USDGOなどのトークンを追加しました。今回のアップグレードでは、プラットフォームレベルの準備金開示と個人資産証明の検証範囲も拡大され、ユーザーはPoRページを通じて各資産の準備率、規模、及びオンチェーン分布を確認でき、Merkle Treeを使用して個人の保有が準備スナップショットに含まれているかどうかを独立して確認できます。Bitgetは2022年12月から毎月準備金報告を発表しており、2026年8月までに45回連続で発表しました。最新の全体準備金率は122%です。BitgetのCEOであるGracyは、プラットフォームがサポートする資産の種類が継続的に増加する中で、準備金の透明性と検証能力も同時に拡大する必要があり、より多くのユーザーが自ら資産状況を確認できるようにし、プラットフォームの透明性をさらに向上させることを目指しています。

波場 TRON 創設者の孫宇晨は、「孫宇晨賞」を設立することを発表し、現在は数学にのみ焦点を当てていると述べた。彼はこの賞が個人ではなく問題に従うものであり、年次会議、ノミネーション、年齢制限はないと述べた。各問題には二つの署名欄があり、一つは証明者を記録し、もう一つは証明を形式化して機械に書き込む人を記録する。両者は同一人物であってもよく、人間、AI、またはAIを使用する人であってもよい。賞金の発生条件は、機械が証明を最初の行から最後の行までエラーなく検証することであり、検証が通過した後の二つの署名欄がその問題の賞金所有者となる。ルールには以下も含まれる：機械による検証の前に、数学界が人間の証明を受け入れている場合は、先に名前を掲示でき、賞金はそのままとし、状態は「証明済み、形式化待ち」となる。証明欄の賞金は、問題が掲載された後に解決された場合のみ支払われる；掲載時に既に解決されている問題については、証明者は名前を記載されるが、賞金は形式化を完了した人にのみ支払われ、数学史に対する賞金の補填は行われない。問題リストは孫宇晨の署名によって掲載される問題と価格が決定され、一度掲示されると減少することはなく、金銭は交換されるが返金はされない。誤って書かれた問題はそのまま支払われ、再掲示される；価格設定以外の検証、支払い、名前の掲示については彼自身は投票に参加しない。孫宇晨は、公益の焦点がこの賞に移ることを示し、初期の賞金プールはブロックチェーンに入金され、アドレスと残高は公開され、彼は追加の資金提供の権利のみを保持すると述べた。受賞証明と賞金の支払いはすべて公開され、ブロックチェーンに記録される。彼は人名を冠することで、機関の交代による改名を避けるためであり、富は数学から来ると述べ、「数学から来て、数学に戻る」ことを望んでいる。