BTC $81,678.45 +0.03%
ETH $2,400.07 +0.01%
BNB $745.99 +1.84%
XRP $1.32 -0.53%
SOL $104.34 -0.04%
TRX $0.3301 -0.17%
DOGE $0.0801 +0.90%
ADA $0.2167 +0.10%
BCH $284.76 +3.31%
LINK $12.06 +0.17%
HYPE $77.92 -0.35%
AAVE $147.77 +0.55%
SUI $0.9956 +1.15%
XLM $0.1766 -0.55%
ZEC $1,235.26 -1.40%
AAPL $348.33 +1.24%
AMZN $249.39 -3.17%
GOOGL $322.38 -2.00%
MSFT $519.94 -2.27%
META $643.11 -5.66%
NVDA $212.09 -2.41%
TSLA $374.38 +0.44%
SNDK $1,278.83 -2.89%
INTC $85.85 -2.87%
SPCX $147.71 -4.49%
MU $865.28 -2.07%
AMD $509.27 -3.64%
BTC $81,678.45 +0.03%
ETH $2,400.07 +0.01%
BNB $745.99 +1.84%
XRP $1.32 -0.53%
SOL $104.34 -0.04%
TRX $0.3301 -0.17%
DOGE $0.0801 +0.90%
ADA $0.2167 +0.10%
BCH $284.76 +3.31%
LINK $12.06 +0.17%
HYPE $77.92 -0.35%
AAVE $147.77 +0.55%
SUI $0.9956 +1.15%
XLM $0.1766 -0.55%
ZEC $1,235.26 -1.40%
AAPL $348.33 +1.24%
AMZN $249.39 -3.17%
GOOGL $322.38 -2.00%
MSFT $519.94 -2.27%
META $643.11 -5.66%
NVDA $212.09 -2.41%
TSLA $374.38 +0.44%
SNDK $1,278.83 -2.89%
INTC $85.85 -2.87%
SPCX $147.71 -4.49%
MU $865.28 -2.07%
AMD $509.27 -3.64%

for

All
Article
Flash

Information Technology "15th Five-Year" Plan: By 2030, the national blockchain network will be basically completed

On October 23, the Central Cybersecurity and Informatization Commission issued the "National Informatization 14th Five-Year Plan." The plan proposes that by 2030, significant progress will be made in our country's informatization, with its role in promoting Chinese-style modernization becoming more prominent. The information infrastructure will consolidate and expand its leading advantages, a three-dimensional network system encompassing land, sea, air, and space will be basically formed, a new generation of communication networks will be fully established, the commercial use of the sixth generation of mobile communication (6G) will be launched in a timely manner, and the national blockchain network will be basically established, with intelligent internet development accelerating.The plan also states that the innovation capability of cybersecurity technology will be significantly enhanced, the technological innovation system will be more complete, and breakthroughs will be achieved in key core technologies in key areas. The cybersecurity industry ecosystem will prosper and develop, with deep integration of digital technology and the real economy, and the comprehensive strength of cybersecurity enterprises will be significantly enhanced. The level of digital, networked, and intelligent applications in economic and social development will reach a new level, empowering economic and social development and significantly improving governance capabilities. Cybersecurity guarantees will be solid and powerful, the legal and regulatory standards system will be more complete, and the concept of a community with a shared future in cyberspace will be deeply rooted in people's hearts.

Solana staking protocol Marinade's staking volume for SOL increased to 7.94 million coins in the third quarter

Marinade, the Solana staking service protocol, released its Q3 2026 report. As of September 30, the amount of SOL staked was 7.94 million, a quarter-over-quarter increase of 21.2%, mainly driven by the non-custodial native staking product Native and the institutional-focused Select. The amount staked in Native increased by 47.3% quarter-over-quarter to approximately 3.77 million, while Select grew by 38.7% to about 1.68 million, and mSOL decreased by 6.8% to around 2.27 million.Revenue for the third quarter was approximately $1 million, corresponding to 10,918 SOL, a quarter-over-quarter increase of 25.9%, primarily from validator margin settlement income, which grew by 38.1% quarter-over-quarter. In the staking auction market, 48 out of 51 epochs in the quarter had yields higher than the Solana staking index, with an average yield before Marinade fees of 5.93%, compared to 5.67% for the index during the same period.In governance, since the implementation of MIP-22 in July, Marinade has used 10% of auction fees to repurchase MNDE on the open market. In the third quarter, a total of 4.2 million MNDE was repurchased with 906.6 SOL, and the first distribution opened on October 1. The report also disclosed that on September 25, attackers exploited a vulnerability in the DAO voting process to submit two malicious proposals, one of which involved transferring DAO treasury assets; the council vetoed both proposals within about 6 hours, and the fix was completed that night, with no funds being transferred.

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.

Bithumb administrative lawsuit held for the first time: claims that transfers of less than 1 million Korean won have regulatory gaps

According to South Korean media Digital Asset, the Second Division of the Seoul Administrative Court held its first hearing on October 22 regarding the administrative lawsuit between Bithumb and the Financial Intelligence Unit of Korea (FIU). The FIU determined that between August 28, 2022, and April 3, 2025, Bithumb conducted 45,772 transactions with 18 unreported cryptocurrency operators, and based on this, imposed sanctions, including a partial suspension that restricts new customers from transferring cryptocurrency assets externally for six months.Bithumb stated in court that transactions of 1 million won or more are subject to the "travel rule," and unreported operators have been excluded from the list of optional exchanges, thus the number of violations for this amount range is zero. Transactions below 1 million won were not subject to the travel rule at that time, and the platform had no legal basis to require customers to provide information about the receiving exchange, nor did the regulatory authorities specify a blocking method. Bithumb also mentioned that after integrating the Chainalysis API, only about 2% of the addresses that could not be confirmed were later identified as unreported operators designated by the FIU. If all were blocked, the remaining 98% of normal transactions would be affected, and the platform could also face user claims.Bithumb also believes that the six-month sanction is excessive, effectively equivalent to prohibiting the platform from acquiring new customers. The company also questioned the FIU's criteria for identifying overseas operators and the reasonableness of the basis for the sanctions.
7 часов назад
app_icon
ChainCatcher Building the Web3 world with innovations.