以太坊研究员：AI 正推动以太坊更雄心勃勃，加速安全与迭代

Techub News 消息，以太坊研究员 @trent_vanepps 发推称，AI 正在让以太坊变得更雄心勃勃，并加速其向更安全、功能更丰富的世界迈进。他表示，AI 工具正在帮助以太坊研发社区以全新方式探索设计空间，并测试复杂功能间的交互。 其近期在 @ethlabs_org 的正式验证工作显示，以往难以尝试的任务现在可由 AI 智能体在数日内完成。例如，以太坊快速确认规则（FCR）现已拥有基于 Lean 语言的安全证明。FCR 允许应用在额外假设下于数秒内确认以太坊区块，速度比等待最终性快约 30 倍。