形式

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました：単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の Rocq によってチェックされました。ページでは、これらのライブラリに脆弱性がないことを意味するものではなく、残りの問題は信頼されたコンポーネントや証明の範囲外にある可能性があると述べています。ページではさらに、チームが Claude に RFC 1950 を形式化させ、x86 バイナリレベルで Linux カーネル内の zlib 実装がその仕様に準拠していることを証明させたと述べています。また、Rust で書かれた Python の大部分をカバーするインタプリタは、170 万以上のランダム生成プログラムと CPython の動作が一致する割合が 99.95% であることを示しました。36 の小規模な検証タスクにおいて、Opus 5.5 はその半分に必要なトークンが Opus 5 より約 40% 少ないことを証明しました。チームは同時に、証明が単一スレッド、静的リンクの RISC-V バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。

The RollupのホストであるAndyによると、彼の情報源は、大型ファンドがSECから「グリーンライト」を受けたと述べており、Fidelity、ARK Invest、またはBlackRockが関与している可能性があり、ファンドの持分をトークン形式でブロックチェーンに上げ、基礎資産と取引できるようになるとのことです。Andyは、現在のところこれは未確認の情報であり、具体的な手配はSECの議長であるAtkinsの確認を待つ必要があると強調しました。

Strategy 執行董事長 Michael Saylor は X プラットフォームで投稿し、ビットコインの最も深遠な革新は、経済エネルギーをデジタル形式に変換し、安全な方法で個人、家庭、企業、機械、さらには国家に結びつけることができる点にあると述べました。Michael Saylor は、ビットコインは単なるデジタル資産ではなく、全く新しい価値保存と経済調整メカニズムであり、富をデジタル形式で長期間保存し、世界中で検証および移転できることを指摘しました。ビットコインは、分散型ネットワークと暗号技術を通じてデジタル価値の安全な管理を実現し、個人や組織に伝統的金融システムに依存しない経済資産の形態を提供しています。

Zcash 開発チームは、近日発表予定の新しいプライバシープール Ironwood を通じて、形式的検証を導入し、数学的証明によって「検出不可能な増発の脆弱性」のリスクを排除する計画を発表しました。以前の情報によると、Orchard シールドプールに存在する脆弱性は修正され、利用された証拠はありませんが、理論的にはチェーン上の履歴を通じて隠れた増発が発生したかどうかを確認することができないため、コミュニティは全く新しい Ironwood シールドプールを導入し、そのプロトコルに対して全面的な形式的検証を行うことを決定しました。

ZEC 財庫会社 Cypherpunkは X プラットフォームで ZEC トークン市場の変動に応じて発表し、すべてのソフトウェアには脆弱性が存在すると述べ、歴史的にビットコインは誤って「多くの」1,840 億 BTC を鋳造したことがあると指摘しました。しかし、これはブロックチェーン技術を放棄すべきだということではなく、形式的検証と証明可能な正確性を通じて安全性を強化すべきだとしています。Cypherpunkは、AI 技術の発展に伴い、脆弱性検出がより迅速かつ広範囲に行われるようになると強調しましたが、重要なのは悪意のある行為者よりも早く問題を発見できる人が誰であるかです。Zcashは、今後発表される更新を通じてこの能力を示すことができます。以前の報道によると、プライバシーコイン ZEC は無限増発を引き起こす可能性のあるセキュリティ脆弱性が発覚し、市場での売りが発生し、コイン価格は一時的に1日で50%以上下落しました。

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

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

市場の情報によると、アメリカのファーストフードチェーン Steak 'n Shake は、傘下の直営店舗で働く時給従業員に対してビットコインのボーナスを支給することを発表しました。これは、3月1日から毎時0.21ドルが累積され、2年の権利確定期間が満了した後に受け取ることができます。週40時間働くと仮定すると、従業員は毎年約436.8ドル相当のビットコインを累積することができます。最終的な価値は2年後のビットコインの市場価格によって決まります。このチェーン店は昨年、条件付き店舗でビットコインによる支払いを受け入れ始め、すべてのビットコインの売上は会社の「戦略的ビットコイン準備金」に入ります。

