同時に

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

世界的にリーディングなデジタル資産取引プラットフォームGateは、2026年4月の透明性レポートを発表しました。オンチェーンインフラの継続的な改善と資金効率の向上に伴い、プラットフォームはオンチェーン取引、資産運用商品、支払いシーン間の相乗効果がさらに強化され、全体のエコシステムの活性度は着実に上昇を維持しています。オンチェーンネットワークに関して、Gate Layerの取引件数は3630万件を超え、前月比で11％以上の成長を記録しました。Perp DEXの非API取引の割合は90％近くに達し、小売の参加度が持続的に回復していることを反映しています。資金と商品面では、余币宝のTVLは18億ドルに近づき、オンチェーンでの収益商品規模は持続的に成長しています。GUSDの規模は1.9億ドル以上に増加し、暗号支払いシーンもGate Cardを通じて日常消費分野にさらに広がり、ユーザー規模は持続的に上昇しています。さらに、GateはMastercardの暗号パートナーシッププログラムに参加し、暗号カード、ステーブルコイン支払い、クロスボーダー決済などの方向で協力を深め、デジタル資産が世界の主流支払いシステムに迅速に統合されることを推進しています。プラットフォームのエコシステムも進化を続けており、2026年第1四半期には約255.77万枚のGTがオンチェーンで焼却され、焼却価値は2068万ドルを超えました。現在までに、GTの累計焼却枚数は1.87億枚を超え、初期供給の約62.46％を占めています。安定した既定の焼却計画を実行することを前提に、GTの長期供給収縮傾向はさらに明確になり、その希少性と価値支援の基盤を提供しています。Gateはオンチェーンエコシステムの拡張と資産管理の協調推進を通じて、多資産金融インフラの完全性とグローバル接続能力を引き続き強化しています。

最近の市場の激しい変動の中で、Hyperliquidプラットフォームの2つの主要なマーケットメイカーが同時に大幅にポジションを減らしました。過去2時間で、Auros Globalのマーケットメイキングアドレスはプラットフォームのすべてのポジションを決済し、約600万ドルの資金をBinanceに引き出しました。以前、このマーケットメイカーは175の暗号通貨に流動性を提供しており、BTCのマーケットメイキング規模は4500万ドルに達していました。同時に、WintermuteもHyperliquid上のマーケットメイキングのエクスポージャーを大幅に縮小しました。Hyperinsightのデータによると、BTCとETHに提供している流動性は約90％減少し、2つの主要な暗号通貨の合計マーケットメイキング規模は約4000万ドルから400万ドルに急減しました。Wintermuteは111の暗号通貨でポジションを保持し、高頻度の注文を維持していますが、総ポジション規模は近くの8000万ドルから4100万ドルに減少しました。2社のマーケットメイカーの合計減少規模は1億ドルに達する可能性があります。

Onchain Lens の監視によると、クジラが HYPE を買い入れています。クジラ "0xF56" は 4,520 ドルで 1,733 枚の XAUT を売却し、783 万ドルを得た後、HyperLiquid に 1,020 万枚の USDC を預け入れ、103,636 枚の HYPE（約 470 万ドル）を購入し、5 倍の HYPE ロングポジションを開設しました。クジラ "0x688" は HyperLiquid に 487 万枚の USDC を預け入れ、47.75 ドルの価格で 102,055 枚の HYPE を購入しました。

公式発表によると、火币 HTX は 5 月 14 日に 2026 年のグローバルクリエイター募集活動を正式に開始し、外部の KOL、コミュニティ運営者、ライブ配信者、トレーディングエキスパートを火币 HTX のクリエイターエコシステムに招待し、60% の永久招待報酬、ライブ配信の投げ銭 100% 返還、月間コンテンツマイニングコンペティションなどの専用特典を提供します。最初の 200 名の成功したクリエイターには、さらに倍のトラフィックサポートが提供されます。さらに、プラットフォームは 5 月 14 日 0:00 から 6 月 14 日 24:00 （ UTC+8 ）まで、新規クリエイター招待取引ランキングコンペティションを同時に開始し、総賞金プールは 5500 USDT に達します。活動期間中に新たに参加したクリエイターは、有効な新規ユーザー数に基づいてランキングされ、活動期間中に招待したユーザーの総取引額が指定の閾値に達すると、対応する報酬を獲得できます。チャンピオンは 1500 USDT の大賞を独占します。

