以太坊 leanVM 完成端到端形式化验证，后量子安全过渡目标定于2028年12月
PANews援引CryptoBriefing称，以太坊研究员Justin Drake宣布leanVM完成端到端形式化验证，并将全面后量子安全过渡目标调整至2028年12月。
zkVM
Connect scattered updates into a story you can understand.
All loaded1 shown · 12 per batch
bibibi.ccbibibi.ccConnect scattered updates into a story you can understand.
PANews援引CryptoBriefing称，以太坊研究员Justin Drake宣布leanVM完成端到端形式化验证，并将全面后量子安全过渡目标调整至2028年12月。