零知识证明机制转化成计算机程序语言后应用最广泛的技术有两个 —— zk-SNARK 和 zk-STARK。
zk-SNARK
zk-SNARK 的核心是依靠椭圆曲线算法来保证安全。除了基于椭圆曲线算法之外，zk-SNARK 还依赖初始可信设置。对可信设置的依赖一直是 zk-SNARK 支持者与批评者之间存在分歧的关键原因之一。关于 zk-SNARK 的另一个主要问题是它们不具有量子抗性。有分析认为如果量子计算变得广泛可用，支撑 zk-SNARK 的隐私技术将大打折扣。
尽管可信设置存在挑战，但由于各种原因，zk-SNARK 的接受速度比 zk-STARK 快得多。在 zk-STARK 被发现之前的几年，zk-SNARK 就被发现了，这让该技术在接受方面有了巨大的领先优势。此外，Zcash 也是最早使用 zk-SNARK 的匿名币，也进一步促进了区块链开发人员对 zk-SNARK 的使用。
zk-STARK
zk-STARK 的核心机制基于哈希函数，而非椭圆曲线算法，相比于后者，该函数具备量子抗性；此外，zk-STARK 也并不依赖可信设置。
但与此同时，zk-STARKs 的成本更高，需要的证明数据比 zk-SNARKs 大得多，XM官网xmgwang.com这意味着确认 zk-STARKs 比 zk-SNARKs 需要更长的时间并且需要更多的 gas。
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/69995368/viewspace-2923898/ ，如需转载，请注明出处，否则将追究法律责任。
