RecodeX 重构消息,以太坊联合创始人Vitalik Buterin表示,以太坊未来数年将推进一系列“精简以太坊”升级,目标是尽可能广泛地使用零知识证明和人工智能。他指出,这类技术过去因基础层风险过高而被留在应用层,如今技术已趋成熟。借助AI,尤其是AI辅助的形式化验证来检查新代码是否安全,以太坊的推进速度可以大幅加快。他同时表示,若没有AI辅助,以太坊剩余路线图可能需要约20年才能完成。