本文提出了一种扩展 Rollup 灵活性的机制,允许 L2 用户和合约依赖对未来状态的任意断言,只要他们的交易以这些断言最终被证明为条件。文章探讨了 Rollup 通信的背景知识,介绍了 Anchor blocks,Same-slot message passing,以及实现实时 L1 读取、相互依赖的 L2 交易和跨 Rollup 断言的机制,并提供了一个建议的实现框架和示例。