什么是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先前的许多缺点，可以作为替补和改进版本来使用。