土法炼钢兴趣小组的算法知识备份

【密码学百科】可验证计算：从交互式证明到去中心化验证

2026-04-15 | cryptography | #verifiable-computation #interactive-proof #sumcheck #GKR #zkVM #IVC #PCD #delegation #succinct-argument

可验证计算让计算的委托方无需重新执行即可确信结果正确——本文从交互式证明系统出发，讲解 GKR 协议、Sumcheck 协议、zkVM 架构，以及可验证计算在区块链 Layer 2 和云计算中的应用