在大家印象中几乎所有的OP Rollup都没有在生产环境中发生过欺诈证明，但欺诈证明对Rollup来说就像儿子对中国农村家庭的作用，可以不用但不能没有。 MegaETH在Rollup状态验证欺诈证明和ZK有效性证明这两种既有技术范式，利用 @RiscZero 的ZK Prover生成ZKP（ZK证明）与EigenDA的数据可用性层创新出一种新的范式：ZK 欺诈证明。 挑战者利用RiscZero提供链下计算能力对EigenDA存储的Rollup历史状态执行ZK计算检测出非法状态后，只需要将对应的ZKP提交到该Rollup部署在以太坊主网（扮演结算层角色）的验证智能合约验证即可。 全程既不需要像欺诈证明那样需要Rollup的Proposer（Rollup状态提交者）与挑战者持续数天的对账式交互，也不需要像ZK有效性证明那样每个Batch都需要生成ZKP和主网智能合约验证。(NingNing)