Succinct Arguments for QMA in the Quantum Random Oracle Model
简洁论证（succinct arguments）是密码学中的基础原语，其目标是以极小的通信量验证计算断言。在经典设定下，针对 NP 的简洁论证可以仅从非结构化困难性（例如哈希函数）出发构造：通过 commit-and-open 范式，把 N
#succinct-arguments
共收录 3 条相关情报。
← 返回所有主题Succinct Arguments for QMA from Collapsing Hash Functions
该论文研究量子计算时代可验证计算的理论基础问题：能否在尽可能弱的密码学假设下，为 QMA（量子 Merlin-Arthur，即量子版 NP 的验证类）构造简洁论证（succinct arguments）。作者证明：只要存在 collapsi
Succinct Zero Knowledge for Floating Point Computations.
该论文研究了为浮点计算构建简洁零知识证明系统的问题。标准方法需要将浮点运算转换为二进制电路（遵循 IEEE-754 标准），导致证明者效率产生关于精度 w 的多项式开销，成为简洁论证设计的瓶颈。论文提出了一种新模型，用于验证浮点计算的近似正