什么是zk-SNARKs和zk-STARKs？

zk-SNARK是零知识非交互式简洁论证的首字母缩写，也就是说，它是一种用于证明您拥有信息而无需透露信息的形式。也就是说，交易隐私很高。

使用这个概念的第一个区块链是Zcash（ZEC），在这种情况下，信息是密钥。因此，需要证明他们持有信息的一方不需要披露信息，只是为了向另一方，验证者证明信息的有效性。

默认情况下，Zcash事务不是匿名的，您需要启用它们，绝大多数用户不使用它们。也许是因为标准计算机需要几分钟才能创建匿名事务，因为需要大量的计算工作。

此外，zk-SNARK需要一个特殊的密钥来配置整个系统。如果此密钥被泄露，攻击者可以创建硬币然后终止该项目。这个阶段被称为参数生成仪式，这是一个有点中心化和安全依赖的过程。

最后，量子计算机也可能对使用zk-SNARK的区块链构成威胁，因为有足够的计算能力可能会产生错误的证据。

zk-STARK是零知识可扩展透明知识论证的首字母缩写，即T代表透明度，毕竟，像Zcash这样的信任依赖仪式不需要启动。

此外，zk-STARK在其他方面表现优异，校对需要的计算能力更低，可扩展性可以提高，并且它们不易受到量子计算机攻击。

在这种媒介中的演变是不可避免的，使用zk-STARK进行的测试正在以太坊区块链上进行，结果令人鼓舞，每秒550次交易。

当被问及以太坊3.0的愿景时，Vitalik Buterin说：

“STARKs，STARKs和STARKs”

zk-SNARK和zk-STARK之间的比较：

简化的基准测试说明了作为基础证据所需的通信增加了复杂性。级别1 – 级别6指的是运算电路的复杂度（门级乘法级别，每级级别从前一级别增加约55倍）。未显示级别5和6，因为通信大小超过100GB）。 zk-SNARK后处理检查时间是指检查SNARK的时间。

简化的基准测试表明，zk-STARK生成证明的时间比ZK-SNARK慢得多，因为基础证据的复杂性增加。级别1 – 级别6指的是运算电路的复杂度（门级乘法级别，每级级别从前一级别增加约55倍）。 6级未显示为完成时间超过10小时）。

简化的基准测试表明，与zk-SNARK相比，zk-STARK验证测试的时间增长非常缓慢，因为基础测试的复杂性增加。级别1 – 级别6指的是运算电路的复杂度（门级乘法级别，每级级别从前一级别增加约55倍）。未显示6级，因为完成时间超过10小时）。 zk-STARK和zk-SNARK后处理验证时间是指检查STARK / SNARK的时间。

如果您对更多技术内容感兴趣，请查看Zcash白皮书和zk-STARK白皮书。