决策财经 IF9.CN 消息，6 月 13 日，Vitalik Buterin（V 神）发文研究对未来的分片和历史访问进行预编译。V 神在文章中表示，当前以太坊设计中的向后兼容性挑战之一是，历史访问需要在 EVM 中验证 Merkle 证明，该证明假设区块链将永远使用相同的格式和相同的密码。分片增加了这一点的重要性，因为用于 rollups 的欺诈证明和有效性证明需要指向分片数据的指针。V 神提出了一种更加面向未来的方法：可以添加执行验证特定类型证明的抽象任务的预编译，而不是要求在 EVM 中验证历史和分片的证明。如果将来更改格式，预编译逻辑将自动更改。预编译甚至可以具有条件逻辑，用于验证转换前 slots 的一种证明和转换后 slots 的另一种证明。