BBXデータによると、昨日のビットコインETF機関需要は強い勢いを維持しており、今日、国会の両院で暗号関連の立法が初めて同日に進行しました。核心的な動きは以下の通りです：アメリカのビットコイン現物ETFは昨日（5月13日）に約$3.581億の総純流入を記録し、その中でBlackRock, Inc. (NYSE: $BLK) 傘下のiShares Bitcoin Trust (NASDAQ: $IBIT)は1日で$2.693億の純流入を記録し、ここ数週間で最も強い1日のデータとなりました。アメリカのビットコイン現物ETF全体は7週間連続で純正流入を記録しており、機関資金の持続的な回帰の構造的な信号がさらに強化されています。ビットコインは昨日$80,000を超えて取引され、年初からの上昇率は約14%であり、CLARITY Actのマークアップ前夜に市場の感情は楽観的な傾向を維持しています。下院歳入委員会（House Ways & Means Committee）は今日（5月14日）に上院銀行委員会のCLARITY Actマークアップと同時に暗号税制改革に関する閉門会議を開催し、議題には暗号資産のキャピタルゲイン税の取り扱い、DeFiプロトコルの税務申告責任の所在、ビットコインのマイニングとステーキング収益の税務分類が含まれています。これは2026年の国会両院における暗号規制立法が初めて同じ日に進行するものであり、暗号規制立法が単一の市場構造の議題から「規制フレームワーク + 税制体系」の完全な立法エコシステムへと拡大したことを示しています。

最新の13Fファイルによると、ウォール街の量子取引大手Jane Streetは2026年第1四半期に複数のビットコイン関連資産を大幅に減少させ、同時にイーサリアムETFおよび一部の暗号株のポジションを増加させました。その中で、Jane Streetが保有するブラックロックのIBITシェアは前四半期比で約71%減少し590万シェアとなり、価値は約2.25億ドルです。フィデリティのFBTCポジションは約60%減少し約200万シェア、価値は約1.15億ドルです。さらに、彼らのストラテジーポジションも2025年第4四半期の約968,000株から約210,000株に減少し、ポジションの価値は約1.46億ドルから約2,700万ドルに減少しました。また、IREN、Cipher Mining、TeraWulf、Core Scientificなどのビットコインマイニング企業の株も減少させました。一方で、Jane StreetはイーサリアムETFを大幅に増加させ、ブラックロックのETHAとフィデリティのETHファンドの合計で約8,200万ドルの新たなポジションを持ちました。同時に、Riot Platforms、Coinbase、Galaxy Digitalのポジションも増加しており、特にGalaxy Digitalのポジションは約17,000株から約150万株に大幅に増加しました。

暗号研究機関 Delphi Digital は最新の報告書『How Far Can Saylor Stretch It』を発表し、Strategy のビットコイン（BTC）資金拡張メカニズムを体系的に分析し、その資金調達構造が「低コスト増持」から「限界効率低下」段階に移行していることを指摘しました。報告書によると、現在ビットコインを中心とした資産蓄積システムにおいて、STRC は Strategy が BTC を継続的に購入するための主要な資金調達ツールとなっています。初期には MSTR の株価が著しくプレミアム（mNAV が BTC の純資産価値を大きく上回る）で「増発即増持」の正の循環を実現していましたが、評価が約 1.24 倍 EV ベースの mNAV に戻るにつれて、普通株の増発による BTC/株の増厚効果は損益分岐点に近づいています。一方で、転換社債ツールは歴史的な段階で重要な役割を果たしてきましたが、約 82 億ドルの元本が蓄積され、2027 年 9 月以降には集中償還の圧力に直面するため、資金調達構造の長期的な持続可能性が圧迫されています。STRC は収益型投資家に約 11.5% の年率月払い配当を提供することで、Strategy に持続的な資金調達源を提供し、BTC 購入のリズムを維持しています。しかし、このメカニズムは継続的なキャッシュフロー義務も引き入れ、各ラウンドの資金調達が BTC 資産を増加させる一方で、将来の配当負担も同時に蓄積されます。報告書は重要なリスクシナリオを強調しています：もし BTC 価格が横ばいで MSTR プレミアムが回復しない場合、「STRC 資金調達によるコイン購入の利益」は「普通株の希薄化と配当義務」によって徐々に相殺される可能性があります。会社の約 22.5 億ドルの現金準備は 2027 年の約 10 億ドルの償還圧力をカバーできますが、2028 年にはより大規模な債務と配当構造が依然として解決される必要があります。さらに、STRC の現在の約 283 億ドルの発行上限は重要な制約ノードとなっています。一度上限に達すると、新たな BTC 購入能力は鈍化する可能性がありますが、既存の配当義務は引き続き存在し、全体の BTC/株の動的成長パスを変えることになります。

