【密码学百科】可验证计算：从交互式证明到去中心化验证
可验证计算让计算的委托方无需重新执行即可确信结果正确——本文从交互式证明系统出发，讲解 GKR 协议、Sumcheck 协议、zkVM 架构，以及可验证计算在区块链 Layer 2 和云计算中的应用
succinct-argument 标签归档
共 1 篇文章 · 返回首页
Linux 内核、存储与网络、可观测性、系统架构与大模型基础设施的工程笔记：机制拆解、踩坑复盘与可核对证据，少空谈。
共 1 篇文章 · 返回首页
可验证计算让计算的委托方无需重新执行即可确信结果正确——本文从交互式证明系统出发，讲解 GKR 协议、Sumcheck 协议、zkVM 架构，以及可验证计算在区块链 Layer 2 和云计算中的应用