BTC $78,883.87 -2.89%
ETH $2,270.42 -3.74%
BNB $703.14 -7.02%
XRP $1.24 -6.29%
SOL $96.80 -5.53%
TRX $0.3497 +6.09%
DOGE $0.0759 -4.90%
ADA $0.1913 -7.01%
BCH $277.61 -4.38%
LINK $10.74 -9.13%
HYPE $91.27 +12.84%
AAVE $120.16 -10.77%
SUI $0.8796 -6.87%
XLM $0.1634 -5.41%
ZEC $1,247.81 -4.82%
AAPL $352.37 +1.99%
AMZN $226.40 -10.46%
GOOGL $280.77 -4.55%
MSFT $530.04 -2.82%
META $619.85 +0.20%
NVDA $208.79 -2.45%
TSLA $396.44 -1.36%
SNDK $1,273.81 -7.12%
INTC $71.26 -23.65%
SPCX $140.35 -2.59%
MU $897.75 -6.70%
AMD $530.15 -6.56%
BTC $78,883.87 -2.89%
ETH $2,270.42 -3.74%
BNB $703.14 -7.02%
XRP $1.24 -6.29%
SOL $96.80 -5.53%
TRX $0.3497 +6.09%
DOGE $0.0759 -4.90%
ADA $0.1913 -7.01%
BCH $277.61 -4.38%
LINK $10.74 -9.13%
HYPE $91.27 +12.84%
AAVE $120.16 -10.77%
SUI $0.8796 -6.87%
XLM $0.1634 -5.41%
ZEC $1,247.81 -4.82%
AAPL $352.37 +1.99%
AMZN $226.40 -10.46%
GOOGL $280.77 -4.55%
MSFT $530.04 -2.82%
META $619.85 +0.20%
NVDA $208.79 -2.45%
TSLA $396.44 -1.36%
SNDK $1,273.81 -7.12%
INTC $71.26 -23.65%
SPCX $140.35 -2.59%
MU $897.75 -6.70%
AMD $530.15 -6.56%

規模

全部
文章
快訊

first_img 韓國警方逮捕 7 人,首例大規模 AI 輔助黑客攻擊案

ChainCatcher 消息,首爾警方逮捕 7 名涉嫌利用生成式 AI 發動黑客攻擊的嫌疑人。首爾地方警察廳稱,涉案組織約 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 家機構報告受損。

Gate 創始人及 CEO Dr. Han:Gate Money 讓股票買咖啡成為現實,目標一至兩年內用戶規模翻倍

ChainCatcher 消息,据 Gatecast 最新一期播客內容,Gate 創始人及 CEO Dr. Han 分享了 Gate Money 的產品理念與未來規劃。他表示,Gate 正將多年積累的經驗延伸至資產管理與日常支付領域,觸達更廣泛的用戶群體,並以未來一至兩年 Gate Money 用戶規模翻倍為目標。憑藉多年交易業務積累的技術系統、機構客戶及做市流動性,Gate 支持多類資產之間的兌換;依托全球牌照佈局以及與銀行、支付網絡的合作,Gate Money 則為用戶資金收付與消費應用創造條件。這些能力共同構成 Gate Money 的運行基礎,使平台能夠在不同使用場景中降低兌換及資金流轉成本。通過持有、兌換、增值與支付等多項能力,Gate Money 將多種類型的資產與生活需求連接起來。Dr. Han 以"用股票買咖啡"舉例,展現資產在投資之外的消費用途。在符合條件的地區,用戶可開設本人名下的銀行賬戶,沿用熟悉的收付方式,由底層區塊鏈技術處理轉賬;閒置資金也可通過收益產品參與增值。展望未來,Dr. Han 還分享了 AI Agent 全天候輔助資產配置與資金管理的應用前景。隨著投資、財富管理與日常支付的融合,Gate Money 將持續拓展各類資產的應用邊界,推動 Gate 的服務深入更多日常生活場景。

first_img Anthropic:Claude 已大規模形式化驗證開源庫

ChainCatcher 消息,人工智能公司 Anthropic 旗下 Frontier Red Team 於 10 月 22 日發布研究,稱大語言模型已能在更大規模上自動撰寫形式化證明。團隊與 Theorem 合作,使用 Claude 在 RISC-V 匯編層對超過 100 個真實開源庫證明安全性質,並稱這是已知首次用 AI 在匯編層對生產軟體做大規模形式化驗證。寫證明過程中還發現了多年未被發現的漏洞。實驗將 Google OSS-Fuzz 中已有的可編譯 fuzz 測試轉為規格:在單線程靜態二進制、固定記憶體預算、RISC-V CPU 與 Linux 等假設下,對小於 64 MB 的任意輸入,程式應正常退出且不觸發記憶體安全錯誤或斷言失敗。數周內,Claude 在修補所發現問題後,對 123 個 OSS-Fuzz 庫中的 239 個入口點證明了上述性質。證明針對編譯後的 RISC-V 指令,約 1.8 億行 Rocq,並由 Rocq 內核檢查。頁面稱,這並不等於這些庫沒有漏洞,剩餘問題可能位於受信任組件或證明範圍之外。頁面還稱,團隊讓 Claude 形式化 RFC 1950,並在 x86 二進制層證明 Linux 內核中的 zlib 實現符合該規格;用 Rust 編寫覆蓋 Python 大子集的解釋器,對超過 170 萬個隨機生成程式與 CPython 行為一致的比例為 99.95%。在 36 個小型驗證任務上,Opus 5.5 證明其中一半所需 token 比 Opus 5 少約 40%。團隊同時指出,證明針對單線程、靜態鏈接的 RISC-V 二進制,且證明檢查器不能判斷規格是否符合現實。
app_icon
ChainCatcher 與創新者共建Web3世界