検証

The Blockの報道によると、国際決済銀行（BIS）は、その「Project Agorá」トークン化プロトタイプが国境を越えた卸売取引の原子的決済の実現可能性を成功裏に検証したと発表しました。このプロトタイプは階層構造を採用し、トークン化された中央銀行の準備金と商業銀行の預金を利用して、多通貨・多管轄の「全有または全無」取引チェーンの実行を実現し、各中央銀行が操作の自主権を保持できるようにしています。法律分析によれば、7つの参加管轄区域はすべて決済の最終性を実現でき、プライバシー保護もコンプライアンスの枠組みの下で保障されることができます。このプロジェクトはBISと国際金融協会が共同で発起し、現在、ニューヨーク連邦準備銀行、イングランド銀行、フランス銀行、日本銀行、韓国銀行、メキシコ銀行、スイス国立銀行など7つの中央銀行と40以上の民間金融機関が参加しています。次の段階では、カナダ銀行が正式に第8の中央銀行メンバーとして参加し、プロジェクトは実際の価値テスト段階に進み、民間部門の参加をさらに拡大します。

PR Newswireによると、世界的な決済大手のMoneyGramは、Layer 1ブロックチェーンのTempoと戦略的提携を結び、クロスボーダー送金のコア検証ノード（Anchor Remittance Validator）となり、ネットワーク取引の検証に参加します。三者は、ステーブルコインに基づくグローバル相互運用可能な決済ネットワークを共同で構築し、オンチェーン決済を実際の資金フローに落とし込むことを推進します。また、StripeはTempoのインフラストラクチャ上でMoneyGramに対してオンチェーンのステーブルコイン決済サービスを提供します。

Lighter の公式は X で、第三者 L2BEAT によるエスケープメカニズムの検証が完了したと発表しました。これは、L2 レイヤーのオーダーラーに障害が発生しても、ユーザーが Lighter の L2 からイーサリアムに資金を許可なしで引き戻すことができることを意味します。これは業界初の機能を実現した L2 Perp DEX です。

Bits.mediaの報道によると、ロシア政府は暗号通貨規制に関する法案を二読時に修正し、中央銀行に暗号通貨取引のマネーロンダリング防止検証サービスに対する要求を定める権限を与えることを検討しています。財務省金融政策局長アレクセイ・ヤコブレフは、中央銀行にAMLサービスに要求を提出する権限を付与し、取引が現行のロシア法および規制に適合しているかを確認できるようにしたいと述べました。財務省の代表は、当局がAMLサービスに「外部の視点」を考慮させ、ロシアの暗号ウォレットが国際サービスでどのように機能しているかや「ロシアのシステムが海外で形成するイメージ」を分析することを計画していると述べました。同時に、これらのサービスは「ロシアの金融インフラの機密性を維持」し、その運用原則や内部プロセスの詳細を外部に開示しない必要があります。AMLサービスは、ユーザーが暗号ウォレットの国際制裁、マネーロンダリング防止、テロ資金供与に関するリスクを確認するのを助けるプラットフォームです。現在、ロシアのこのようなプラットフォームの主要な監督機関はロシア連邦金融監督局です。

ヴィタリック・ブテリンは、ブロックチェーンのセキュリティ分野における形式的検証（Formal Verification）の応用の展望について考察を発表しました。記事では、イーサリアムの最前線の研究開発において、新しいパラダイムが登場しており、EVMバイトコード、アセンブリ、またはLeanを直接使用してコードを記述し、Lean内で自動的に検証可能な数学的証明を用いてその正確性を検証することが指摘されています。研究者のヨイチ・ヒライは、このパラダイムを「ソフトウェア開発の最終形態」と呼んでいます。ヴィタリックは、AI支援の形式的検証がコードの効率と安全性を同時に向上させる可能性があり、特にSTARK、ZK-EVM、耐量子署名、コンセンサスアルゴリズムなどの安全なコアモジュールに適していると考えています。記事はまた、形式的検証が万能ではなく、証明範囲の不完全さ、仕様の誤り、ハードウェアのサイドチャネルなどの問題により失敗する可能性があることを強調しています。将来的には、ソフトウェアが「安全コア」と「非安全エッジ」に分化する可能性があり、イーサリアムは重要な安全コアの一つになるでしょう。

