以太坊宣布未来发展计划： The Verge

主要目标:

1. 让轻客户端成为可能:验证节点和质押节点只需要几GB的存储空间

2. 长期目标:在智能手表上就能完全验证区块链(包括共识和执行层)


核心技术路线:


Verkle树:使用基于椭圆曲线的向量承诺来实现更短的证明,但不具备量子抗性

STARK+二进制哈希树:使用STARK证明来验证二进制树,具有量子抗性但需要更多计算资源


主要挑战:


1. 目前节点需要存储数百GB的状态数据才能验证区块,且持续增长
2. 首次同步节点需要耗费大量时间下载状态，对于轻客户端和钱包等验证难度大


未来计划:

1. 进一步分析和优化gas成本
2. 完善和测试状态转换程序
3. 加强对新型哈希函数(如Poseidon)的安全性分析
4. 发展更高效的STARK证明协议