効率

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

SolanaFloor の発表によると、Solana の P-Token アップグレードがメインネットでオンラインになりました。この変更により、取引効率が最大 20 倍向上します。アップグレード後、トークン命令の計算コストが約 96% 減少し、ブロック制限を変更することなく、12% から 13% の追加ブロックスペースが解放されます。

Telegramの創設者Pavel DurovはXプラットフォームで、TONが統一スマートコントラクトツールチェーンActonを発表したと述べました。この新しいツールチェーンにより、TONの開発効率が10倍向上し、スマートコントラクトの作成、テスト、デプロイがより便利になり、AIに完全に対応しています。このツールチェーンは、TONの以前のばらばらなツールスタックを置き換え、単一の開発プロセスに統一されました。紹介によると、ActonはTolk言語を中心に構築された統合コマンドラインツールで、プロジェクトの作成、テスト、デバッグ、dAppの統合、デプロイ、検証の全プロセスをカバーしています。

SoFi Technologiesは、そのステーブルコインSoFiUSDがSolanaネットワークに拡張されることを発表しました。主にその低コスト、高スループット、迅速な決済能力に注目しています。SoFiUSDは2025年に発売され、全額準備金のドルステーブルコインであり、最初はEthereumに展開され、銀行、フィンテック企業、企業に対して24時間365日ほぼリアルタイムの決済インフラを提供することを目的としています。規制の枠組みが徐々に明確になる中、銀行や金融機関はステーブルコインの分野への取り組みを加速しており、TetherやCircleなどの主要発行者と競争しています。

"チェーン上の探偵" ZachXBT は X プラットフォームで、いくつかのアメリカの法律事務所がその調査作業とチェーン上の証拠収集の成果を利用して、ハッカー事件の被害者が法的請求を行うのを助けているが、このような行為は逆に被害者が補償を受けたり資金を回復したりすることに影響を与える可能性があると指摘しました。以前の Lazarus Group に関わるハッカー事件のいくつかでは、このような法律事務所は通常、チェーン上の資金追跡や凍結が完了した後に介入し、暗号事件自体との関連が薄い後続の法的措置を提起しており、Harmony や Bybit などの事件でも同様の戦略を用いて「便乗請求」を行っていました。ZachXBT はまた、暗号コミュニティがこのような行為に抵抗するための DAO を設立すべきだと呼びかけています。

Gate機関が発表した最新の週報によると、先週（4月20日から4月26日）において、地政学的緊張の緩和と利下げ期待の高まりにより、BTCは6.8万ドルから7.7万ドルを超えるまで上昇し、市場の感情は「慎重楽観」を維持しています。ETF資金は引き続き純流入しており、機関投資家は揺れ動く市場の中で着実にポジションを増やし、資本は高流動性資産および深い取引プラットフォームに集中しています。オンチェーン資金には明らかなローテーションが見られます：PancakeSwapの取引額は約360億ドルに達し、USDTの供給量は約2000億ドル、USDeは約20億ドルの純流出がありました。DeFi分野では、Aaveの貸出残高が減少し、流動性がSparkに移行しています。デリバティブの面では、BTCの資金調達率は依然としてマイナスで、オプションの活発度とボラティリティが上昇しています。今後の市場では、FOMCの金利決定会議やOP、SUI、ENAのロック解除によるボラティリティの影響に注目が集まります。このような背景の中で、Gateは機関サービス能力を強化し、高性能なマッチング、深い流動性、複数の取引所戦略のサポートを提供し、高頻度取引やアービトラージのニーズに応えています。同時に、完璧な資産安全性と保管システムを通じて、現物、契約、複数の資産取引のワンストップソリューションを組み合わせ、機関が変動する市場で効率的に実行し、堅実な配置を行うのを支援しています。

Tetherは新世代のモジュラー型ビットコインマイニングインフラを発表し、自社開発の高密度計算システムを通じてエネルギー効率、コスト管理、スケーラビリティを向上させました。このソリューションは、アプリケーション専用のハッシュボードモジュールに基づいて構築されており、Canaan Inc.およびACME Swisstechと協力して開発され、計算、電源供給、シャーシ構造を分離し、コンポーネントレベルの最適化と柔軟なアップグレードを実現しています。従来の統合型マイニングマシンと比較して、この設計はオンデマンドでの拡張、単一コンポーネントの交換をサポートし、熱管理効率を向上させます。Tetherは、新しいシステムが浸漬冷却と組み合わせることでエネルギー消費と運用コストを削減し、システムの可用性を向上させることができると述べています。このアーキテクチャは、実際の運用環境で性能出力を動的に調整し、異なるマイニングサイトのニーズに適応することも可能です。このアップグレードは、以前のオープンソースMining OS（MOS）およびMining SDKの研究開発成果に基づいており、ソフトウェア制御からハードウェア設計への拡張を示し、マイニングインフラに対する自主的な制御能力をさらに強化しています。

香港財政局長の陳茂波は、局長随筆「イノベーションと協力でより大きなエネルギーを集める」を発表しました。その中で、世界の投資家が資産配分の多様化を加速し、単一市場や単一資産への依存を減らしていることを指摘しています。投資市場のホットテーマの発展に伴い、上場投資信託（ETF）の連動資産の種類は引き続き増加しています。貴金属の現物、先物、テクノロジー企業、半導体会社、さらにはデジタル資産など、これらの異なるテーマや異なるレバレッジ特性を組み合わせたETFは、投資家に効率的で透明性の高い投資ツールの選択肢を提供しています。

