Vitalik谈zk-STARK潜力：非看空zkSync

以太坊联合创始人 Vitalik Buterin 昨日在 Web3 社交平台 Warpcast 上发布消息，探讨链下零知识证明（ZK）应用。他指出，市场可能尚未充分认识到 STARK 技术的潜力，尤其是在那些对隐私要求较高的链下场景中。按照他的说法，STARK 方案能够发挥的空间，或许比当前普遍预期的还要更大。

Vitalik 的原话是：“我觉得链下 ZK 应用确实低估了 STARK 的潜力，特别是一些对隐私要求极高的用例。目前 STARK 证明的体积还不到 100kB，在链下场景里，这点带宽跟它节省下来的客户端证明时间相比，几乎可以忽略不计。”从表述中可以感受到，他重点讨论的是技术层面的权衡，并非针对某个具体项目释放明确的利空信号。

这条消息很快引发了市场讨论。恰逢 zkSync 的代币昨日上线币安等交易所，不少人自然将其与 zkSync、Starknet 以及不同 zk-rollup 技术路线联系起来。不过，技术观点与市场情绪之间常常被画上等号，但两者本质上并不相同，直接挂钩容易产生误读。

Vitalik 提到 zk-STARKs 潜力，是否意味着看空 zkSync？

如果只看原话，答案并不那么简单。Vitalik 更像是在强调 zk-STARKs 在链下零知识证明应用中的潜在优势，尤其是那些对隐私要求更高、同时更看重客户端证明效率的场景。他并未直接对 zkSync 给出负面评价。

从项目本身来看，zkSync 依然是以太坊 Layer2 扩容方案中较有代表性的一个。其基本逻辑是：将一批交易在链下处理，然后将证明结果提交回链上验证，这样既能提高处理效率，又能减轻主链负担。这类方案的核心价值在于平衡扩容能力与链上验证的安全性。

不过，zkSync 和 Starknet 虽然都被归入以太坊二层和 zk-rollup 赛道，但底层使用的零知识证明系统并不相同：

• zkSync：主要采用 zk-SNARKs
• Starknet：主要采用 zk-STARKs

正因技术路线不同，Vitalik 一旦公开讨论 STARK 的潜力，市场自然会联想到 Starknet 与 zkSync 之间的对比。但这种联想更多是围绕赛道竞争和技术偏好的延伸解读，不能简单理解为“看空 zkSync”或“站队 Starknet”。

截至撰稿时，zkSync 的代币 ZK 昨日上线币安后继续回落，具体价格请以行情平台或交易所实时页面为准。短线波动受流动性释放、市场情绪、预期兑现、筹码结构等多重因素影响，单靠一条技术评论很难解释全部变化。

zk-SNARKs 与 zk-STARKs 是什么？先理解这两条主流 ZK 路线

无论是 zk-SNARKs 还是 zk-STARKs，本质上都属于零知识证明（Zero-Knowledge Proof）。它们要解决的核心问题很接近：在不公开全部底层数据的前提下，仍然能向外界证明某件事是真实的。

从应用层面看，这项技术在区块链、Web3、隐私计算以及 Layer2 扩容中都比较关键。系统既要做到“可验证”，又希望尽可能减少数据暴露，而零知识证明正是兼顾这两点的重要工具。

不过，要评估具体项目，仅知道它们都属于 ZK 技术还不够。zk-SNARKs 和 zk-STARKs 在证明生成方式、验证流程、参数依赖以及安全模型上都有区别，这些差异最终会影响到性能、成本和适用场景。

zk-SNARKs 的特点：证明更简洁，验证效率较高

zk-SNARK 是一种简洁、非互动的零知识证明技术，全称是 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge。

从功能特点来看，它通常有几个比较明显的优势：

• Zero-Knowledge：可以在不暴露敏感信息的情况下完成证明。
• Succinct：证明体积通常较小，方便快速验证。
• Non-Interactive：证明者和验证者不需要多次来回通信，就能完成验证流程。

