BTC $76,563.24 -4.98%
ETH $2,224.79 -4.30%
BNB $697.02 -6.20%
XRP $1.24 -3.78%
SOL $93.86 -6.57%
TRX $0.3317 +0.17%
DOGE $0.0747 -5.57%
ADA $0.1906 -5.59%
BCH $285.29 -0.69%
LINK $11.12 -4.65%
HYPE $89.32 -5.86%
AAVE $125.33 -5.74%
SUI $0.8791 -5.00%
XLM $0.1674 -1.08%
ZEC $1,215.38 -7.56%
AAPL $343.01 -2.19%
AMZN $237.77 -3.16%
GOOGL $277.52 -2.19%
MSFT $519.84 -1.81%
META $612.40 -2.48%
NVDA $201.64 -5.40%
TSLA $395.76 -2.50%
SNDK $1,118.59 -15.89%
INTC $63.63 -30.34%
SPCX $135.41 -5.82%
MU $863.86 -7.21%
AMD $494.73 -12.22%
BTC $76,563.24 -4.98%
ETH $2,224.79 -4.30%
BNB $697.02 -6.20%
XRP $1.24 -3.78%
SOL $93.86 -6.57%
TRX $0.3317 +0.17%
DOGE $0.0747 -5.57%
ADA $0.1906 -5.59%
BCH $285.29 -0.69%
LINK $11.12 -4.65%
HYPE $89.32 -5.86%
AAVE $125.33 -5.74%
SUI $0.8791 -5.00%
XLM $0.1674 -1.08%
ZEC $1,215.38 -7.56%
AAPL $343.01 -2.19%
AMZN $237.77 -3.16%
GOOGL $277.52 -2.19%
MSFT $519.84 -1.81%
META $612.40 -2.48%
NVDA $201.64 -5.40%
TSLA $395.76 -2.50%
SNDK $1,118.59 -15.89%
INTC $63.63 -30.34%
SPCX $135.41 -5.82%
MU $863.86 -7.21%
AMD $494.73 -12.22%

規模

すべて
記事
速報

アメリカ財務省は今週、国債の入札で8390億ドルの資金調達規模に達し、歴史的な新記録を樹立しました。

アメリカ政府は今週、国庫券と国債の発行を通じて8390億ドルを調達し、歴史的な最高記録を更新しました。この措置は、満期債務の返済と連邦赤字の資金調達に必要な追加資金を調達するためのものです。今週行われた国庫券、浮動金利証券、2年、5年、7年の国債の入札規模は、昨年同期の8340億ドルの記録を上回りました。この8390億ドルの総額は11回の入札の規模を含んでおり、その大部分は満期国庫券保有者の元本返済に使用されます。アメリカ政府の「新規借入」に該当する部分は1060億ドルに過ぎず、歴史的な高水準には達していません。以前のピークは2020年の3月と4月に見られ、パンデミックへの対応資金を調達するために国債の入札規模が急増し、毎週の純増現金が一時的に3620億ドル近くに達しました。Mischler Financial Groupの金利販売および取引部門のトニー・ファーレンは、「財務省の毎週の債務発行総額が歴史的新高を記録することは決して良いことではありません。最大のリスクは、投資家がより高い利回りを要求する可能性があることです。」と述べています。

バイナンスの顧客資産は約1294億ドルで、準備金の総規模は約1358億ドルです。

バイナンスの公式ウェブサイトの「顧客資産」リアルタイム表示によると、バイナンスの顧客資産規模は約1,294.04億ドルです。また、バイナンスの準備証明公式ページの情報によると、2026年10月1日時点で、主要資産の準備率はすべて100%以上です。その中で、BTCの準備率は100.35%、アカウントの純残高は688,572.68 BTC、オンチェーンウォレットの残高は691,003.593 BTCです。ETHの準備率は100.00%、アカウントの純残高は3,799,136.43 ETH、オンチェーンウォレットの残高は3,799,139.752 ETHです。USDTの準備率は103.88%、アカウントの純残高は約320.28億枚、オンチェーンウォレットの残高は約332.71億枚です。USDCの準備率は108.26%、アカウントの純残高は約71.78億枚、オンチェーンウォレットの残高は約77.71億枚です。BNB、SOL、XRPの準備率はそれぞれ100.47%、100.00%、100.77%です。現価格で計算すると、純残高の合計は約1,336億ドル、オンチェーンウォレットの残高の合計は約1,358億ドルです。バイナンスは、準備証明が保管されたユーザー資産をカバーしており、超過部分は会社の自己資産総量を示さないことを説明しています。公式ウェブサイトの「顧客資産」は別の表示基準であり、通貨ごとに開示された準備証明のスナップショットとは同じ集計表ではありません。

