热点事件持续更新
以太坊基金会推动硬件信任解决方案
2 篇报道1 个报道来源16 小时前更新
先了解这件事
AI 综述
2026年11月3日，以太坊基金会在官方发文指出当前硬件信任问题，并呼吁全球开发者共同参与开发可访问、开放且可验证的芯片。这一举措旨在解决硬件信任的担忧，并鼓励创新。后续报道显示，以太坊的leanVM已完成端到端形式化验证，标志着后量子安全过渡迈出重要一步，目标时间定于2028年12月。
AI 根据报道生成 · 16 小时前更新
最新进展11月4日 08:22
以太坊leanVM完成端到端形式化验证，后量子安全过渡目标定于2028年12月。事件进展
2 个进展
- 11月4日 08:22 · 1 篇报道以太坊的leanVM完成端到端形式化验证，目标后量子安全过渡定于2028年12月PANews：以太坊leanVM完成端到端形式化验证，后量子安全过渡目标定于2028年12月
- 11月3日 19:11 · 1 篇报道以太坊基金会欢迎开放可验证芯片的开发PANews：以太坊基金会：硬件信任“进入自由落体”，欢迎开放可验证芯片的开发者
报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- PANews精选以太坊leanVM完成端到端形式化验证，后量子安全过渡目标定于2028年12月
以太坊基金会宣布leanVM完成端到端形式化验证，性能卓越，标志着后量子安全过渡迈出重要一步，目标时间定于2028年12月。
11月3日
本事件热度走势
当前热度 6·可比范围峰值 10（11月3日 20:00）·近 24 小时可比范围变化 -26%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。