24時間ニュース

Svmuu讯 マスク氏傘下のAI企業xAIは、Web版、iOSおよびAndroidプラットフォームにおいて「Skills」機能の同時リリースを発表しました。この機能により、AIアシスタントGrokは、会話をまたがった持続的な記憶能力を獲得し、従来の単発の質問応答チャットボットから、設定可能かつプログラム可能な自動化ワークスペースへと進化していることを示しています。
説明によると、「Skills」機能を使用すれば、ユーザーが特定のタスクの操作方法をGrokに一度教えるだけで、Grokは以降のすべての独立した会話において、関連する個人の好み、レイアウトの書式ルール、または特定のワークフローの手順を永続的に記憶できるようになります。これにより、ユーザーは新しい会話を始める際に、面倒な前置きプロンプトや背景設定を繰り返し入力する必要がなくなります。（界面）

Svmuuイーサリアム共同創設者であるVitalik Buterin氏が記事「A shallow dive into formal verification」を発表し、イーサリアムおよびより広範なコンピューティング領域における形式検証（Formal Verification）の最新の発展と限界について体系的に整理しました。記事は、ここ数ヶ月のイーサリアムの最先端研究コミュニティにおいて、新しいプログラミングパラダイムが急速に台頭していることを指摘しています。それは、開発者が極めて低レベルな言語（例：EVMバイトコード、アセンブリ）やLeanを直接使用し、自動検証可能な数学的証明によってコードの正当性を検証するというものです。この手法は理論的にコード効率を向上させると同時に、セキュリティを大幅に高める可能性があり、一部の研究者からは「ソフトウェア開発の究極の形態」と呼ばれています。
Vitalik氏は、形式検証の核心は、機械がチェック可能な数学的証明を通じてプログラムの特性を検証することにあると述べています。その価値は、「セキュリティ」を経験的なテストから証明可能な論理体系へと転換できる点にあります。暗号通信、暗号プロトコル、そしてブロックチェーンシステム（例：ゼロ知識証明とコンセンサスメカニズム）において、この手法は既に重要なシステム動作のエンドツーエンド検証に利用され始めています。
記事はまた、イーサリアムエコシステムが、プロトコルレベルのセキュリティと信頼性を向上させるために、EVM実装、STARK証明システム、耐量子署名といった主要インフラストラクチャの形式検証プロジェクトを模索していると指摘しています。ただし、Vitalik氏は形式検証が「銀の弾丸」ではないことも強調しています。その限界には、セキュリティ定義が人間によるモデル化に依存していること、一部のシステムを完全に形式化することが困難であること、そしてハードウェアや非検証モジュールが依然として攻撃対象となり得ることが含まれます。さらに、形式証明が存在する場合でも、仕様の誤りやカバーされていない仮定が脆弱性につながる可能性があります。
Vitalik氏は最後に、より現実的な道筋として、形式検証をAI支援プログラミング、型システム、テストフレームワークなど複数の手法と組み合わせ、「意図を冗長に表現し、自動的に一貫性を検証する」という枠組みの下で、段階的にソフトウェアのセキュリティを向上させることを提案しています。AIによる大規模なコード生成のトレンドの中で、ソフトウェアシステムは徐々に「攻撃されやすいエッジモジュール」と「高度に信頼性の高いセキュリティコア」に分化していくでしょう。将来的には、形式検証をコアシステム（例：ブロックチェーンプロトコル、オペレーティングシステムカーネルなど）に集中して適用し、セキュリティを検証可能なデジタルインフラストラクチャを構築すべきだとしています。

Svmuu讯 msx.com のデータによると、米国株式市場の終盤、ダウ平均は0.32%上昇、S&P 500指数は0.07%下落、ナスダック指数は0.51%下落、VIX恐怖指数は3.31%下落した。暗号資産関連株は全面安となり、Upexiは8.97%下落、American Bitcoinは7.21%下落、DeFi Developmentは7.08%下落、Tron Inc.は6.16%下落、Hut 8は6.12%下落した。
なお、msx.comは分散型RWA取引プラットフォームであり、これまでに数百種類のRWAトークンを上場しており、AAPL、AMZN、GOOGL、META、MSFT、NFLX、NVDAなどの米国株やETFトークン銘柄をカバーしている。

SvmuuBitwise Asset Management は、傘下の BHYP Hyperliquid ETF の管理手数料収入の 10% を、自社のバランスシート上で Hyperliquid のネイティブトークン HYPE を保有するために使用すると発表しました。また、関連する HYPE の保有分はステーキングも行われます。
Bitwise は、Hyperliquid が「コミュニティ優先」のモデルを採用しており、チェーン上の収入の約 99% が HYPE トークンの買い戻しと焼却に充てられていることから、同社も HYPE を保有することを決定したと述べています。Bitwise の Hyperliquid ETF（ティッカー：BHYP）は先週金曜日にニューヨーク証券取引所に上場し、投資家に Hyperliquid へのエクスポージャーとステーキング収益を提供します。（The Block）

Svmuu讯 中金研報によると、最近の複数の米国インフレデータが予想を上回り、雇用市場は安定傾向にある。債券は売り浴びせられ、市場のインフレ懸念は高まり続けている。同時に、米イラン和平交渉は実質的な進展が見られず、ホルムズ海峡は事実上の閉鎖状態が続いており、エネルギー価格の上昇リスクは容易に収束しない。基準シナリオでは、米国のPCEインフレは年間を通じて3.5%以上、コアPCEインフレは3%以上で推移すると予想しており、いずれも米連邦準備制度理事会（FRB）の2%の政策目標を大幅に上回る。
このような背景から、FRBの政策スタンスはより慎重な方向へと転換し、年内の追加利下げは困難となる可能性がある（これまでは第4四半期の次回利下げを見込んでいた）。新たに就任するウォッシュ議長にとって、政策の信頼性を確立することが最優先課題であり、市場に明確なインフレ抑制シグナルを適時に伝えることは、当然の責務であると同時に、期待を安定させるための必要な措置でもある。市場にとってこれは、ドル流動性が緩やかに引き締まる可能性が高まり、流動性にのみ依存する資産は引き続き圧力にさらされる可能性があることを意味する。（金十）