继上一次 Shor 发出了对支付网络中路由问题的全面研究之后,又有一位热爱研究的 Nervos 小伙伴 Cyte 对零知识证明做了详细的研究。 在这篇文章中,Cyte 会和大家介绍零知识证明 (ZKP) 的定义,并将零知识证明与 SNARK 和 STARK 这两个概念进行辨析。 ZKP、SNARK 和 STARK 等这些密码学概念随着最近区块链的兴起变得热⻔起来。但是,它们经常会被误解和混用。其实,所有这些概念都属于一个更广义的范畴,叫做证明系统 (Proof System),或者叫做密码学证明(Crypt