超级会员免费看
交互式证明的PCP定理及其应用
在密码学和复杂性理论领域，交互式证明系统的研究一直是一个重要的方向。PCP（Probabilistically Checkable Proof）定理为交互式证明系统提供了强大的理论基础，并且在实际应用中有着广泛的用途。本文将深入探讨PCP定理在交互式证明中的应用，特别是如何将索引可解码的PCP转换为提交并证明的SNARK（Succinct Non-Interactive Argument of Knowledge），以及如何利用这些技术来解决近似困难性问题。
1. PCP的鲁棒性
PCP的鲁棒性是衡量其在面对错误或恶意输入时的稳定性的重要指标。如果纠错码的相对距离为δ，原始验证者从证明者的证明中读取q个符号，那么得到的PCP将具有O(δ/q)的鲁棒性。
具体来说，假设新的PCP验证者从证明者的证明中读取的码字为c1, …, cq，并且ai是ci的解码。为了将解码结果改变为另一组字符串a′1, …, a′q，使得验证者做出不同的决策，在最坏情况下，只需要改变一个码字的解码值。由于码的相对距离为δ，因此必须至少改变一个码字ci的δ部分的比特。而一个码字的δ部分，相对于q个码字的整个字符串来说，就是δ/q部分。
为了实现恒定的鲁棒性，我们需要从一个对证明者证明进行少量查询的索引可解码PCP开始，尽管可能使用较大的字母表。
2. 从索引可解码PCP到提交并证明的SNARK
2.1 Micali构造回顾
SNARG（Succinct Non-Interactive ARGument）证明者使用随机预言机将长的PCP字符串进行Merkle哈希，得到一个短的Merkle根作为
订阅专栏 解锁全文
扫一扫
1284
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
