Source: PANews ↗
以太坊的leanVM完成端到端形式化验证，全面后量子安全过渡目标定于2028年12月
Translation unavailable. Please try again.
What the source reports
PANews 11月4日消息，据CryptoBriefing报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。leanVM是一种极简zkVM，用于高效聚合基于哈希的后量子签名，将多签名打包为紧凑证明。性能上，leanVM每秒可处理超过1000次leanXMSS聚合；leanXMSS是计划在共识层替代BLS的基于哈希的签名方案。 在Devcon 8上，Drake将以太坊全面过渡至后量子安全的目标时间调整至2028年12月，以便为过渡所需的网络分叉留出空间。
Read the original report on PANews ↗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.