Triaは225万USDTのキャッシュバックがすべての条件を満たすユーザーに正式に配布されたことを発表しました。Triaアプリを開けばすぐに受け取ることができます。同時に、Triaの第2四半期の報酬が全面的に開始され、30万USDT + 4000万TRIAの配布が含まれています。第3四半期が間もなく到来します。

富国銀行が最新に提出した13Fファイルによると、2026年第1四半期に複数のイーサリアム現物ETFを増加させたことが示されています。これには、ブラックロックのETHAおよびBitwiseのETHWが含まれています。その中で、ETHAの保有は2025年第4四半期の約67.26万株から約110万株に増加し、増加率は約63.5%です；ETHWの保有は約18.68万株から約25.7万株に増加し、増加率は約37%です。第1四半期末時点で、富国銀行が保有するETH ETFの総価値は約2150万ドルです。これに対して、ビットコインETFの保有は分化が見られます：IBITの保有はわずかに減少し、一方でBITBとGrayscale Bitcoin Mini Trust ETFの保有はそれぞれ約24%と41%増加しました。現在、IBITは依然として最大の暗号ETF保有であり、その規模は約2.5億ドルです。さらに、富国銀行は暗号関連株のポジションを大幅に調整し、Galaxy Digitalの保有を約97%減少させ、一方でStrategyの保有は約32.27万株から72.6万株に増加し、増加率は約125%です。

glassnode の最新週次報告によると、Bitcoin は先週 7.7 万ドルから 8.2 万ドルへと緩やかに上昇し、買い圧力が調整の中で持続しているものの、価格が局所的な高値付近で動き始めると勢いが冷却している。現物 CVD は急上昇し、強い強気の感情と価格上昇に対する堅固な信念を反映している。一方で、現物取引量も増加しており、最近の価格動向が投資家の参加度の向上によりより多くの支援を得ていることを示している。しかし、価格の勢いの緩和は売買圧力がよりバランスの取れた状態にあることを示唆しており、市場が安定段階に入る可能性がある。先物市場の状況も似ており、リスク選好が上昇している。先物の未決済契約量が増加しており、投機活動が活発化し、投資家がより多くのリスクを取る意欲を示している；永続契約 CVD は急上昇し、強気の勢いが続いていることを示している。しかし、強気資金の支払いが減少しており、市場が弱気に転じていることを示しており、強気の感情がやや弱まっている可能性がある。オプション市場に関しては、下方保護の需要が減少し、未決済契約量が増加しており、市場の期待が中立またはやや強気に転じていることを示している。しかし、ボラティリティスプレッドが大幅に急上昇しており、オプションの価格設定が反映するリスクが実際のリスクを大きく上回っていることを示しており、参加者の不確実性が著しく増加していることを反映している。要するに、より強力なオンチェーン活動、より健全な収益性、より安定した保有者のポジションの支援の下で、Bitcoin の市場構造は持続的に改善している。強気の感情が高まっているものの、資本流入の鈍化と慎重な市場感情は、市場がリスク選好の変化に対して依然として敏感であることを示している。

