BTC $80,007.92 -0.70%
ETH $2,323.06 -0.56%
BNB $740.54 -1.70%
XRP $1.29 -1.78%
SOL $100.54 -0.80%
TRX $0.3313 +0.03%
DOGE $0.0790 -0.08%
ADA $0.2013 -0.49%
BCH $278.83 -5.64%
LINK $11.65 +0.61%
HYPE $90.80 +13.05%
AAVE $132.90 +0.80%
SUI $0.9273 +0.38%
XLM $0.1711 +0.87%
ZEC $1,280.46 -0.21%
AAPL $348.46 +0.48%
AMZN $249.16 -1.60%
GOOGL $287.87 -11.02%
MSFT $545.54 +2.72%
META $621.83 -0.21%
NVDA $214.74 -2.40%
TSLA $405.09 -1.22%
SNDK $1,379.69 +1.88%
INTC $92.94 -2.19%
SPCX $142.87 -3.99%
MU $964.73 +0.43%
AMD $564.49 -0.91%
BTC $80,007.92 -0.70%
ETH $2,323.06 -0.56%
BNB $740.54 -1.70%
XRP $1.29 -1.78%
SOL $100.54 -0.80%
TRX $0.3313 +0.03%
DOGE $0.0790 -0.08%
ADA $0.2013 -0.49%
BCH $278.83 -5.64%
LINK $11.65 +0.61%
HYPE $90.80 +13.05%
AAVE $132.90 +0.80%
SUI $0.9273 +0.38%
XLM $0.1711 +0.87%
ZEC $1,280.46 -0.21%
AAPL $348.46 +0.48%
AMZN $249.16 -1.60%
GOOGL $287.87 -11.02%
MSFT $545.54 +2.72%
META $621.83 -0.21%
NVDA $214.74 -2.40%
TSLA $405.09 -1.22%
SNDK $1,379.69 +1.88%
INTC $92.94 -2.19%
SPCX $142.87 -3.99%
MU $964.73 +0.43%
AMD $564.49 -0.91%

scale

All
Article
Flash

first_img South Korean police arrested 7 people in the first large-scale AI-assisted hacking case

Seoul police arrested 7 suspects accused of using generative AI to launch hacking attacks. The Seoul Metropolitan Police Agency stated that about 90 organizations were involved, collectively stealing 8.2 million records, marking the first large-scale arrest of suspects in AI-assisted hacking attacks in South Korea. The targeted victims included hospitals, universities, private tutoring centers, golf courses, and subsidiaries of large corporate groups, all of which held a significant amount of personal information, including names, contact details, and records of ordinary citizens. One funeral service company lost 1.22 million records, and reports indicated that the tutoring center's data also contained information on minors.According to local media reports, the main suspect, 32 years old, studied arts and sports and has no IT background. He told investigators that he self-taught hacking techniques through YouTube and online blogs, while police pointed out that he had worked in a security company conducting simulated attacks from 2019 to 2022. He initially used website vulnerability scanning tools and later introduced AI coding proxies and an automated penetration testing system called Artex at the end of August. Police stated that he hacked into 60 companies over a span of 44 days from August 31 to October 13.The entire attack operation lasted about 13 months, from September 2025 to this October, and the case was filed in June after a victim reported it. Police indicated that such a large-scale attack previously required a hacker group to accomplish, but AI now allows one person to achieve this in a short time. The suspect sent emails to 38 victims, collectively extorting 360 million Korean won, approximately 272,000 US dollars, but the only confirmed payment was 300,000 won, about 210 dollars. The main suspect was detained and transferred to prosecutors last Friday, facing charges of violating South Korea's Information and Communication Network Act, as well as extortion and attempted extortion. Police will continue to investigate the other 6 accomplices and confirm more victims, with 15 institutions already reporting damages.

first_img Anthropic: Claude has completed large-scale formal verification of the open-source library

