以太坊leanVM验证完成，2028年12月后量子安全过渡启航

以太坊基金会宣布leanVM完成端到端形式化验证，性能卓越，预示着2028年12月后量子安全过渡的启动。后量子时代，以太坊的安全性能再升级！