イーサリアムの共同創設者である Vitalik Buterin は、イーサリアムの状態ストレージ問題についてコメントし、ユーザーがデータを自分で保存し、ブロックチェーンがハッシュのみを保存し、取引が証明を含む場合でも、証明を検証するために必要なデータを保存および更新する必要があり、これらのデータは最終的に状態自体とほぼ同じ大きさになると述べました。Vitalik は、関連する問題には解決策が存在するが、多くの構成要素が関与し、現在のイーサリアムと比較してトレードオフが必要であると述べました。以前、DeFi コンテンツライターの marilyn100x.eth は、イーサリアムには状態ストレージの問題があり、開発者はデータを書き込むために一度だけ料金を支払い、ノードは長期間にわたってストレージコストを負担するが、EIP-8037 は時間加重の家賃や継続的な費用ではなく、新しい契約、アカウント、およびストレージスロットの初期ガスコストを大幅に引き上げ、拡張プロセス中に状態の成長を制御することを目的としていると述べました。

KB金融グループは、ウォンのステーブルコインが支払い、決済、国際送金などのシーンでの技術的概念検証を完了したと発表しました。この検証は、KB金融グループが電子決済企業KG Inicis、パブリックチェーンKaia、デジタル資産ソリューション会社OpenAssetと共同で実施し、ウォンのステーブルコインの発行、オフライン決済、商業者決済、国際送金などの完全な金融サービスプロセスをカバーしています。報道によると、このソリューションはユーザーの既存の金融サービスの使用習慣を維持しつつ、内部決済システムをブロックチェーンアーキテクチャに移行しました。その中で、実際の支払いシーンは、チェーンコーヒーブランドHollysのオフラインセルフサービス端末を通じてテストが完了し、ユーザーはデジタルウォレットをインストールすることなくQRコードで支払いができ、システムは決済段階で自動的にオンチェーンスマートコントラクトを実行します。さらに、国際送金のテストでは、システムがまずKaiaのオンチェーン流動性を通じてウォンのステーブルコインを米ドルのステーブルコインに交換し、次にベトナムの現地パートナーが法定通貨の入金を行います。全体の送金プロセスは約3分で完了し、手数料は従来のSWIFT送金モデルに比べて約87%減少しています。

AptosはXプラットフォームで発表し、Aptosは動的スケジューリング形式的検証をサポートする最初のL1であり、設計通りに動作することを数学的に証明できると述べています。Aptosは、AIが仕様を作成し、その正確性を数学的に証明することができ、Move Proverはオラクルであり、これは市場と機械の信頼層です。

市場の情報によると、Galaxy Digital傘下のGalaxy VenturesがリードしたステーブルコインスタートアップBoundary Labsが、機関向けのステーブルコインUSBDを発表し、200万ドルのシード前資金調達を完了した。このラウンドの資金調達には、First Block CapitalやBlackWoodなどの機関も参加した。Boundary Labsは、元Deutsche BankおよびDigital Currency Groupの幹部であるMatthew Mezgerによって設立された。USBDはイーサリアムネットワークに展開され、「検証可能なステーブルコイン」の概念を打ち出し、オンチェーンでの準備金、純資産価値（NAV）、およびプロトコルの運用状況を継続的に検証することで、従来のステーブルコインがオフチェーンの監査および信頼メカニズムに依存することを減少させることを試みている。プロジェクトチームは、USBDが過剰担保とヘッジ戦略を採用して市場のボラティリティリスクを低減し、ステーブルコインのインフラを「信頼駆動型」から「検証可能な金融システム」へと移行させることを目指していると述べた。さらに、Boundaryは、DeltaニュートラルDeFi戦略の下でプロトコルの収益を分配するために、ステーキングトークンsUSBDを発表する計画もあるが、USBD自体は収益機能を提供しない。チームは、このプロトコルが主に資産管理機関、ヘッジファンド、およびファミリーオフィスを対象としており、2026年初夏に正式にメインネットを立ち上げる予定であると述べた。

