SI-RVP: off-chain bisection + a single-instruction Groth16 proof for optimistic-rollup dispute resolution

AI 摘要

一句话摘要: 提出一种混合型乐观Rollup争议解决协议，将二分查找移至链下，仅对单条MIPS指令生成Groth16证明，大幅降低链上Gas成本。 关键事实: 1. 链上争议解决仅需5笔交易，总Gas约0.83M，比Cannon方案（约10-15M Gas）降低一个数量级。 2. 保留7天挑战窗口期，但争议解决时间从数天缩短至约47分钟（模型预测，未实测）。 3. 基于2024年3月提出的“ZK欺诈证明+ZK状态通道”想法，实现了端到端实现和链上测量。 涉及主体: 以太坊研究社区（ethresear.ch）、Cartesi Dave、OP Kailua、Morph项目。 可能影响: 显著降低乐观Rollup争议解决成本，提升用户体验，可能推动更多L2采用混合型ZK-OP方案，加速Rollup生态发展。 是否值得继续跟踪: 是。该方案在保持1-of-N无许可信任模型的同时，大幅降低链上成本，若实测验证通过，可能成为OP-Rollup争议解决的主流方案。 噪音/炒作风险: 中。核心想法非原创，但提供了完整实现和实测数据；47分钟延迟为模型预测而非实测，需谨慎看待；社区需评估其相对于Cartesi Dave/OP Kailua的增量价值。