🕒 在 RTX4000 GPU 上使用 Risc0 生成 ZKP 大约需要 15 分钟
✅ 验证 ZK 证明大约需要 30 万 gas（在 Arb 上约为 0.01 美元）
当证明在链上完全验证时，大约需要 7000 万 gas（改进幅度 >200 倍）。
