On quantum interactive proofs with a laconic prover
本文研究带简洁证明者（laconic prover）的两消息量子交互证明系统，即证明者单次回复长度被严格限制为 ℓ 比特时的可验证问题类。经典情形由 Goldreich、Vadhan 与 Wigderson（CC 2002）引入，刻画了证明
#interactive-proofs
共收录 3 条相关情报。
← 返回所有主题How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs
该论文针对AI安全验证问题，提出了一种避免辩论（debate）的替代方案。传统辩论方法依赖两个能力对等的AI模型相互辩论以说服人类验证者，但这一假设在实践中可能不成立（如模型能力不均或双方均不诚实）。论文首次研究了面向AI安全场景的“单证明
Towards a Doubly Efficient IP=PSPACE
本文研究PSPACE语言的高效交互式证明系统。经典结论IP=PSPACE表明任何PSPACE语言都存在交互式证明，但验证者高效时，证明者可能需要指数时间。后续工作致力于构造“加倍高效”的证明系统，即证明者时间为T(n)的多项式，验证者时间为