zk-SNARKs和zk-STARKs都是零知识证明技术，可以用于验证信息真实性而不屑露具体内容，它们都可以允许一方向另一方证明自己知道某个信息或某个计算是正确的，而且无需透露该信息本身的内容，它们在区块链、隐私保护计算领域都有广泛的应用，零知识证明通过数学和密码学方法，在证明正确和保护隐私之间建立了技术平衡，因而被广泛应用于区块链系统当中，ZK-SNARKs和zk-STARKs分别从效率、参数生成方式和安全假设等角度切入，为区块链在隐私保护、扩展能力和计算验证方面提供支持，是当前区块链底层技术体系中的重要组成部分。

一、什么是zk-SNARKs和zk-STARKs？

一、ZK-SNARKs（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）依赖可信设置阶段生成公共参数，验证者无需与证明者多次交互即可完成验证。

1、在系统初始化时，通过多方计算生成公共参考字符串（CRS），必须确保至少一方在过程结束后销毁私密成分。

2、证明者利用私有数据和电路逻辑构建数学承诺，生成简短证明。

3、验证者使用公共参数和声明的公开输入，对证明进行快速验证，耗时通常低于几毫秒。

二、ZK-STARKs（Zero-Knowledge Scalable Transparent Argument of Knowledge）不依赖可信设置，其安全性基于哈希函数和纠错编码，具有抗量子特性。

1、将计算过程转化为多项式约束系统，并通过低度扩展实现可验证性。

2、证明者执行FRI协议（Fast Reed-Solomon Interactive Oracle Proof）来证明多项式的低度性质。

3、验证者通过随机采样检查哈希路径和多项式估值，全程无需预设信任参数，通信开销随计算规模近似对数增长。

二、零知识证明如何工作？

一、ZK-SNARKs 依赖椭圆曲线配对和离散对数假设，而 ZK-STARKs 基于哈希函数的抗碰撞性。

1、SNARKs 使用双线性映射运算，要求特定代数结构支持，存在潜在的侧信道攻击风险。

2、STARKs 采用默克尔树和哈希链构造证明路径，所有验证均可在标准哈希假设下完成。

3、由于不涉及秘密参数生成，STARKs 在去中心化场景中更易获得社区信任。

二、根据链上验证成本和证明大小的不同需求，可选择适合的零知识证明方案。

1、对于需要极小证明尺寸和快速验证的场景（如区块链上的隐私交易），优先考虑 SNARKs。

2、当强调透明性和抗量子能力时，应部署 STARKs，尤其适用于长期安全存储验证记录的系统。

3、比较实际运行开销时，需测量证明生成时间、验证 gas 消耗以及数据传输量，STARKs 证明体积通常比 SNARKs 大一个数量级。