CRV:零知识证明的技术路径之争：zk-SNARK和zk-STARK谁更优？_3CRV币

作者:Chloe

Crypto行业被广泛关注的零知识证明（Zero—Knowledge Proof）技术，并非是这几年刚冒出来的新技术，而是在1980年就被数学家S.Goldwasser、S.Micali及C.Rackoff提出。

零知识证明涉及一系列步骤，可以实现密码学中的「可用而不可知」。

而区块链有着公开透明、不可篡改等特征，意味着加密投资者的链上资产及交易记录是没有隐私可言的，于是零知识证明技术被引入了区块链，当中以zk-SNARK和zk-STARK最为关注。

zk-SNARK被项目方采用得最多，zk-STARK则被密码学专家认为优于ZK-SNARK。那么综合技术与实际应用，二者谁更优？

zk-SNARK：简洁 + 非交互性

Alessandro Chiesa等人在2012年开发了zk-SNARK协议，这是一种简洁化、非交互式的零知识证明技术，全称是zero-knowledge succinct non-interactive arguments of knowledge，可以拆解成三部分来理解：

零知识证明技术公司Proven完成1580万美元融资:金色财经报道，Proven是一家提供零知识证明技术以使加密货币公司能够证明偿付能力的公司，完成1580万美元种子轮融资，Framework Ventures领投，Balaji Srinivasan、Roger Chen和Ada Yeo等参投。[2023/3/9 12:52:34]

zero-knowledge：

零知识证明，在不暴露隐私情况下向对方证明一件事情，让数据「可用而不可知」。

succinct：

简洁性，要证明的东西占用的空间很小，而且可以快速验证（几毫秒）。

non-interactive：

非交互性，意味着证明者和验证者之间不需要有交集即可快速地得到验证结果。

zk-SNARK的简洁性和非交互性，是相对于传统的零知识证明方案而言的。

Wemade拟推出采用零知识证明技术的以太坊Layer 2平台:金色财经报道，韩国游戏巨头Wemade正在进军“以太坊Layer 2”市场，作为第一步，该公司将在3月上线Layer 2平台测试网，该测试网将采用其去年12月成立的零知识证明研究中心内部研究的技术。Wemade计划在6月份发布该平台的正式版本，其认为将区块链平台“Wemix 3.0”与以太坊Layer 2平台连接起来将有助于扩展Wemix生态系统。

此前去年12月消息，WeMade旗下链游平台代币WEMIX遭多家韩国交易所下架。[2023/1/5 9:54:11]

简单来说，传统方案是交互式证明，即示证者（宣称某一命题为真）和验证者（确认该命题确实为真）之间反复确认，你可以理解为示证者不断向验证者询问“是或不是？”，然后验证者不断给出回答，直到最后碰出一个正确答案来，所以效率很低。

徐明星：以太坊2.0和零知识证明技术将使以太坊成为真正的区块链操作系统:金色财经报道，OKX创始人徐明星发推特表示，2023年将非常有趣，以太坊2.0和零知识证明技术将使以太坊成为真正的区块链操作系统。[2022/12/28 22:11:35]

zk-SNARK的解决方案则不需要双方反复确认“是或不是”，而是提前先搞一个「可信初始化」，从而生成公共参考字符串（CRS），然后所有的示证者都可以直接访问它。

打一个通俗的比方。交互式证明相当于老师要批改每一个考生的每一道考题，效率很低，但正确答案只掌握在老师这边，基本不存在有人偷答案的情况。

但zk-SNARK直接上传了正确答案，然后让考生自己对答案（把自己解的某道题发送给后台系统，就会直接得到正确与否的最终结果），非常高效，代价是答案有可能被泄露，虽然这个答案系统是经过加密的。

Trail of Bits计划利用零知识证明重塑漏洞披露流程:安全研究机构Trail of Bits宣布，正在与约翰霍普金斯大学的Matthew Green合作，使用零知识证明（zero-knowledge proofs）技术为科技公司和安全漏洞研究人员建立一种可信的基础设施，在新的合作方式之下，双方在针对漏洞披露（Vulnerability Disclosure）的流程中可进行合理的沟通，而不必担心受到破坏或歧视。

在接下来的四年里，Trail of Bits 将会进一步推进零知识证明的理论极限，并为安全漏洞研究人员提供相应的软件，用以产生漏洞可利用性的零知识证明。[2020/5/22]

因此针对zk-SNARK容易被泄露的问题，有很多围绕着提高「答案系统」安全性的解决方案，不同采用zk-SNARK的项目方的方案各有不同。如zCloak钱包是直接把算法以纯文本的形式发给用户，用户下载到本地去做计算（所以即使断网也依旧能完成工作）。

