EIP-8025引入执行证明作为以太坊共识层的可选机制，允许节点通过生成和验证加密证明来替代完整状态重执行，实现子线性验证成本和无状态验证。该提案定义了两类节点：生成证明的证明节点（自利）和验证证明的验证节点（可选）。规范详细描述了共识层的证明引擎接口、Gossip协议、Req/Res协议，以及执行层的无状态输入/输出结构、证人构造和SSZ编码。此EIP不改变共识规则，旨在积累运营经验，为未来可能推广为强制机制做准备。
