下一图集
你的心态,决议了你的健康
早期 zk 技术(Groth16)属于线性 PCP 类。 除请求可信设置外,主要缺陷是假如需求为不同的计算(不同的电路/多项式)提供证明,都需求一次新的设置。近期 zk 技术 PIOP 类支持通用初始设置和透明设置(不需求信任假定)。新的 zk 证明系统通常能够描画为 PIOP(Polynomial Interactive Oracle Proof,多项式交互预言证明)+ PCS(Polynomial Commitment Scheme,多项式承诺计划)。前者 ... [查看原文]
<< 已没有了
下一图集 >>