zk-STARKs vs. zk-SNARKs 解释

fffmCQ.jpg

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 正在许多区块链中实施零知识可扩展透明知识论证,包括以太坊区块链。

声明:该文观点仅代表作者本人,与炒币网无关。炒币网系信息发布平台,仅提供信息存储空间服务。对所包含内容的准确性、可靠性或者完整性不提供任何明示或暗示的保证,并不对文章观点负责。 提示:投资有风险,入市须谨慎。本资讯仅供参阅,不作为投资理财建议。

发表评论

登录后才能评论