据《财富》杂志报道，硅谷知名创业孵化器 Y Combinator 宣布，将允许其 2026 年春季批次的初创企业创始人选择以稳定币 USDC 形式接收融资，金额通常为 50 万美元左右。Y Combinator 的加密领域访问合伙人 Nemil Dalal 表示，选择稳定币的创始人可在以太坊、Solana 等多个区块链上接收代币，未来还可能根据需求扩展到其他稳定币。他指出，稳定币是该机构希望看到更多创业想法的关键领域之一，因此也希望亲身实践这一方向。Dalal 表示，Y Combinator 期待未来越来越多的初创企业开始在链上筹集资金。他认为，尽管当前加密市场情绪低迷，但市场对稳定币的热情仍在持续增长，这与加密资产价格波动无关。

Coinbase の CEO ブライアン・アームストロングは、政府の Trump Accounts イニシアティブに参加し、すべての適格な従業員の子供に対してアメリカ財務省からの 1000 ドルの補助金をマッチングすると発表しました。ブライアン・アームストロングは、この補助金をビットコインの形で支払うことを希望しています。Trump Accounts は、18 歳未満のアメリカ市民のために税制優遇のある投資口座を作成することで、長期的な財務保障を築くことを目的としています。現在、Uber、NVIDIA、Intel、Broadcom、IBM、Schwab などの多くの大企業がこのプログラムに参加し、従業員福利厚生システムに組み込んでいます。

アメリカのチェーンファーストフードブランド Steak'n Shake は、ビットコイン投資を増加させることを発表し、500 万ドルのビットコイン投資（名目価値）を追加しました。さらに、同社はビットコイン形式での売上収入をすべて会社の戦略的備蓄に組み入れることを発表しました。昨年 5 月、同社は全米の店舗でビットコイン決済をサポートすることを発表し、11 月には Steak'n Shake が戦略的ビットコイン備蓄を設立することを発表しました。

据市场消息称，Bitwise 旗下 "10 Crypto Index Fund" 正式在 NYSE Arca 交易所以 ETF 形式上线，此前曾因 SEC 审查延迟。该 ETF 涵盖比特币（BTC）、以太坊（ETH）、瑞波币（XRP）、Solana（SOL）、Cardano（ADA）、Chainlink（LINK）、莱特币（LTC）、Sui（SUI）、Avalanche（AVA）与波卡（DOT）十大主流加密资产。

ChainCatcher のメッセージによると、Blockworks が報じたところでは、ステーブルコイン発行者の Paxos は、従業員が USDG ステーブルコインの形で給与を受け取ることを許可すると発表しました。給与支払いプラットフォーム Toku との統合を通じて、Paxos の従業員は、従来の法定通貨ではなく、給与の一部または全部をステーブルコインの形で受け取ることを選択できます。

ChainCatcher のメッセージによると、Businessinsider の報道で、BONK 財庫会社 Safety Shot が 3000 万ドルの資金調達を完了したと発表し、FalconX などがリード投資家となった。この取引には、約 500 万ドルの現金による登録直接発行と、BONK の創設メンバーが BONK トークンで支払う 2500 万ドルの同時プライベートプレースメントが含まれています。

ChainCatcher のメッセージによると、BTCS Inc. はソーシャルプラットフォームで発表し、同社は株主に対してイーサリアム（ETH）形式で一回限りのブロックチェーン配当を1株あたり0.05ドルで支給することを明らかにしました。また、2026年1月26日までに株式を簿記形式に転換し、引き続き保有する株主には、1株あたり0.35ドルのイーサリアム忠誠報酬を追加で支給します。資格のある株主は合計で1株あたり0.40ドルのETH配当（配当金と忠誠報酬を含む）を受け取ることができます。公式は、今回の革新的な配当は長期株主への還元を目的としており、株式が悪意のある空売り者に貸し出される可能性を減少させ、株主が自分の投資を真にコントロールできるようにすることを助けると述べています。これは単なる配当ではなく、BTCSが株主の信頼に応えるものであり、互いの忠誠の証でもあり、BTCSの将来の発展に対する共通の信念を示しています。

