【密码学百科】零知识证明入门：如何证明你知道而不泄露
零知识证明是密码学中最反直觉的概念之一——本文从阿里巴巴洞穴的直觉出发，建立完备性、可靠性、零知识性的形式化理解，并实现 Schnorr 身份认证与 Fiat-Shamir 变换
interactive-proof 标签归档
共 2 篇文章 · 返回首页
【密码学百科】可验证计算：从交互式证明到去中心化验证
可验证计算让计算的委托方无需重新执行即可确信结果正确——本文从交互式证明系统出发，讲解 GKR 协议、Sumcheck 协议、zkVM 架构，以及可验证计算在区块链 Layer 2 和云计算中的应用