Post

让AI对照以太坊规格找漏洞，比让AI替人追涨更有价值 基金会二季度支持的ETHeorem项目，会把以太坊共识规格映射到Lighthouse、Prysm、Geth和Reth等客户端实现，并结合大模型与程序分析寻找偏差。AI在这里不是替用户预测价格，而是检查“规范写了什么”和“代码实际做了什么”是否一致。 多客户端是Ethereum的重要安全设计，也带来现实难题：同一套协议由不同语言、不同团队实现，任何边界理解不一致都可能在升级时变成分叉风险。人工审查不可替代，却很难持续覆盖庞大代码和每次改动。 对 $ETH 最有意义的AI叙事，不是链上突然多出一批机器人，而是协议维护开始拥有更便宜、更持续的第二双眼睛。关键标准也很清楚：发现必须能够复现、修复必须有人审核。AI可以扩大检查覆盖面，不能接管最终判断。