zk-STARK 是两种透明且可扩展的隐私增强方法之一。 验证者使用的随机性的公开可用性否定了对可信设置的需要。
但是，zk-STARK 代表什么？ zk-STARK 代表 Zero-Knowledge Scalable Transparent Argument of Knowledge，它是一种密码证明技术。 zk-STARKs，也称为零知识证明，允许用户与第三方交流经过验证的数据或执行计算，而无需向另一方透露数据或分析。
zk-SNARKs 是在 zk-STARKs 开发之前用于构建 zk-proof 系统的，它解决了那些受信任方由于必须首先建立 zk-proof 系统而危及系统隐私的漏洞。 zk-STARKs 通过远离对可靠设置的要求来推进这项技术。
此外，无许可区块链的可扩展性和隐私问题通过 STARK 得到改善。 目前由 STARK 技术先驱 StarkWare Industries 进行的 zk-STARK 研究主要关注的是可扩展性，隐私性稍后会出现。
通过使开发人员能够将计算和存储转移到链下，STARK 提高了可扩展性。 可以通过链下服务生成验证链下计算准确性的 STARK 证明。 之后，这些证明被重新发布到链上，以便任何有兴趣的人都可以验证计算。
此外，STARK 使现有的区块链基础设施能够以指数方式扩展，而不会通过将大部分计算工作脱链而影响计算完整性。 那么，哪些币使用了 zk-STARKs？
第 2 层解决方案使用 STARK 计算单个批次中的数千笔交易，然后使用单个 STARK 证明来确认它们在链上的有效性。 批次中的所有交易均分担链上操作的成本，为每笔交易提供较低的 gas 成本。 Starkware 正在许多区块链中实施零知识可扩展透明知识论证，包括以太坊区块链。