放在产品设计和网络架构中看，zk-SNARKs 比较适合那些强调证明简洁度、链上验证效率以及交互体验的场景。这也是它在不少扩容方案和隐私应用中被广泛采用的原因。

不过，zk-SNARKs 通常需要先生成一套公共参考字串（CRS）。有了这套参考参数，证明者就可以据此生成证明，不必每次都从头设计完整流程。这种机制确实带来了效率上的优势，但也引出了一个长期被讨论的问题：可信设置。

换句话说，评估 zk-SNARKs 不能只看速度和证明体积，还要关注其前置参数生成方式是否合理、透明，相关流程是否足够可靠。对于更关注底层技术实现的人来说，这往往也是观察项目质量的重要维度之一。

zk-STARKs 的特点：更强调透明性与长期安全讨论

zk-STARK 由 StarkWare 团队开发，通常被视为 zk-SNARK 的另一条重要路线，也是当前 ZK 赛道里辨识度较高的技术方向之一。

与 zk-SNARKs 相比，zk-STARKs 最常被提到的一点是：它不依赖第三方预先生成的公共参考字串。换句话说，它不需要传统意义上容易引发“可信设置”争议的前置参数，因此在透明性层面往往更受关注。

从理解门槛来说，普通读者其实不必深究密码学细节。只需知道，zk-STARKs 会通过特定的数学结构和随机性检验来验证计算是否可信。可以将其理解为一种更偏向“抽样核验”的证明机制：只要证明者能持续通过这些检验，验证就可以成立。

从分析角度看，zk-STARKs 的看点主要集中在以下几个方面：

• 透明性较强：不依赖传统可信设置，这也是外界持续关注它的重要原因之一。
• 更适合被放在隐私和链下场景中讨论：尤其在客户端证明效率成为关键指标时，更容易被拿来比较。
• 安全模型讨论度较高：从长期技术演进的视角看，市场通常会持续关注其安全特征以及可扩展空间。

也正因如此，当 Vitalik 提到链下 ZK 应用可能低估了 STARK 的潜力时，市场很快将焦点放在其在隐私、链下计算和客户端侧效率上的适用性，而不只是将其理解为某条 Layer2 路线之间的简单竞争口号。

该如何看待这次发言？更像技术路线讨论，而非项目层面的明确站队

整体来看，Vitalik 这次发言的核心仍然是链下零知识证明应用对 zk-STARKs 价值的重新认识。就内容本身而言，这更像是一种技术视角上的提醒，而不是对 zkSync、Starknet 或其他项目给出明确优劣结论。

市场反应较快，很大程度上是因为 zkSync 与 Starknet 分别代表了 zk-SNARKs 和 zk-STARKs 两条较有代表性的路线。在以太坊 Layer2 竞争持续推进的背景下，任何涉及底层证明系统的公开评论，都很容易被放大为赛道风向的信号。

如果从行业观察的角度来看，这次讨论真正值得注意的地方在于：随着零知识证明技术不再仅服务于链上扩容，而是逐步延伸到链下隐私、客户端证明效率等更广泛的场景，市场对不同技术路线的评价标准也可能随之变化。未来被讨论的，未必只是“谁更快”或“谁更省”，还包括谁更适合某类特定应用环境。

当然，技术路线存在差异，并不意味着项目结果已经提前注定。无论是 zkSync、Starknet，还是其他 ZK 赛道项目，后续表现仍会受到生态建设、开发者采用、用户活跃度、产品体验以及整体市场环境等多方面因素影响。

对于普通读者而言，这类信息更适合作为理解技术趋势和行业动态的参考，而不宜直接映射为单一市场结论。尤其在加密资产波动本就较大的环境下，阅读项目与技术相关信息时，也应留意价格波动、叙事切换和风险暴露带来的不确定性。

风险声明：本文仅供学习参考，不构成任何投资建议、交易建议或收益承诺。加密货币和迷因币价格波动较大，所有市场数据请以官方公告、交易所页面及实时行情平台为准。投资者应独立判断、谨慎决策，对自身行为负责。