News
Stay up to date on the latest crypto trends with our expert, in-depth coverage.

Summary of important developments on the evening of May 18
Strategy: Bitcoin total unrealized profit has narrowed to 1.35 billions USD; BitMNR Ethereum positions have expanded unrealized losses to 7.279 billions USD.
ChainCatcher News, according to monitoring by EmberCN, during last week’s BTC decline of -4.3% and ETH decline of -7.7%, the largest treasury companies for Bitcoin and Ethereum both purchased BTC and ETH respectively. Last week's specific purchase details:
· Bitcoin treasury company Strategy (MSTR) purchased 24,869 BTC last week at around $80,985 per coin (equivalent to $2.014 billion). They now hold a total of 843,738 BTC ($65.221 billion), with an average cost of $75,700 per coin, and an unrealized profit of $1.35 billion (+2.1%).
· Ethereum treasury company BitMNR (BMNR) purchased 71,672 ETH last week at approximately $2,251 per coin (equivalent to $161 million). They now hold a total of 5,278,462 ETH ($11.312 billion), with an average cost of $3,522 per coin, and an unrealized loss of $7.279 billion (-39.1%).
ChainCatcher News, according to monitoring by EmberCN, during last week’s BTC decline of -4.3% and ETH decline of -7.7%, the largest treasury companies for Bitcoin and Ethereum both purchased BTC and ETH respectively. Last week's specific purchase details:
· Bitcoin treasury company Strategy (MSTR) purchased 24,869 BTC last week at around $80,985 per coin (equivalent to $2.014 billion). They now hold a total of 843,738 BTC ($65.221 billion), with an average cost of $75,700 per coin, and an unrealized profit of $1.35 billion (+2.1%).
· Ethereum treasury company BitMNR (BMNR) purchased 71,672 ETH last week at approximately $2,251 per coin (equivalent to $161 million). They now hold a total of 5,278,462 ETH ($11.312 billion), with an average cost of $3,522 per coin, and an unrealized loss of $7.279 billion (-39.1%).
Strategy Bitcoin's total unrealized gain has narrowed to $1.35 billion, while BitMNR's Ethereum holding has seen its unrealized loss increase to $7.279 billion.
BlockBeats News, May 18th. According to EmberCN's monitoring, during last week's decline with BTC -4.3% and ETH -7.7%, the largest treasury companies of Bitcoin and Ethereum respectively bought BTC and ETH. The specific purchases last week were as follows:
· Bitcoin treasury company Strategy (MSTR) purchased 24,869 BTC (approximately $2.014 billion) at a price of around $80,985 last week.
They now hold a total of 843,738 BTC ($65.221 billion) with an average cost of $75,700, realizing a floating profit of $1.35 billion (+2.1%).
· Ethereum treasury company BitMNR (BMNR) purchased 71,672 ETH (approximately $161 million) at a price of around $2,251 last week.
They now hold a total of 5,278,462 ETH ($11.312 billion) with an average cost of $3,522, realizing a floating loss of $7.279 billion (-39.1%).
BlockBeats News, May 18th. According to EmberCN's monitoring, during last week's decline with BTC -4.3% and ETH -7.7%, the largest treasury companies of Bitcoin and Ethereum respectively bought BTC and ETH. The specific purchases last week were as follows:
· Bitcoin treasury company Strategy (MSTR) purchased 24,869 BTC (approximately $2.014 billion) at a price of around $80,985 last week.
They now hold a total of 843,738 BTC ($65.221 billion) with an average cost of $75,700, realizing a floating profit of $1.35 billion (+2.1%).
· Ethereum treasury company BitMNR (BMNR) purchased 71,672 ETH (approximately $161 million) at a price of around $2,251 last week.
They now hold a total of 5,278,462 ETH ($11.312 billion) with an average cost of $3,522, realizing a floating loss of $7.279 billion (-39.1%).
Gold and Silver Continue to Rise, Stock Market Up, Oil Down, Iran Agrees to Unconditionally Transfer Enriched Uranium to Russia
BlockBeats News, May 18th, according to Bitget market data, the spot gold continued to rise, now trading at $4,563.90 per ounce, with spot silver rising over 2.00% intraday, currently at $77.43 per ounce.
SP 500 futures turned positive. Nasdaq 100 index futures extended gains to 0.5%. The Euro Stoxx 600 index expanded its gain to 0.6%. The UK's FTSE 100 index and Germany's DAX30 index rose over 1%, while the Euro Stoxx 50 index and Spain's IBEX35 index increased by 0.8%.
WTI crude oil saw an intraday decline of 2.00%, now trading at $103.11 per barrel. Brent crude oil slipped below $105 per barrel, down 1.07% intraday.
On the news front, Iran's latest proposal indicates that Iran hopes to reach a long and multi-stage ceasefire agreement. Iran seeks the gradual and secure opening of the Strait of Hormuz. Iran is willing to agree to a long-term freeze of its nuclear program rather than a complete dismantling. Iran can unconditionally transfer enriched uranium to Russia instead of the United States. In addition, Iran hopes to have the agreement incorporate political language to save face.
BlockBeats News, May 18th, according to Bitget market data, the spot gold continued to rise, now trading at $4,563.90 per ounce, with spot silver rising over 2.00% intraday, currently at $77.43 per ounce.
SP 500 futures turned positive. Nasdaq 100 index futures extended gains to 0.5%. The Euro Stoxx 600 index expanded its gain to 0.6%. The UK's FTSE 100 index and Germany's DAX30 index rose over 1%, while the Euro Stoxx 50 index and Spain's IBEX35 index increased by 0.8%.
WTI crude oil saw an intraday decline of 2.00%, now trading at $103.11 per barrel. Brent crude oil slipped below $105 per barrel, down 1.07% intraday.
On the news front, Iran's latest proposal indicates that Iran hopes to reach a long and multi-stage ceasefire agreement. Iran seeks the gradual and secure opening of the Strait of Hormuz. Iran is willing to agree to a long-term freeze of its nuclear program rather than a complete dismantling. Iran can unconditionally transfer enriched uranium to Russia instead of the United States. In addition, Iran hopes to have the agreement incorporate political language to save face.
Vitalik: AI-assisted formal verification is expected to improve both code efficiency and security
Foresight News reports that Vitalik Buterin has published an article exploring the application prospects of formal verification in blockchain security. The article points out that a new paradigm is emerging in Ethereum's frontier research: directly writing code using EVM bytecode, assembly, or Lean, and verifying its correctness with mathematical proofs in Lean that can be automatically checked. Researcher Yoichi Hirai refers to this paradigm as the "final form of software development." Vitalik believes that AI-assisted formal verification is expected to improve both the efficiency and security of code, and is particularly suitable for core security modules such as STARK, ZK-EVM, post-quantum signatures, and consensus algorithms. The article also emphasizes that formal verification is not a panacea and can still fail due to incomplete proof coverage, specification errors, or hardware side channels. In the future, software may split into "security cores" and "non-security peripheries," with Ethereum becoming one of the key security cores.
Foresight News reports that Vitalik Buterin has published an article exploring the application prospects of formal verification in blockchain security. The article points out that a new paradigm is emerging in Ethereum's frontier research: directly writing code using EVM bytecode, assembly, or Lean, and verifying its correctness with mathematical proofs in Lean that can be automatically checked. Researcher Yoichi Hirai refers to this paradigm as the "final form of software development." Vitalik believes that AI-assisted formal verification is expected to improve both the efficiency and security of code, and is particularly suitable for core security modules such as STARK, ZK-EVM, post-quantum signatures, and consensus algorithms. The article also emphasizes that formal verification is not a panacea and can still fail due to incomplete proof coverage, specification errors, or hardware side channels. In the future, software may split into "security cores" and "non-security peripheries," with Ethereum becoming one of the key security cores.
Data: On-chain RWA market scales to a record high of $33.7 billions
BlockBeats news, on May 18, according to rwa.xyz data, the total scale of on-chain Real World Assets (RWA) has risen to $33.7 billion, reaching a new all-time high.
Among this, the recent increase of about $1.5 billion mainly comes from Ethereum-based institutional-grade tokenized US Treasury products, including Franklin Templeton's newly launched iBENJI, as well as continued capital inflows into BlackRock BUIDL. At the same time, tokenized commodity assets have also seen significant growth, with JMWH becoming one of the main drivers.
Institutional analysis indicates that the current growth of RWA is still mainly driven by the ongoing efforts of traditional financial institutions, with the "TradFi wave" accelerating the on-chain adoption of real world assets.
BlockBeats news, on May 18, according to rwa.xyz data, the total scale of on-chain Real World Assets (RWA) has risen to $33.7 billion, reaching a new all-time high.
Among this, the recent increase of about $1.5 billion mainly comes from Ethereum-based institutional-grade tokenized US Treasury products, including Franklin Templeton's newly launched iBENJI, as well as continued capital inflows into BlackRock BUIDL. At the same time, tokenized commodity assets have also seen significant growth, with JMWH becoming one of the main drivers.
Institutional analysis indicates that the current growth of RWA is still mainly driven by the ongoing efforts of traditional financial institutions, with the "TradFi wave" accelerating the on-chain adoption of real world assets.