动态 | 全新零知识证明论文被IEEE学术会议收录 或能抵抗量子计算机:由四位研究人员共同发表的论文透明多项式委托及其在零知识证明中的应用被第 41 届电气电子工程师学会安全隐私学术会议（IEEE S&P 2020）接受，其作者之一的Yupeng Zhang在推特上公开了该消息，他来自于德克萨斯州农工大学，另外三名作者来自于加州大学伯克利分校，分别是Jiaheng Zhang、Tiancheng Xie和Dawn Song （宋晓冬），宋晓冬教授也是区块链隐私计算平台Oasis Labs的创始人。据Yupeng Zhang介绍，该论文提出了一个全新且透明的零知识证明机制，可以提供非常快的验证时间，也不需要可信设置（trusted setup）。论文中介绍到，该零知识证明机制仅使用了轻量级的加密算法比如抗碰撞的哈希函数，所以也可能是量子安全的。[2019/12/26]

zk-STARK：概率证明+缓冲时间

zk-STARK是成立于2017年12月的StarkWare团队开发的，它是针对zk-SNARK的替代解决方案。研发历时一年多，经过无数次迭代才彻底搞定，已经到2019年了。

zk-SNARK是提前生成公共参考字符串，用非交互式证明的方式提高了证明效率，但也留下了隐患。zk-STARK虽然是交互式证明，但它是一种巧妙的交互式证明——通过哈希函数碰撞（一种概率证明的方式）来保证安全性，因此也实现了高效证明。

这个思路直接借鉴自2015年推出的交互式预言机证明（IOP）技术，简单来说是先把问题用密码学的方式打碎，然后验证者随机向示证者提出几个的问题，如果几轮下来，示证者都给出准确的回答，那么验证就通过了。

所以zk-STARK同样也只需要极少的计算资源就可以完成证明，但是它更安全，不存在答案泄露的风险。并且为了进一步确保安全性，还设置了争议时间延迟（DTD）来作为缓冲。

  zk-SNARK和zk-STARK的区别

1.透明度

zk-SNARK的公共参考字符串通常由一个小团体来保管，因此有泄露的可能性，从而被恶意利用，如创建虚假证明。

zk-STARK则直接利用生成随机性的参数来验证，不需要任何第三方的「答案系统」，因此透明度大幅提高。

2.抗量子计算机攻击

zk-SNARK未来会轻易被量子计算机暴力破解（通过分解计算从公钥中提取私钥）。当然，量子计算何时到来还是个问题。

zk-STARK采用的是哈希函数碰撞的方法来证明，理论上量子计算机的暴力破解是无效的。

3.可扩展性

zk-SNARK的证明在链上更具可扩展性（生成的证明的字节数更小），zk-STARK在纯链上似乎没有优势。

StarkWare官网宣称是最快的，可能是因为zk-STARK允许链下进行大规模计算和存储，然后在链上完成验证，因此可扩展性显著提升（甚至可以提高10倍），而成本显著降低。

总结

zk-SNARK技术被采用得最多，尤其是在以太坊扩容场景中。zk-SNARK主要是围绕「隐私保护」去做身份、支付、DeFi、资产证明等各种应用。

zk-STARK虽然也在发展之中，但技术尚不成熟，至少在通用性上受限，所以我们看到大多是围绕着「可扩展性」去做各种应用。

不过据StarkWare团队在2022年的说法，已经解决了可扩展性，该把目标瞄准「隐私保护」了，而方式是通过StarkNet的Layer3以及Layer4中以分形分层的方式解决，这似乎与zk-STARK证明系统本身没有直接关系。

至少就目前而言，大多数以太坊Layer2项目(zkSync、Aztec、Loopring、Scroll等)都采用的是zk-SNARK技术路线，除了通用性上受限，还有一个原因是普遍反馈说zk-STARK的开发难度过大……

当然长远来看，zk-STARK可承载的运算量更大，可能更有前景。

总的来说，zk-SNARK和zk-STARK的关系，?有些像Optimistic rollups和ZK rollups的关系，前者短期利好，后者长期利好。

链茶馆

个人专栏

阅读更多

金色财经 子木

金色早8点

去中心化金融社区

虎嗅科技

区块律动BlockBeats

CertiK中文社区

深潮TechFlow

念青

Odaily星球日报

腾讯研究院

标签：NAR区块链ETHCRVExtra Ordinary Coin区块链的核心是什么2gether3CRV币

AVAX热门资讯