Vitalik Buterin:以太坊研发新范式与形式化验证

Disclaimer: OKX Orbit content is provided for informational purposes only. Learn more
Replies
Related Flash News
Canaan Technology released its Q1 2026 financial report: total revenue of $62.7 million
Gate Ventures: Inflationary pressures hit the market, and institutions accelerated the deployment of stablecoins and on-chain financial infrastructure
South Korea's seventh-largest pension relief company lost about $32.73 million on investing in Ethereum-leveraged ETFs
At least eight senior executives of the Ethereum Foundation have left so far in 2026
Wintermute launches Armitage, a DeFi vault curation platform that supports a wider range of collateral types
The share of staked ETH rose to 31%, diverging from the price action, and on-chain confidence continued to grow
Three major DeFi attacks in five days, with a total of 14 crypto hacking incidents in May
Analysis: Bitcoin hovers around $76,800, and the market is watching for a monthly close to hold key support levels
Kelp: rsETH recovery makes key progress, with multiple DeFi protocols collectively liquidating attacker positions
Echo Protocol confirmed the attack and suspended all cross-chain transactions