first_img 韓国の警察が7人を逮捕、初の大規模AI支援ハッキング事件

ソウル警察は、生成AIを利用してハッキング攻撃を行った疑いのある7人を逮捕しました。ソウル地方警察庁によると、関与した組織は約90社で、820万件の記録が盗まれました。これは韓国で初めての大規模なAI支援ハッキング攻撃の容疑者逮捕です。被害の対象には病院、大学、私立塾、ゴルフ場、大企業グループの子会社が含まれ、これらの機関は一般市民の名前、連絡先、記録を大量に保有しています。その中の一つの葬儀サービス企業は122万件の記録を失い、塾のデータには未成年者の情報も含まれているとの報道があります。地元メディアによると、主犯は32歳で、文芸と体育を専攻しており、ITのバックグラウンドはありません。彼は調査官に対し、YouTubeやブログを通じてハッキング技術を独学したと述べていますが、警察は彼が2019年から2022年にかけてあるセキュリティ会社で模擬攻撃の仕事をしていたことを指摘しています。彼は最初にウェブサイトの脆弱性スキャンツールを使用し、8月末にはAIコーディングエージェントと自動化ペネトレーションテストシステムArtexを導入しました。警察によると、彼は8月31日から10月13日の44日間で60社に侵入しました。この攻撃行動は約13ヶ月間続き、2025年9月から今年の10月まで行われました。この事件は6月に一人の被害者の通報により立件されました。警察は、この規模の攻撃は過去にはハッカー集団によってのみ実行可能だったが、AIの登場により一人で短期間に実現できるようになったと述べています。犯罪者は38人の被害者にメールを送り、合計で3.6億ウォン(約27.2万ドル)を脅し取ろうとしましたが、唯一確認された支払いは30万ウォン(約210ドル)でした。主犯は先週の金曜日に拘留され、検察に移送され、韓国の情報通信ネットワーク法違反や恐喝、恐喝未遂などの罪に直面しています。警察は他の6人の共犯者の調査を続け、さらに多くの被害者を確認する予定で、現在15の機関が被害を報告しています。

ゲート創設者兼CEOのDr. Han:ゲートマネーは株式でコーヒーを購入することを現実にし、目標は1~2年以内にユーザー規模を倍増させることです。

Gatecastの最新のポッドキャスト内容によると、Gateの創設者兼CEOであるDr. Hanは、Gate Moneyの製品理念と将来の計画を共有しました。彼は、Gateが長年の経験を資産管理と日常支払いの分野に拡張し、より広範なユーザー層にリーチし、今後1〜2年でGate Moneyのユーザー規模を倍増させることを目指していると述べました。長年の取引業務で蓄積された技術システム、機関顧客、そしてマーケットメイキングの流動性を活用して、Gateは多様な資産間の交換をサポートします。グローバルなライセンスの配置と銀行、支払いネットワークとの協力に基づき、Gate Moneyはユーザーの資金の受け取りと支出アプリケーションの条件を整えます。これらの能力は共同でGate Moneyの運営基盤を構成し、プラットフォームが異なる使用シーンで交換および資金の流通コストを削減できるようにします。保有、交換、価値の増加、支払いなどの多様な能力を通じて、Gate Moneyはさまざまなタイプの資産と生活のニーズを結びつけます。Dr. Hanは「株でコーヒーを買う」という例を挙げ、投資以外の消費用途における資産の利用を示しました。条件を満たす地域では、ユーザーは自身名義の銀行口座を開設し、慣れ親しんだ受け取り方法を使用し、基盤となるブロックチェーン技術が送金を処理します。余剰資金も収益商品を通じて価値の増加に参加できます。将来を見据えて、Dr. HanはAIエージェントによる24時間体制の資産配分と資金管理の支援の応用の展望を共有しました。投資、資産管理、日常支払いの融合が進む中で、Gate Moneyはさまざまな資産の応用の境界を拡大し、Gateのサービスをより多くの日常生活のシーンに浸透させていくでしょう。

first_img Anthropic:Claudeは大規模な形式検証オープンソースライブラリを開発しました。

人工知能会社 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 バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。
app_icon
ChainCatcher Building the Web3 world with innovations.