以太坊研究员称 AI 正加快安全验证与功能迭代

Techub News 消息，以太坊研究员 Trent Van Epps 在 X 平台发文称，AI 正让以太坊变得更有雄心，并加快其迈向更安全、功能更丰富世界的进程。

他表示，AI 工具正在帮助以太坊研发社区以全新方式探索设计空间，并测试复杂功能之间的交互。

正式验证工作提速

Trent Van Epps 提到，其近期在 ethlabs_org 的正式验证工作显示，过去很难尝试的任务，现在可以由 AI 智能体在数日内完成。

FCR 已有基于 Lean 的安全证明

他举例称，以太坊快速确认规则 FCR 现已拥有基于 Lean 语言的安全证明。FCR 允许应用在额外假设下于数秒内确认以太坊区块，速度比等待最终性快约 30 倍。