On October 22, the Frontier Red Team of the artificial intelligence company Anthropic released research stating that large language models can automatically write formal proofs on a larger scale. The team collaborated with Theorem to use Claude to prove safety properties on over 100 real open-source libraries at the RISC-V assembly level, claiming this is the first known instance of using AI for large-scale formal verification of production software at the assembly level. During the proof-writing process, vulnerabilities that had gone undetected for years were also discovered.The experiment converted existing compilable fuzz tests from Google OSS-Fuzz into specifications: under assumptions of single-threaded static binaries, fixed memory budgets, RISC-V CPUs, and Linux, for any input less than 64 MB, the program should exit normally without triggering memory safety errors or assertion failures. Within weeks, Claude proved the aforementioned properties for 239 entry points in 123 OSS-Fuzz libraries after patching the identified issues. The proofs targeted compiled RISC-V instructions, approximately 180 million lines of Rocq, and were checked by the Rocq kernel. The page states that this does not mean these libraries are free of vulnerabilities, as remaining issues may lie outside trusted components or the scope of the proofs.The page also mentions that the team had Claude formalize RFC 1950 and proved that the zlib implementation in the Linux kernel conforms to that specification at the x86 binary level; an interpreter written in Rust covering a large subset of Python showed a 99.95% consistency with CPython behavior across over 1.7 million randomly generated programs. In 36 small verification tasks, Opus 5.5 proved that about half required approximately 40% fewer tokens than Opus 5. The team also pointed out that the proofs targeted single-threaded, statically linked RISC-V binaries, and the proof checker cannot determine whether the specifications align with reality.

Gate's latest reserve report: total reserve scale rises to 8.688 billion USD, overall reserve coverage reaches 118.49%

According to the official announcement, Gate has released the latest reserve report. As of October 18, 2026, the total reserve size of the platform has risen to $8.688 billion, an increase of 5.7% compared to the previous period; the overall reserve coverage rate has reached 118.49%, consistently above the industry safety benchmark of 100%. This report covers 500 cryptocurrencies, demonstrating Gate's ample excess reserves, providing solid support for the platform to cope with market fluctuations, maintain liquidity, and buffer risks.In terms of core asset reserves, BTC user assets have grown to 21,156 coins, with the platform's reserve amount increasing to 25,727 coins, and the reserve coverage rate rising from 120.32% to 121.60%; ETH user assets have increased to 362,785 coins, with the platform's reserve amount growing to 449,042 coins, and the reserve coverage rate rising from 123.59% to 123.78%.Regarding stablecoins, the total user assets of USDT, USD1, GUSD, and USDC amount to approximately $1.497 billion, corresponding to a platform reserve of $1.746 billion, with a comprehensive reserve rate of 116.59%. Additionally, the reserve rates for major assets such as DOGE, GT, and SOL have reached 106.76%, 129.00%, and 102.51%, respectively, all exceeding the 100% safety line. From overall reserves to various core assets, Gate consistently maintains sufficient safety margins, providing robust protection for the safety of global user assets.

first_img Grayscale Research Director: The decline in computing power stocks, demand will still be maintained

Grayscale Research Director Zach Pandl stated in "The Stack" published on October 20, 2026: AI computing infrastructure stocks have recently declined due to investors' concerns about rising borrowing costs, while the financing needs of related companies are high. The stock index, which includes AI cloud service providers CoreWeave and Nebius, has fallen by approximately 27% since the end of September, according to data from Bloomberg and Grayscale Investments, based on the Indxx High-Performance Computing Index, as of October 19, 2026.Pandl noted: Most of these companies are in early stages and capital-intensive, with some neocloud capital expenditures being several times their current revenue. The top five holdings in the index have a capital expenditure to sales ratio exceeding 230% over the past 12 months, with data as of October 19, 2026. He believes that while stock prices are correcting, the demand and prices for computing power remain stable, with demand for computing power increasing rather than decreasing.He also anticipates: The decline in token prices and the increase in AI agent usage will lead to higher inference demand, thereby supporting the growth of computing power demand; if demand increases and computing power prices remain high, these companies may benefit. He also mentioned the slowdown in GPU depreciation, as well as the overlap between AI computing power and the Bitcoin mining industry, with the possibility of rising Bitcoin prices. Pandl believes: Higher borrowing costs have suppressed computing infrastructure stocks, but the fundamental trend of rising computing power demand remains valid, and this correction should be seen as an opportunity to increase exposure to the energized compute layer.
app_icon
ChainCatcher Building the Web3 world with innovations.