当前位置：首页 > 区块链技术 > ZK-STARK全面介绍

什么是ZK-STARK以及有哪些技术优势?如何运作?

2023-06-01 10:23:03 | 来源： | 作者：佚名
这篇文章主要介绍了什么是ZK-STARK以及有哪些技术优势?如何运作?的相关资料,需要的朋友可以参考下本文详细内容介绍

在之前的零知识证明系列文章中，我们详细介绍了ZK-SNARKs技术及其使用优缺点，本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK?

什么是ZK-STARK?

ZK-STARK 是 Zero-Knowledge Scalable Transparent Argument of Knowledge 的缩写。就像 ZK-SNARKs 一样，ZK-STARKs 表示一个声明是有效的，而不透露任何关于声明本身的信息。

除了一些差异外，STARK 与 SNARK 具有相同的属性。关于SNARK的文章可参考往期(超链接)。基于 STARK 的有效性证明是使用一条对验证者隐藏的信息生成的。STARK 还可以在不泄露输入的情况下验证交易的正确性。

ZK-STARKs 与 ZK-SNARKs

ZK-STARKs 的主要区别在于它们的可扩展性和透明性：

ZK-STARK 被认为是透明的，因为它可以在没有公共参考字符串 (CRS：Common Reference String ) 的可信设置的情况下工作。相反，STARK 协议使用可公开验证的随机性来建立证明者和验证者之间的交互。

ZK-STARK 是可扩展的，因为证明和验证复杂性规模与计算复杂性呈拟线性关系。使用 ZK-SNARKs，证明和验证的复杂性规模与底层计算呈线性关系。

这仅仅意味着当我们需要验证的计算量更大时，ZK-SNARK 协议需要比 ZK-STARKs 更多的时间来生成和验证证明。这就是为什么 STARKs 更适合处理大量交易的应用程序。

资料来源：Source: Adam Luciano

ZK-STARKs有什么好处?

使用 ZK-STARKs 有四个主要好处：不需要可信设置，它们是可扩展的，它们为用户提供最大的吞吐量，并且它们有高安全性保证。

1. 无需可信设置

ZK-STARK 不需要可信设置即可运行，而是依赖于公共随机性。这减少了用户的信任假设并提高了基于 STARK 的协议的安全性。

2.可扩展的属性

与 SNARK 相比，STARK 的计算和验证速度更快。更重要的是，即使底层计算的复杂性呈指数级增长，ZK-STARKs 的证明和验证时间仍然很短。

3.最大吞吐量

与 SNARKs 一样，STARKs 可以通过启用安全且可验证的链下计算来扩展区块链。 提交到 L1 链的单个 STARK 证明可以验证在主链外进行的数千笔交易。因此，几个备受瞩目的 ZK rollup 项目使用 ZK-SNARKs 来证明链下计算的完整性。

4.更高的安全保障

ZK-STARKs 使用抗碰撞哈希(collision-resistant hashes)进行加密，而不是 ZK-SNARKs 中使用的椭圆曲线方案(elliptic curve schemes )。这被认为可以抵抗量子计算攻击，使其比 SNARK 中使用的椭圆曲线更安全。

ZK-STARK 的缺点是什么?

使用 ZK-STARKs 的两个主要缺点是它们使用更大的证明大小，并且在区块链空间中采用该技术的较少。

1. 更大的证明尺寸

虽然 STARKs 提供了更快的证明，但缺点是这些证明与基于 SNARK 的证明相比更大。这使得 STARK 证明在以太坊上的验证成本更高，因为计算更大的证明会产生更高的 gas 费用。

2.采用率较低

SNARKs 是零知识技术在区块链中的第一个实际应用，这就是为什么它们比 STARKs 拥有更多的市场份额。大多数 ZK rollups 使用 ZK-SNARKs，基于 SNARK 的 ZK 证明的开发者生态系统和工具更大。

尽管 ZK-STARKs 也有知名的支持者，包括以太坊基金会，但他们的采用率较低。因此，开发人员可能会发现使用 STARKs 构建 ZK 项目的支持和工具较少。

哪些项目使用 ZK-STARKs?

StarkNet

作为以太坊上的 L2 网络运行的通用 ZK rollup。StarkNet 允许去中心化应用程序 (dApps) 实现无限的可扩展性，而不会损害以太坊的去中心化和安全性。

dYdX

基于以太坊的 ZK rollup 项目(兼作去中心化交易所)为加密货币用户和交易者提供快速且低成本的交易、借贷。dYdX 使用 STARK 证明作为其安全机制的一部分，保证用户的资金安全。

Polygon Miden

具有 EVM 兼容性的基于 STARK 的 ZK rollup。虽然仍在生产中，但 Polygon Miden 将成为第一个与 EVM 兼容的 ZK-STARK 协议，并允许开发人员迁移以太坊原生 dApp 以享受 L2 网络上的可扩展性。

什么是递归ZK-SNARK?

递归 SNARK (Recursive SNARK)系统为不同的交易区块并行生成证明，并将它们聚合成一个提交到主区块链的单个区块证明，这意味着一个 SNARK 可以验证其他 SNARK。

L2 汇总仍然在以太坊上提交一份有效性证明。然而，这种“递归证明”会验证多个 L2 区块中的交易，一旦链上合约接受提交的证明，所有交易都会生效。

资料来源：Matter Labs

递归 ZK-SNARKs 解决了什么问题?

递归ZK- snarks通过将多个L2证明包含在提交给L1链的单个证明中，极大地增加了可以用ZK证明完成的交易数量，这目前受到以太坊12-14秒出块时间的限制。

