Source: 吴说 ↗
以太坊研究员称 leanVM 完成形式化验证，后量子过渡目标 2028 年 12 月
Translation unavailable. Please try again.
What the source reports
据 Cryptobriefing，以太坊基金会研究员 Justin Drake 宣布，专用于聚合后量子哈希签名（leanXMSS）的轻量级零知识虚拟机 leanVM 已完成端到端形式化验证（forma...
Read the original report on 吴说 ↗Live market context
Market figures are live reference data, not evidence that this report caused a price movement. Not financial advice.
Related news
Open news desk →Vitalik Buterin warns crypto exchanges must focus on survival after Binance hack
Ethereum co-founder Vitalik Buterin has warned that cryptocurrency exchanges must prioritize surviving cyberattacks over competing for market share during the next two years, as recent security breaches expose weaknesses in centralized systems. In an interview with Moneycontrol during his visit…
Bitcoin, Ether ETFs draw $128M as crypto rebounds after midterms
Fidelity led Bitcoin ETF inflows, while BlackRock’s IBIT shed another $201 million, extending its outflow streak to four trading sessions.
Bitcoin holds above $80,000 as Zcash jumps 12% in post-election crypto rebound
Ether rose 8% as falling oil prices and a weaker dollar helped markets recover, even as traders weighed a tougher path for U.S. crypto legislation.