Chiesa 等人研究 succinct arguments 中回溯的开销，提出严格时间障碍与期望时间安全性分析

内容摘要

Alessandro Chiesa、Ziyi Guan、William Wang、Yuetian Wu 在 IACR ePrint 发布预印本，解决 succinct arguments 中回溯（rewinding）安全性分析的两个空白。作者证明负面结果：依赖黑盒提取器的严格多项式时间归约无法达到可忽略的知识误差，严格时间损失是固有的；正面给出新的期望时间分析，在 Kilian 提出的 commit-and-open 范式完全一般性下，包括多轮及多项式和线性 IOP 编译等变体，达到可忽略的可靠性与知识误差，并称这是首个在标准模型中覆盖实践部署 succinct arguments 的此类分析。该文为预印本，未经同行评审。