看空zkSync？ V神：零知识证明应用低估了zk-STARKS潜力
以太坊创办人Vitalik Buterin昨(17)日稍晚在Web3社交平台Warpcast上发文感慨，表示链下ZK(零知识证明)应用程序低估了使用STARK的潜力：我认为链下ZK应用程序确实低估了使用STARK的潜力，包括对隐私充满极大要求的用例。目前，STARK的容量小于100kB，对于链下用例而言，与使用STARK节省的客户端证明时间相比，这种宽带量简直微不足道。
V神看空zkSync？
V神为何会突然有此感慨？这不禁让人想到在昨日正式上架币安等交易所的以太坊Layer2网络zkSync。
zkSync是以太坊的第二层扩容解决方案，它采用了zk-rollups在链下打包交易，并使用零知识证明(ZK)在链上对其进行欺诈验证。但值得注意的是，同为采用zk-rollups的Layer2网络，zkSync不同于已经发币的Starknet，它在零知识证明系统上采用的是zk-SNARKs技术，而Starknet采用的则是zk-STARKS技术。
因此，V神或许不是在针对zkSync发表评论，只是针对zk-STARKS技术提出看法；但也有可能是在暗示zk-STARKS技术更有发展潜力也不一定。
撰稿当下，zkSync代币$ZK昨日上架币安后就持续阴跌，现报0.1999美元，低于此前市场预测的盘前价格。
zk-SNARKs与zk-STARKS有什么区别？
zk-SNARKs与zk-STARKS均属于零知识证明技术，允许一方能够向另一方证明其声明是真实的，而无需透露任何其他信息，有利于增加隐私和可扩展性。不过，二者仍然存在以下区别：
zk-SNARK：简洁+非互动性
zk-SNARK是一种简洁、非互动的零知识证明技术，全名为Zero-Knowledge Succinct Non-interractive Argument of Knowledge，它具备以下特征：
zero-knowledge：零知识证明，在不暴露隐私的情况下向对方证明一件事情，让资料「可用而不可知」。
succinct：简洁性，要证明的东西占用的空间很小，而且可以快速验证(几毫秒)。
non-interactive：非交互性，意味着证明者和验证者之间不需要有交集即可快速地得到验证结果。
zk-SNARK的简洁性和非互动性，是相对于传统的零知识证明方案而言的。简单来说，传统方案是互动式证明，即示证者(宣称某一命题为真)和验证者(确认该命题确实为真)之间反复确认，你可以理解为示证者不断向验证者询问「是或不是?」，然后验证者不断给出回答，直到最后碰出一个正确答案来，所以效率很低。
zk-SNARK的解决方案则不需要双方反覆确认「是或不是」，而是提前先搞一个正确答案，以此产生公共参考字串(CRS)，然后所有的示证者都可以直接访问它。但是，公开参考字串通常由一个小团体来保管，因此有泄漏的可能性，从而被恶意利用，例如创建虚假证明。这牺牲了安全性为代价。
zk-STARK：机率证明+缓冲时间
zk-STARK是成立于2017年12月的StarkWare团队开发的，它是zk-SNARK的替代解决方案。
zk-STARK虽然是一种互动式证明，但它是一种巧妙的互动式证明——通过杂凑函数碰撞(一种机率证明的方式)来保证安全性，因此也实现了高效证明。简单来说就是，先把问题用密码学的方式打碎，然后验证者随机向示证者提出几个问题，如果几轮下来，示证者都给出准确的回答，那么验证就通过了。
zk-STARK直接利用产生随机性的参数来验证，不需要任何第三方的「答案系统」，因此透明度大幅提高，并且在理论上，量子电脑对其的暴力破解也是无效的。因此相对而言更加安全。
你可能感兴趣的文章
-
币安新币挖矿上线ZK零知识证明项目Manta！BNB涨破320美元
交易所币安（Binance）昨晚公告上线其第44期「新币挖矿」项目：隐私零知识证明（ZKP）项目Manta（MANTA），用户可在今（16）日8:00后将BNB和FDUSD投入矿池中参与挖矿，BNB…
2024-01-16 -
联合国计划以ZK零知识证明打造去中心化数字身份DID保护难民安全
联合国难民署（UNHCR）正在研究应用零知识证明（ZK-proofs）技术，以建立一套去中心化数字身份（DID）机制来保护难民,旨在帮助快速且安全地验证难民身份，尤其在跨越国境时…
2023-12-23 -
Optimistic证明 Vs. ZK证明：未来谁将成为主流
optimistic证明（又名欺诈证明或错误证明）是结算rollup状态更新的主要可行方法,本文将详细介绍Optimistic证明系统的发展过程，当前格局以及未来发展趋势,…
2025-04-18 -
币安上线代币ZK、开启空投计划！超5万名用户可获得
交易所币安将在今日（17日）17:00上线ZKsync原生代币ZK，并且似乎是为了平息用户怒火，币安计划向符合资格的用户发放200ZK,另外ZK空投申领已于今日15:00开放，用户可以至申…
2024-06-17 -
ZKsync回应空投质疑：交易为0的空投地址为测试地址，代币将销毁
交易量对于分配规模和价值缩放没有影响,ZKsync回应空投质疑：交易为0的空投地址为测试地址，代币将销毁…
2024-06-14 -
Meme币拖累币圈创新？ V神建议多探索ZK技术、去中心化社交、预测市场等
以太坊共同创办人Vitalik Buterin昨（12）日在社群平台X回应，阐述了加密货币领域未来可能的发展方向，其中包括ZK技术、p2p支付、预测市场……
2024-06-14
