BTC $81,485.25 +0.46%
ETH $2,403.87 +1.11%
BNB $743.68 +2.06%
XRP $1.31 +0.47%
SOL $104.20 +0.81%
TRX $0.3295 +0.40%
DOGE $0.0796 +1.84%
ADA $0.2159 +1.91%
BCH $285.69 +4.58%
LINK $12.03 +0.94%
HYPE $78.19 +1.06%
AAVE $148.24 +1.99%
SUI $0.9894 +1.50%
XLM $0.1765 +0.62%
ZEC $1,249.41 +3.85%
AAPL $346.71 -0.12%
AMZN $248.99 -0.53%
GOOGL $322.36 -0.68%
MSFT $525.00 +0.04%
META $645.40 +0.09%
NVDA $212.05 -0.49%
TSLA $372.03 -1.86%
SNDK $1,264.01 +0.69%
INTC $87.03 +0.99%
SPCX $147.37 +1.15%
MU $884.75 +2.57%
AMD $518.97 +1.77%
BTC $81,485.25 +0.46%
ETH $2,403.87 +1.11%
BNB $743.68 +2.06%
XRP $1.31 +0.47%
SOL $104.20 +0.81%
TRX $0.3295 +0.40%
DOGE $0.0796 +1.84%
ADA $0.2159 +1.91%
BCH $285.69 +4.58%
LINK $12.03 +0.94%
HYPE $78.19 +1.06%
AAVE $148.24 +1.99%
SUI $0.9894 +1.50%
XLM $0.1765 +0.62%
ZEC $1,249.41 +3.85%
AAPL $346.71 -0.12%
AMZN $248.99 -0.53%
GOOGL $322.36 -0.68%
MSFT $525.00 +0.04%
META $645.40 +0.09%
NVDA $212.05 -0.49%
TSLA $372.03 -1.86%
SNDK $1,264.01 +0.69%
INTC $87.03 +0.99%
SPCX $147.37 +1.15%
MU $884.75 +2.57%
AMD $518.97 +1.77%

for

All
Article
Flash

first_img Franklin Templeton completes the final regulatory procedures before the listing of the Bitcoin dividend ETF

According to Bitcoin Magazine, Franklin Templeton, with assets under management of $1.7 trillion, has completed the final regulatory procedure before listing two ETFs that convert stock dividends into Bitcoin.On October 22, the company submitted Form 8-A to the U.S. Securities and Exchange Commission to register shares of the Franklin US Equity Bitcoin DRIP Index ETF and the Franklin US Innovation Bitcoin DRIP Index ETF for trading on NASDAQ. The prospectus submitted on the same day indicates an effective date of October 27. These two funds were first filed in June of this year, with codes and fees not disclosed at that time.The stock fund code is FBEQ, which tracks the VettaFi US Large-Cap 500 Bitcoin DRIP Index. This index holds the 500 largest companies in the U.S. by market capitalization, weighted by free float. As of September 30, it actually held 499 stocks, with a concentration in the information technology sector. The fund's initial allocation is 95% stocks and 5% Bitcoin, with regular or special dividends distributed by companies being used to purchase Bitcoin at the opening of the next trading day after the ex-dividend date, increasing the Bitcoin allocation with each dividend payment.During quarterly rebalancing, any Bitcoin allocation exceeding 5% will be reduced to 4.5%; if the Bitcoin allocation exceeds 20% between two rebalancing periods, it will be brought down to 4.5% within two trading days, with the funds flowing back into stocks. The fund does not directly hold on-chain Bitcoin but gains exposure through Bitcoin exchange-traded products (including its own spot fund), futures and options, or depository receipts, with some achieved through a subsidiary in the Cayman Islands. The FBEQ fee is 0.09%, with no 12b-1 fees, managed by Franklin Advisory Services, and Franklin Templeton Institutional serves as a sub-advisor. The innovation fund employs the same mechanism, tracking the VettaFi US Innovation 100 Bitcoin DRIP Index, with components from the 100 largest non-financial companies listed on NASDAQ.Franklin Templeton had previously filed for a spot Bitcoin ETF in September 2023 and launched it in January 2024 under the code EZBC; in April of this year, it acquired 250 Digital and established an institutional digital asset department, Franklin Crypto. These two DRIP funds extend the strategy to investors who will not purchase Bitcoin on their own.

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.
app_icon
ChainCatcher Building the Web3 world with innovations.