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

昨晚，以太坊创办人 Vitalik Buterin 在 Web3 社交平台 Warpcast 上发了一段话，聊的是链下 ZK（零知识证明）应用可能低估了 STARK 的潜力。按他的意思，在一些对隐私要求更高的链下场景里，STARK 方案的发挥空间，或许比目前市场普遍认知的更大。

Vitalik 的原话是这样的：“我认为链下 ZK 应用程序确实低估了使用 STARK 的潜力，包括对隐私充满极大要求的用例。目前，STARK 的容量小于 100kB，对于链下用例而言，与使用 STARK 节省的客户端证明时间相比，这种宽带量几乎可以忽略不计。”从这段话来看，他讨论的重点其实是链下 ZK 应用的技术权衡，而不是直接针对某个项目释放明确利空信号。

这番表态随后迅速引发讨论。考虑到 zkSync 代币刚在昨日上线币安等交易所，不少人自然把这段发言与 zkSync、Starknet 以及不同 zk-rollup 技术路线联系到一起。这在技术圈里并不罕见——一个技术观点，放到市场语境里，很容易被解读成“站队”或“看空”。但 V 神这次，真的只是在聊技术本身。

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 在昨日上线币安后延续回落走势，现报 0.1999 美元，低于此前市场预测的盘前价格。不过也要看到，代币短线价格波动通常会同时受到流动性释放、市场情绪、预期兑现和筹码结构等多重因素影响，单一技术表态未必足以解释全部变化。

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 赛道项目，后续表现仍会受到生态建设、开发者采用、用户活跃度、产品体验以及整体市场环境等多方面因素影响。

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