强制交易

本文提出一种基于FOCIL的L2强制交易机制，无需修改状态转移函数或新交易类型。用户通过L1智能合约提交带状态证明的交易，L2操作者从合约中拉取包含列表并强制包含在区块中。该方案通过EIP-1559基础费用和剪枝函数提供抗审查性，并讨论了账户证明节点等实现细节。

本文介绍了zkSecurity与Matter Labs合作发布的关于区块链Rollups安全性的论文，该论文提出了一个形式化模型来分析不同的安全机制。文章讨论了Rollups的安全性，并对论文内容进行了初步介绍，强调了Rollups在以太坊未来发展中的核心作用，以及形式化分析对于确保Rollups安全性的重要性，并提出了强制交易、安全黑名单和可升级性这三个关键机制。