什么是 zk-SNARKs？

Zk-Snarks 的全称为“Zero-Knowledge Succinct Non-Interactive Argument ofKnowledge”，中文名称为：简明非交互零知识证明。代表项目：Zcash

什么是 zk-STARKs？

zk-STARKs 可以认为是 Zk-Snarks 的替代版本，其中字母“N”变成了“T”，其中“T“是“Transparent”，代表“透明的”。

zk -SNARKs 与 zk-STARKs 有什么区别？

zk-STARKs 是作为 zk-SNARK 协议的替代版本而创建的，被认为是该技术的更快和更便捷的实现方式，从技术上讲，zk-STARKs 不需要初始化可信设置，可以减少花费的资金和时间。

在 zk-STARK 中，证明者与验证者之间的通信量，相对于计算的任何增量，是保持不变的，而在 zk-SNARK 中，所需的计算越多，各方来回发送消息的次数就越多，因此，zk-SNARK 的整体数据量，远大于 zk-STARK 证明中的数据量。

总结一下：

zk-SNARKs 和 zk-STARKs 都是基于”零知识证明”（zero knowledge proof，即 ZKP）， zk-SNARK 代表了简洁化的非交互式零知识证明，而 zk-STARK 代表了简洁化的全透明零知识证明。

V 神曾称赞 zk-SNARKs 这种协议，可以帮助以太坊 2.0 网络扩容，当被问及以太坊 3.0 的愿景时，他说“STARKs，STARKs 和 STARKs”，很明显，zk-SNARKS 和 zk-STARK 这两个协议都具有很大的潜力。

虽然 zk-SNARKs 已经很成熟并被很广泛的使用，但 zk-STARK 旨在解决 zk-SNARKs 先前的许多缺点，可以作为替补和改进版本来使用。