イーサリアム財団は、コア開発者が最近ノルウェーのスヴァールバル諸島で開催された相互運用性会議の成果を発表し、次の段階のGlamsterdamの重要な技術進展を更新しました。会議中、複数のクライアントチームがネットワークのスケーリングと実行層の最適化に関して協力し、いくつかの方向で進展を遂げました。開発者は、ePBS、BALの最適化、およびEIP-8037の再価格設定メカニズムに基づく総合的な結果として、Glamsterdam以降の「信頼できる道筋」が合意に達したことを確認しました。実行層に関しては、ePBS（外部提案者分離アーキテクチャ）が複数のクライアントのGlamsterdam-devnetで安定して稼働しており、外部ブロック構築者のプロセスがエンドツーエンドテストを完了し、ほぼすべてのクライアント実装をカバーしています。同時に、EIP-8037は最終草案が完成し、fixed cost_per_state_byteモデルが確立され、bal-devnet-6で完全な再価格設定パラメータの出力が完了しました。拡張方向のHegotáも同様に進展を遂げています。FOCIL関連のプロトタイプは実行可能な実装を備え、アカウント抽象（AA）の要求範囲が定義され、次の段階では複数のクライアント開発ネットワークの検証段階に入ります。現在の開発の重点は依然としてGlamsterdamの最終実装に集中しており、同時にHegotáの拡張設計とその後のStrawmapの進化を進めています。開発ネットワークはオンラインになっており、FOCILなどの機能は次の段階のテストでさらに深化することが期待されています。組織の面では、今回のinterop会議はProtocol Clusterのリーダーシップ構造の調整が正式に開始されたことを示しています。新しい責任者にはWill Corcoran、Kev Wedderburn、Fredrikが含まれています。Will CorcoranはzkVMの証明と後量子コンセンサスの調整を担当し、Kev WedderburnはzkEVMの開発を主導し、FredrikはプロトコルのセキュリティとTrillion Dollar Securityプロジェクトを担当します。元Protocol ClusterのリーダーチームメンバーであるBarnabé MonnotとTim Beikoは徐々に管理役割から退くことになり、Alex Stokesは休暇期間に入ります。財団は、その任期中にプロトコルがモジュール化の推進を完了し、Fusakaのアップグレードをオンラインにした（2025年12月）、PeerDASを導入し、メインネットのガス能力を向上させたと述べています。

デジタル資産取引プラットフォーム Gate が、予測市場の新たな機能アップグレードを完了したことを発表しました。ホットスポットの発見、戦略取引、ユーザーインタラクションの効率を中心に、検索システム、ランキング、イベント分類、スポーツプレイなどの複数のモジュールを最適化しました。今回のアップグレードでは、Gate にスマート検索と「ライブ＆ホット」セクションが新たに追加され、キーワードのあいまい検索、ホットイベントの推薦、リアルタイムのホットスポットの集約をサポートし、ユーザーがより効率的に取引機会を発見できるようにします。プラットフォームは同時に二次分類システムと「突発セクター」を立ち上げ、重大ニュース、スポーツイベント、暗号市場の異動などのホットコンテンツをカバーしています。スポーツ予測市場において、Gate はポイント差、合計ポイントなどの派生プレイを新たに追加し、迅速な注文とスコア選択のインタラクションを最適化し、取引体験をさらに向上させます。さらに、プラットフォームは予測市場ランキングを正式に立ち上げ、利益・損失、取引額、最高利益などの複数の次元をカバーし、戦略の発見と取引のソーシャル属性を強化します。現在、Gate の予測市場は Polymarket エコシステムに深く接続されており、ユーザーは Gate アプリのホームページの Alpha セクションから直接 Polymarket ページにアクセスし、アカウント内の USDT を使用してイベント予測に参加できるようになり、参加のハードルと操作の複雑さをさらに低減しています。便利な入口と継続的に増加するユーザーのアクティブ度を活用し、Gate は Polymarket の協力チャネルでのパフォーマンスを引き続きリードしており、現在はトップ3に安定して位置しています。