韓国金融安全院は、デジタル資産サービスに関して3つの重点業務を推進すると発表しました。これには、スマートコントラクト検証ツールの開発、スマートコントラクト検証システムの構築、デジタル資産専門人材の育成が含まれます。これにより、トークン証券やステーブルコインなどのシーンに向けて、再入攻撃、アクセス権エラー、担保検証の漏れなどの主要な脆弱性を自動的に検出できる専用のセキュリティ検証ツールを開発し、韓国の金融規制環境に応じて検出ルールを継続的に更新します。同時に、この機関は「スマートコントラクトセキュリティガイドライン」を発表し、開発、展開、運用の全プロセスをカバーし、セミナーや協力ネットワークなどを通じて金融機関のデジタル資産セキュリティ能力を向上させる予定です。

Kelpのセキュリティ事件後、Tetherの資産相互運用性プロトコルUSDT0はプロトコルのセキュリティアーキテクチャの詳細を発表しました。現在のシステムは独自のDVN（分散型検証ネットワーク）を採用しており、メッセージの拒否権を持っています。また、3つの独立した検証者が異なるコードベースに基づいて3/3の合意に達する必要があり、その後にクロスチェーンメッセージの決済が完了します。現在の検証ノードにはUSDT0の独自DVN、LayerZero、Canaryが含まれており、将来的には4/4および5/5の検証メカニズムに拡張する計画です。USDT0は、すべてのマルチシグ取引は署名前に内部チーム、外部セキュリティチーム、および監査機関による複数の審査を受ける必要があると述べており、関連する契約はGuardianやOpenZeppelinなどの機関による監査を受け、Immunefiで600万ドルのバグバウンティプログラムが開始されています。

Coin Bureauの共同創設者兼CEO、Nic PuckrinはXプラットフォームで投稿し、ビットコインが8万ドルの関門を突破し、約3ヶ月ぶりの高値を記録し、CMEギャップ（7.9万ドル--8.4万ドル）の中部、ブルマーケットサポート帯を含む複数の重要なテクニカルおよびオンチェーン指標の範囲に再び立ち上がったことを示しました。また、短期保有者の実現価格と実際の市場平均値の上に上昇しました。Nic Puckrinは分析し、ビットコインの価格が現在の範囲で安定することができれば、次の注目すべき水準には約8.3万ドルのETF平均コスト範囲、約8.45万ドルのCMEギャップの上限が含まれると述べました。全体的に見て、ビットコインの短期的な動向は重要な検証段階に入り、市場はよりボラティリティの高い取引ウィンドウを迎える可能性があります。

グレースケールの親会社であるデジタル通貨グループ（DCG）の創設者バリー・シルバートは、Xプラットフォームで投稿し、市場はまだ世界的にビットコインのような分散型デジタル価値保存ツールに対する2兆ドルの需要を認識していないと述べました。当時、業界全体もビットコイン自体が十分にプライバシーを持ち、比較的プライベートなグローバル価値保存および移転ツールとして機能するとの見解を持っていましたが、現在、市場の認識が高まるにつれて、プライバシーの需要がより明確に認識されるようになりました。そのため、Zcashのようなプライバシーコインは「先知の優位性」により恩恵を受けることになるでしょう。

0G Labsの公式発表によると、0G Private Computerが正式にオンラインになり、AIエージェントと開発者向けにTEE（信頼実行環境）に基づくプライバシー推論サービスを提供しています。ユーザーはpc.0g.aiを通じてサービスに接続できます。公式は、この製品がIntel TDX CPUとNVIDIA H100/H200 GPUで構成されたハードウェア隔離環境を採用しており、すべての推論リクエストはTEE内で完了し、入力内容は暗号化されて送信され、出力結果は署名検証が行われるため、サービス提供者はユーザーデータを直接見ることができないと述べています。現在、プラットフォームはDeepSeek DeepSeek Chat V3、Alibaba Qwen3.6 Plus、Zhipu AI GLM-5-FP8、Qwen3-VL-30B、OpenAI Whisper-large-v3およびz-imageなどのモデルをサポートしており、OpenAI APIに互換性のあるインターフェースを提供しており、開発者はベースURLを変更することで移行を完了できます。

PeckShield の監視によると、あるユーザーは以前に未検証の契約を承認したため、Alchemix の Yearn yvVault ポジション yvWETH を失い、約 100 万ドルの損失を被りました。この未検証の契約は 10 日前に作成され、任意の呼び出しを実行するために悪用される可能性のある脆弱性が存在します。