Less is more: refinement proofs for probabilistic proofs.
本文提出一个名为 Distiller 的通用框架，旨在优化概率证明系统（包括交互式证明 IP、简洁非交互式论证 SNARK、概率可检验证明 PCP 等）的前端开销。在过去十年中，概率证明的实现虽受广泛关注，但由于前端需要将抽象计算转换为等价
#SNARK
共收录 3 条相关情报。
← 返回所有主题Flock: Fast Proving for Batch Boolean Computations
本文提出 Flock，一种基于哈希的 SNARK（简洁非交互式零知识证明）系统，旨在大幅加速大批量布尔计算（尤其是标准密码学哈希函数评估）的证明生成。在许多 SNARK 应用中，证明大量 SHA-256、Keccak、BLAKE3 等哈希评
Locality of Curve-Decoding and Improved Proximity Gaps
本文研究了纠错码的邻近间隙性质，该性质在交互式预言证明和简洁非交互式零知识论证中具有重要应用。先前Goyal和Guruswami的工作为子空间设计码以及随机线性码、随机求值点的Reed-Solomon码和Gallager的LDPC码等随机码