区块时间是指在以太坊上挖掘一个新的交易区块需要多长时间。ZK rollups 每个区块只能提交一笔链上交易(以及相应的有效性证明)，限制了它们可以处理的交易数量。

递归 ZK-SNARK 与常规 ZK-SNARK 有何不同?

递归 ZK-SNARK 不同于普通的 ZK-SNARK，因为递归 ZK-SNARK 可以通过将为不同 L2 块生成的 SNARK 组合成一个提交给 L1 链的有效性证明来验证多个交易块。

ZK rollups 在发布到主区块链之前为每批交易创建一个 SNARK 证明，并且单个 SNARK 证明只能验证在 L2 rollup 上进行的一个交易块。

ZK-SNARKs 可以在不使用原始输入的情况下验证已被常规 ZK-SNARKs 验证过的交易。因此，链上智能合约可以验证更大的链下计算集，而无需运行多个 SNARK 作为输入。

零知识证明已经从隐私保护技术发展成为下一个扩展技术的前沿。随着ZK rollup的爆发，可以肯定地说，ZK-SNARKs, ZK- stark和递归SNARKs将在扩展以太坊的驱动中发挥重要作用。

以上就是什么是ZK-STARK以及有哪些技术优势?如何运作?的详细内容，更多关于ZK-STARK全面介绍的资料请关注脚本之家其它相关文章！

免责声明：本文只为提供市场讯息，所有内容及观点仅供参考，不构成投资建议，不代表本站观点和立场。投资者应自行决策与交易，对投资者交易形成的直接或间接损失，作者及本站将不承担任何责任。！
Tag：ZK-STARK   运作   优势  

你可能感兴趣的文章

币圈快讯

  • 布伦特原油暗盘跌破112美元日内跌超0.3%

    2026-11-01 05:07
    11月1日，布伦特原油暗盘跌破112美元，日内跌超0.3%。（新浪财经）

  • 美国个人储蓄率9月份下降0.2个百分点至4.2%创2022年10月以来最低水平

    2026-11-01 04:41
    11月1日，据TheKobeissiLetter披露，美国个人储蓄率9月份下降0.2个百分点至4.2%，创下2022年10月以来的最低水平。自2024年1月以来，美国个人储蓄率已累计下降3.4个百分点。目前，个人储蓄率已远低于疫情前五年6.2%的平均水平。与此同时，9月美国个人收入同比增长4.1%，为2022年4月以来第二低的增速。同期，个人消费支出（PCE）同比增长6.3%，为2024年12月以来第二高的同比增幅。换言之，消费者支出增速持续超过收入增长，进一步挤压家庭储蓄，并使家庭对借贷的依赖程度上升。持续高企的通胀和处于历史高位的物价，也在进一步侵蚀消费者的储蓄。

  • 《华尔街日报》胜诉特朗普100亿美元诽谤诉讼被驳回

    2026-11-01 04:38
    11月1日，美国一名联邦法官驳回了唐纳德·特朗普重新提起的、针对《华尔街日报》的100亿美元诽谤诉讼，并裁定该案不得再次起诉，这是特朗普在与媒体的法律纠纷中遭遇的又一次挫折。迈阿密法官DarrinGayles于周六批准了《华尔街日报》的撤诉申请。诉状指控该报在一篇关于特朗普与已故杰弗里·爱泼斯坦往来的报道中对其构成诽谤。Gayles曾在4月以证据不足为由首次驳回该案，但当时允许特朗普补充诉求后重新起诉。特朗普在5月提交新版本诉状，而《华尔街日报》认为新版本并未做出有效完善。这项裁决对《华尔街日报》、其母公司新闻集团以及名誉主席鲁珀特·默多克（均为该案被告）而言是重大胜利。被告方在撤诉申请中称，相关报道内容属实，特朗普提起诉讼意在压制媒体对他的批评。引发这起诉讼的《华尔街日报》报道称，特朗普曾向爱泼斯坦寄送一封带有暗示性内容的生日信件。（新浪财经）

  • Name.com域名劫持事件升级：15个客户域名受影响并全部恢复其中10个与Vercel平台相关

    2026-11-01 04:08
    11月1日，Name.com向TheBlock表示，此次攻击中共有15个客户域名被劫持，超过此前确认的12个，目前这些域名已全部恢复。Vercel则表示，受影响的域名中有10个与其平台相关联。此前消息，周五晚些时候，黑客入侵了十余个DeFi网站，包括Flap、Kintsu、PickleFinance和OrigamiFinance，并利用这些网站清空了访问者的加密货币钱包。据TheBlock获取的注册记录显示，这12个被劫持的域名均通过Name.com注册，其中10个已于周六上午在注册商层面被暂停。TheBlock迄今已将约13.8万美元的被盗资金追踪到EVM链上的三个钱包，这一数字尚未计入Solana或Aptos链上的任何损失。

  • 伊朗最高国家安全委员会秘书雷扎伊：战争应永久结束不应再有任何国家“胆敢”对伊朗发动攻击

    2026-11-01 03:40
    伊朗最高国家安全委员会秘书雷扎伊：我们认真对待外交，但不会放弃伊朗人民的权利。战争应永久结束，不应再有任何国家“胆敢”对伊朗发动攻击。在伊朗的七项条件得到满足之前，不会进行谈判，也不会开放霍尔木兹海峡。如果后续阶段举行核谈判，伊朗依据《不扩散核武器条约》享有的核权利应得到尊重。(金十)
    • 查看更多

最新资讯

更多

区块链百科