如果提议者提交了无效的提议区块，怎么“告诉”L1 节点这个区块是无效的？

逻辑是在L2 先构建一个临时区块(比如b3 是无效区块，以B2 为父区块构建临时区块B). 区块B 只包含一笔交易invalidateBlock(…) ，把b3 的txList 代入函数。

生成基于B 的zk 证明提交到L1, 如果验证有效，则证明b3 是无效区块。#crypto2023

10/n🧵