ChainCatcher のメッセージによると、智通財経の報道では、一部のネットメディアが「中国レアアースグループとアリババグループ、中国人民銀行が共同で世界初のレアアース人民元ステーブルコインを構築する」という関連情報を最近流布しているとのことです。この虚偽の情報は、公共を深刻に誤導し、金融秩序を乱すものであるため、中国レアアースグループ株式会社は、関連機関や団体といわゆる「レアアース人民元ステーブルコイン」に関して、いかなる形式の協力、協議、または計画を行ったことはないと声明を発表しました。この情報は不法な者によって悪意を持って捏造されたものであり、社会一般および広範な投資家に対して信じず、広めないよう呼びかけています。社会の各界および広範な投資家に対して、違法な金融活動に警戒し、リスクを防ぐよう注意を促し、財産の損失を防ぐようにしています。同社は関係当局に報告し、関連団体に対して侵害や詐欺などの不法行為を直ちに停止するよう厳正に要求しています。

ChainCatcher のメッセージによると、CCTVニュースが報じたところによれば、トランプはホワイトハウスで正式に「アメリカのステーブルコイン国家革新法案」（略称「天才法案」）に署名し、アメリカが初めてステーブルコインの規制フレームワークを確立したことを示しています。トランプは、ステーブルコインがアメリカ国債の需要を増加させ、金利を低下させ、ドルの世界的な準備通貨としての地位を強化するのに役立つと述べました。彼は「アメリカで中央銀行デジタル通貨を設立することは絶対に許可しない」と再確認しました。「天才法案」では、ステーブルコインはドルやアメリカの短期国債などの流動性資産によって裏付けられることが求められ、発行者は毎月、準備の詳細を開示する必要があります。現在、世界で最大の2つのステーブルコインであるUSDTとUSDCの総時価総額は約90％を占めています。統計によると、ステーブルコイン市場の規模は約2470億ドルであり、アメリカの財務長官ベーセントは2030年までに3.7兆ドルに成長すると予測しています。専門家は、アメリカがステーブルコインを推進する意図は、ドルの既存の優位性を利用して、世界の通貨および決済システムにおける主導的地位を維持することであると指摘しています。一部の見解では、この動きがアメリカ国債の圧力を緩和する可能性があると考えられています。しかし、一部の民主党議員は、法案が消費者と金融の安定性を十分に保障していないと疑問を呈し、トランプ家族と暗号通貨との関係を指摘しています。また、一部の共和党議員も、この法案がトランプが以前に中央銀行デジタル通貨を禁止する行政命令と矛盾していると考えています。

ChainCatcher のメッセージ、ナスダック上場企業 Hilbert Group AB は、先週発表した2億スウェーデンクローナの転換社債による資金調達に続き、Deus X Capital が3億スウェーデンクローナのビットコインに投資することを発表しました。合計233枚のBTCが現在Hilbertのバランスシートに移され、Hilbertの資金準備は約430 BTC、価値は約5200万ドル（5億スウェーデンクローナ）に達しました。

ChainCatcher のメッセージによると、The Block の報道では、ステーブルコイン発行者の Circle が IPO 書類を公開し、2025 年 1 月に 990 万ドルの現金と約 290 万株の完全帰属普通株（総価値約 9980 万ドル）でトークン化スタートアップの Hashnote を買収したことが明らかになりました。Hashnote は Cumberland Labs によって 500 万ドルの投資を受けて設立され、U.S. Yield Coin（USYC）の発行者であり、買収以来、トークン化された米国債製品における市場シェアが減少しています。以前の報道によると、Circle は IPO を通じて 2400 万株の A クラス普通株（1 株あたり 24-26 ドル）を発行し、約 6 億ドルを調達する計画であり、Coinbase や Ripple からの買収の噂を否定しました。