以太坊原生汇总：基于EXECUTE预编译的优雅高效解决方案

本文探讨了以太坊研究员Justin Drake提出的原生汇总方案，该方案的核心是名为EXECUTE的预编译合约。EXECUTE预编译将以太坊虚拟机（EVM）的原生执行引擎暴露给应用层，允许直接验证批量用户交易的EVM状态转换。这使得原生汇总能够实现类似”可编程执行分片”的功能，通过派生函数处理排序、桥接等系统逻辑。

原生汇总的优势在于其安全性、简易性和高效性。由于EXECUTE预编译由验证者直接执行，因此继承了以太坊的安全性，无需复杂的防欺诈机制或SNARK电路。其开发也更为简便，只需少量Solidity代码即可部署。此外，原生汇总支持实时结算，无需实时证明，极大简化了同步可组合性。

EXECUTE预编译接受预状态根、后状态根、执行追踪和gas消耗量作为输入，只有当追踪的无状态执行结果与预后状态根匹配且gas消耗量准确时，才返回true。为了处理大量交易，可以采用重新执行或SNARK证明的方式验证EXECUTE调用的正确性。文章建议将SNARK证明链下共享，以提高系统多样性、中立性和灵活性，避免单点故障。

链下证明虽然带来一些挑战，例如证明负载增加和p2p网络碎片化，但其优势远大于劣势。文章还探讨了RISC-V原生执行的可能性，以及原生汇总与基于汇总、执行分片等概念的区别。总而言之，原生汇总方案提供了一种优雅高效的汇总方式，有望在未来以太坊生态系统中扮演重要角色。

本文 ethergome.com 原创，转载保留链接！网址：https://www.ethergome.com/post/1191.html