検証

ヴィタリック・ブテリンは、ブロックチェーンのセキュリティ分野における形式的検証（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 日前に作成され、任意の呼び出しを実行するために悪用される可能性のある脆弱性が存在します。

ジャック・ドーシーの支払い会社Block Inc.は、2026年第1四半期のビットコイン準備証明報告を発表し、3月末時点で28,355枚のBTCを保有しており、現在の価格で約22億ドルの価値があるとしています。そのうち、約19,357枚のBTC（約15億ドル）はユーザーの保管資産であり、企業の自社保有は8,997枚のBTC（約6.92億ドル）です。関連する準備は第三者監査機関によって確認され、SquareやCash Appなどの事業をカバーしています。Blockは、ユーザーは「信頼に依存するべきではなく、自らビットコインの準備を検証できるべきだ」と述べ、誰でもオンチェーン署名を通じて自らの保有状況を独立して検証できるとしています。FTXの崩壊以降、ますます多くの暗号企業が透明性を高めるために準備証明メカニズムを採用し始めています。ただし、マイケル・セイラーは以前に企業がオンチェーンの準備アドレスを開示することに反対しており、これが安全リスクをもたらす可能性があると考えています。財務報告によると、Blockは5月7日に第1四半期の正式な財務報告を発表する予定です。会社の2025年第4四半期の純利益は1.157億ドルで、2024年同期の19億ドルを下回っています。

インサイトコリアの報道によると、韓国のデジタルバンクK Bankは、ブロックチェーン企業Rippleと戦略的提携を結び、ブロックチェーンに基づく次世代の国際送金技術の検証を進めています。両者は、Rippleのグローバル決済ネットワークとインフラを通じて、送金速度、コスト構造、取引の透明性における最適化の余地を重点的に評価します。現在の協力は、デジタルウォレットに基づく概念実証、国際送金モデルの共同開発、デジタル資産分野の拡大を含んでいます。進行中の第2段階のテストでは、銀行内部システムと顧客口座を接続するシミュレーションが行われ、アラブ首長国連邦とタイに向けてオンチェーン資金移動のテストが実施されています。K Bankは現在、コンプライアンスと展開効率を向上させるために、RippleのSaaSデジタルウォレットPalisadeの導入を評価しています。

ヴィタリック・ブテリンはXプラットフォームで、最近のパリ空港の気象センサーが干渉され、予測市場の結果に影響を与えた事件について、単一のデータソースには明らかなリスクがあると述べました。彼は、このようなデータ駆動型の予測市場に対しては、少なくとも3つの独立したデータソースの中央値を参考として使用するべきであり、操作される可能性を低減する必要があると指摘しました。

ChainCatcher 現場報導、イーサリアム共同創設者の Vitalik Buterin が 2026 香港 Web3 カーニバルで基調講演を行いました。彼はイーサリアムを二つの核心機能として定義しました：一つは公共掲示板で、アプリケーションがメッセージやデータを公開するためのもの；もう一つはコードによって制御される共有デジタルオブジェクトで、資産、NFT、ENS、DAOなどを含みます。彼は、イーサリアムの目標は高頻度取引プラットフォームと速度で競争することではなく、最も安全で、最も分散化され、常にオンラインの信頼できるチェーンになることだと強調しました。短期的なロードマップに関して、彼はアカウント抽象化提案 EIP-8141 を紹介しました。これはスマートコントラクトウォレット、量子耐性署名アルゴリズム、プライバシープロトコルをネイティブにサポートします；量子耐性の面では、現在ハッシュと格基の二つの署名スキームがあり、チームは EVM を通じてその効率を大幅に向上させるためにベクトル化を進めています。彼は、ZKVM はリアルタイム EVM 実行を証明するのに十分な速さであり、今年の目標はその安全性を確保することだと明らかにしました。小規模ネットワークからの展開を開始し、2028 年までに検証チェーンの主要な方法となることを計画しており、イーサリアムは分散化を犠牲にすることなく大幅にスケールアップすることを目指しています。長期的なビジョンに関して、イーサリアムは AI を積極的に利用して数学的証明を生成し、ソフトウェアの安全性を形式的に検証し、完全な量子安全性と最大の簡潔性を追求して、プラットフォームの安全性がどの単一チームの継続的な存在に依存しないことを確保しています。

香港で開催された「Crypto 2026：暗号通貨からスマート経済へ」というテーマフォーラムでは、KiteAI アジア太平洋地域責任者のLaughing、Sentient アジア太平洋地域責任者のAnita、Brevis コンテンツ責任者のNic Tang、Mentis 製品責任者のJerry、Predict.fun アジア太平洋地域 BD 責任者の阿黄 Ricardo などのゲストが「AI × Crypto --- 次世代デジタル経済の基盤」というテーマについて円卓討論を行いました。オープンソースのAIエージェント（例えば「ロブスターを育てる」）の爆発が短期的な感情なのか長期的なトレンドなのかについて、Laughing はこれがAIが「対話型」から「実行型」へのパラダイムシフトを示しており、長期的なトレンドの始まりであると考えています。しかし、エージェントには実体がなく、商業者はその取引行動を信頼しにくく、データ漏洩や制御不能の問題はスケールアップにおいて克服すべき障害であると述べました。Jerry は自身の使用体験を踏まえ、現在のエージェントには記憶の曖昧さ、無限ループによるトークンの消費、ファイルの誤削除などのセキュリティリスクが存在すると指摘し、新たに登場したエージェントには改善点があるものの、依然として短所があると述べました。阿黄 Ricardo は、短期的な感情の背後には実際のユーザーのニーズがあるが、再現可能な利益を実現できる取引エージェントは非常に少なく、まだ長い道のりがあると述べました。信頼、安全性、検証可能性などの核心的なボトルネックに対して、Nic Tang は現在のエージェントの実行プロセスはブラックボックスのようであり、ユーザーはその決定が約束通りに実行されているかを検証できないと強調しました。ゼロ知識証明技術は、数学的にエージェントの出力の出所と行動の適合性を証明でき、同時にプライバシーを暴露しないと述べました。Anita は、Sentient がオープンで協力的なAIエージェントネットワークの構築に取り組んでおり、AIとブロックチェーンのアイデンティティ、データ、インセンティブ層の深い統合を推進し、次世代デジタル経済に基盤を提供することを補足しました。最初にスケールアップする可能性のあるアプリケーションシーンについて、ゲストたちはプログラミング分野が比較的成熟していると一般的に考え、予測市場においてエージェントは理性的で感情がなく特定のトラックで人間よりも優れたパフォーマンスを示すと述べました。短期的にはAPIマーケットプレイスとクロスプラットフォーム消費ショッピングエージェントに期待し、中期的にはコンテンツ制作型AI（例えばAIインフルエンサー）に期待し、エージェント間の相互作用やエージェント/スキルのマーケットプレイスは今後の重要なトレンドと見なされています。