随着比特币、区块链、智能合约等概念的铺开，越来越多的人关注到Web3领域的蓬勃发展。而在技术方面，也有许多开发者关注到支撑区块链底层的密码学协议。在这之中，零知识证明协议以其独特的特性大放异彩，无论是在实现隐私保护，还是在实现Layer2性能扩容的zkrollup项目当中，都发挥着关键的作用。
零知识证明是一类算法的统称，到目前为止，研究者发明了包括Plonk、Groth16、zkStark、Virgo、Orion、Foaks等等在内的许多种协议。不同的协议适用于不同的计算场景，复杂度和效率也各有不同，例如Foaks就以线性的证明时间和较小的证明长度为优势。
上述的每一种协议，协议目标是相同的，就是证明者（Prover）希望在不向验证者（Verifier）透露任何关于自己的秘密的信息的情况下让验证者相信自己拥有秘密。sum-check protocol是很多协议的组件，最早在当中被提出。很多计算问题可以被转化成sum-check protocol能处理的问题，从而生成证明。包括Foaks在内的不少协议的底层协议都基于sum-check protocol，在其上进行调整来实现。
您已阅读16%（493字），剩余84%（2584字）包含更多重要信息，订阅以继续探索完整内容，并享受更多专属服务。