Optimistic zkEVM of Morph：当一个交易受到挑战会发生什么？

Morph 的optimistic zkEVM 集成将optimistic汇总的效率与零知识证明的安全性相结合，使用一种称为响应有效性证明 (Responsive Validity Proof，RVP) 的新方法。改进如下：

<!--StartFragment-->

1. 效率和速度：通常 7 天的挑战窗口可以缩短到 1-3 天（挑战者不再需要额外的时间来识别恶意提交、创建证明并参与多轮挑战程序）。
2. 降低成本：采用 ZK 证明意味着仅保留最少的交易信息，从而显著降低 L2 提交的成本。当没有挑战出现时，可以忽略 ZK 证明提交和验证的成本。因此，RVP 比乐观汇总和 ZK 汇总更具成本效益。

<!--EndFragment-->

当交易（L2的交易以callData写入L1）在 Morph 的挑战窗口内受到质疑时，排序器需要生成 ZK 证明来验证交易。具体的验证过程如下：

1. batch受到质疑，L1的验证器validators接收到对该batch的挑战请求；
2. 验证器将该挑战放入栈中（如果该挑战是第一个挑战，则无需放入栈中），调用挑战合约challenge contract；
3. 挑战合约触发挑战事件challenge event；
4. L2上的sequencer一直监听挑战事件；
5. sequencer监听的挑战事件后，会向L2上的聚合器aggregator发起ZK证明请求，请求获取该batch的ZK证明；
6. 聚合器将batch拆解为一个个blocks，由ZK证明器为它们生成ZK证明；
7. 聚合器这些blocks的ZK证明会被聚合成一个证明，对应于它们所在的batch；
8. 聚合器将这个batch ZK证明发送给sequencer，sequencer再将其发送给挑战合约，由其进行验证。

具体的内容可以看这里。