公式の発表によると、OpenAIは正式にGPT-5.5をリリースしました。このモデルは、インテリジェントエージェントプログラミング、コンピュータ使用、科学研究の分野で顕著な進歩を遂げており、Terminal-Bench 2.0テストでは精度が82.7%に達しました。GPT-5.5は、GPT-5.4と同じ遅延を維持しつつ、推論効率が向上し、Tokenの消費が少なくなっています。現在、GPT-5.5はChatGPT Plus、Pro、および企業ユーザーに提供されており、APIバージョンも近日中に登場予定で、価格は100万入力Tokenあたり5ドル、100万出力Tokenあたり30ドルです。また、高難易度タスク向けのGPT-5.5 Proも同時にリリースされました。

香港で開催された「Crypto 2026：暗号通貨からスマート経済へ」テーマフォーラムにおいて、テンセントクラウドの産業アーキテクトであるアラン・ニエが「クラウド+AI二重エンジン：テンセントクラウドがWeb3の新たな成長を支援する」という題で基調講演を行いました。アラン・ニエは、Web3企業がグローバルなインフラ、研究開発の効率、ビジネスのインテリジェンスにおいて直面している三つのボトルネックを指摘しました。テンセントクラウドは「クラウド+AI」二重エンジンの深い統合を通じて、世界中に低遅延のインフラを提供しています。その中で、シンガポールのデータセンターは、世界で唯一4つの可用性ゾーンを提供するクラウドプロバイダーであり、自社開発のTDSQL-Cデータベースは秒単位の弾力的なスケーリングを実現し、Redisの単一ノード性能は30万以上に達します。AIの活用において、テンセントクラウドはCodeBuddy（AIペアプログラマー）とWorkBuddy（プライベートAIアシスタント）を発表し、コードの自動生成、オフィス文書のバッチ処理、会議の議事録の整理を行い、複雑なタスクの並行実行をサポートします。金融シーンでは、自動化された研究報告の再現周期が3日から半日に短縮され、ブロックチェーン上のデータ分析シーンでは、ストレージコストが元の1/10に削減され、クエリ応答がミリ秒単位に達します。アラン・ニエは、テンセントクラウドが「クラウド+AI」二重エンジンを通じてWeb3企業の次世代スマート経済インフラの構築を支援することに尽力していると述べました。

Bitgetは今日、基盤となる取引インフラのアップグレードを完了したことを発表しました。マッチングエンジンのクラスターとアカウントシステムという2つのコアモジュールを再構築することで、注文処理の遅延を最大40%削減しました。このアップグレードは、Bitget PROユーザーやマーケットメイカーを含む全プラットフォームユーザーを対象としています。アップグレード後、プラットフォームはより迅速な注文受信とステータスフィードバックの速度を提供できるようになり、注文の提出からマッチング実行までの応答チェーンを大幅に短縮します。市場が激しく変動する際には、大口注文や複雑な取引戦略の実行効率と取引の安定性をさらに確保し、全体的な取引体験を継続的に最適化します。BitgetのCEO、Gracy Chenは次のように述べています。「市場は瞬時に変化し、取引ツールもそれに合わせて進化しなければなりません。マッチング性能の継続的な最適化は、トレーダーに信頼できる実行基盤を提供することを目的としています。UEX戦略フレームワークの下で、今回のアップグレードは統一アカウントシステムにおける取引効率と流動性のキャパシティをさらに強化し、暗号資産と伝統的資産の融合取引に対してより安定的で効率的なインフラ支援を提供します。」

CircleのCEO、ジェレミー・アレアは、従来の銀行の国際送金には高い手数料、遅い速度、多くの中間プロセスといった問題があると述べ、ステーブルコインが即時かつ低コストのピアツーピア取引を実現できるとしています。彼はトルコを例に挙げ、現地の人々は自国通貨の価値下落リスクを回避するためにデジタルドルを保有する傾向があると指摘しました。彼は、将来的にはオープンインターネット基盤のソフトウェアツールが従来の銀行と競争する可能性があると考えていますが、銀行もブロックチェーン技術を統合することで変革を遂げる可能性があると述べています。

据链上数据平台 CryptoQuant 监测，比特币矿工抛售压力加剧。MARA 宣布新政策允许出售比特币储备，并将 298 枚 BTC 转移至 Cumberland；Core Scientific 近期也出售了 2,174 枚 BTC。MARA 当前平均挖矿成本约为每枚 70,027 美元，而高效矿工的成本可低至约 45,000 美元。多家矿企抛售的目的包括增强资产负债表及为 AI 基础设施扩张提供资金。

Binance 創業者 CZ は、OpenClaw を使って多くの AI モデルをテストした結果、Kimi AI のトークン効率が最も高く、コーディング性能も良く、設定も最も簡単であると述べました。

腾讯は正式に WorkBuddy ツールを立ち上げ、複雑な展開なしで使用できるようになりました。このツールは「小龍蝦」と呼ばれ、ユーザーのオフィス効率を向上させることを目的としています。WorkBuddy は多くの実用的な機能を統合しており、文書管理、協力コミュニケーション、タスク追跡などをサポートし、ユーザーが多様な作業シーンに簡単に対処できるようにします。腾讯は、WorkBuddy の導入は現代のオフィスが求める便利さと効率性のニーズを満たすためであり、企業の全体的な作業効率を向上させる手助けをすることを示しています。ユーザーはアプリをダウンロードするだけで、その便利な機能をすぐに体験できます。

第十四回全国人民代表大会第四回会議3月6日午後3時に経済テーマ記者会見が開催されました。中央銀行の総裁である潘功勝は記者会見で、今年は柔軟かつ効率的に預金準備率引き下げや金利引き下げなどのさまざまな金融政策ツールを活用すると述べました。