BitgetはVIP専用のETH資産運用を開始しました。これは5月6日18:00から5月10日18:00（UTC+8）までCC PoolXに参加したVIPユーザーを対象としています。活動期間中、該当ユーザーは「簡単にコインを稼ぐ」セクションでETHを購入でき、最大5%のAPRを享受できます。参加期間は5月10日18:00から5月15日18:00（UTC+8）です。同時に、BitgetはETHの入金時間、金額、保有期間に基づき、特定の取引基準を満たすVIPユーザーに対して合計100枚のNVDAON報酬を追加で配布します。詳細についてはBitgetの公式プラットフォームをご覧ください。

BitgetはVIP専用のBTC投資を開始し、5月6日18:00から5月9日18:00（UTC+8）までUMXM PoolXに参加したVIPユーザーを対象としています。イベント期間中、対象ユーザーは「簡単にコインを稼ぐ」セクションでBTCを購入でき、最高で2%のAPRを享受できます。イベントの期間は5月9日18:00から5月14日18:00（UTC+8）です。同時に、BitgetはBTCの入金時間、金額、保有期間に基づき、特定の取引基準を満たすVIPユーザーに対して、合計100枚のNVDAON報酬を追加で配布します。詳細についてはBitget公式プラットフォームをご覧ください。

Hyperinsight の監視によると、過去半時間内に Hyperliquid 上の三つの大口 BTC 主力ロングアドレスが同時にポジションを決済し、合計で 776 BTC の売り注文を生成し、約 6200 万ドルの価値を持ち、決済平均価格は約 79,880 ドル付近であり、今回のポジションはほぼ損益分岐点での退出となっています。三つのアドレスの資金源はすべて HitBTC 取引所からのオンチェーンの送金に遡ることができ、オンチェーンの送金記録と取引行動が高度に同期しているため、同一の大口投資家に属している可能性があります。

暗号取引プラットフォーム SuperEx は、イノベーションゾーンで MegaETH（MEGA）の上場を発表し、MEGA/USDT 現物取引ペアを開放しました。取引は北京時間 2026 年 5 月 6 日 11:00（03:00 UTC）に正式に開始され、入出金の通路もまもなく開放されます。公式によると、現物取引の開始に伴い、MEGA は全通貨契約の保証金のサポート範囲に同時に組み込まれ、ユーザーはそれを直接契約取引の保証金資産として使用できるようになります。MegaETH は、完全に EVM と互換性のある Optimistic Layer 2 ネットワークであり、このネットワークはイーサリアムを決済層として使用し、EigenDA を利用してデータの可用性（DA）を提供します。

アメリカ合衆国上院銀行委員会のメンバーは、《Clarity 法案》で合意した妥協文を金曜日に発表しました。この文書は、暗号企業がステーブルコイン報酬プログラムを継続することを許可しますが、銀行預金機能や経済と同等のステーブルコインの利益を提供することを禁止しています。

Gateの市場情報によると、金（XAUUSDT）は4600ドルを下回り、現在の価格は4596.86ドルで、24時間の下落幅は約1.66%；銀（XAGUSDT）は74ドルを下回り、現在の価格は73.77ドルで、24時間の下落幅は0.74%。金と銀の調整背景の中で、全体の取引活発度は減少するどころか増加しています。CoinGlassのデータによると、Gateプラットフォームの金（XAU）の24時間契約取引額は2.30億ドルに達し、122.30%の増加で、世界の上位に位置しています；銀（XAG）の24時間契約取引額は約3.15億ドルで、213.96%の増加、ポジション量は約2152.44万ドルで、いずれも世界の上位二位にランクインしています。Gateは金属契約取引セクターを初めて創設し、7×24時間の途切れない取引を提供し、ユーザーに変動相場の中でより高い戦略的柔軟性と資産管理効率を提供します。Gateの契約は株式、金属、外国為替、指数および商品などの多様な伝統的金融資産をカバーしており、金、銀および世界の人気株式などのコア対象取引をサポートしています。Gateは引き続き、世界中のユーザーに対してより効率的で専門的なマルチアセットのワンストップ取引プラットフォームを構築しています。