ROL:风口上的ZK，预期拉满的资本游戏

撰文：0x5willows，深潮TechFlow

电影《让子弹飞》中有这样一个情节，为了让人相信自己没有多吃一碗凉粉，六子剖开肚子，以性命为代价证明了自己的清白。

在这里，六子是证明者，围观群众是验证者，六子证明的方式是看腹中究竟有没有多一碗凉粉。然而，这种证明方式的代价是六子的生命。

上述例子就是一个典型的证明难题。

第一，若要保证验证的有效性，证明者必须分享知识，证明者若要通过验证，需要将知识告知验证者，而告知知识往往是有代价的。

第二，若验证无效，验证者将面临欺诈风险。举个例子，在法庭上，如果被告能在开庭前获得控方律师所有的提问，那么他极有可能成功编造出一个完美的故事过对方。

最初的解决办法是，引入第三方，将验证过程公开化，以此调和知识所有权与使用权间的矛盾。然而，即便如此，对于具有排他性的知识，一旦出让使用权，也即丧失了所有权。有没有不需要动用知识的验证方式呢？

零知识证明的诞生

时间来到1985年，S.Goldwasser博士毕业后来到MIT，与S.Micali，Rackoff合写了一篇载入史册的经典论文《交互式证明系统中的知识复杂性》，零知识证明问世。

Bitfinex Alpha：通胀减弱债务危机隐现，目前可能正处于早期牛市的风口浪尖:5月16日消息，根据Bitfinex Alpha的最新报告，美国通胀减弱，但正面临越来越令人担忧的债务上限危机，市场信心的任何减弱都可能导致更高的利率。此外，美国企业和家庭的信贷条件都在继续收紧，再加上信贷需求的减少，可能会延长对整体信贷供应的限制。

在此情况下，比特币价格一直在下滑，但在BRC-20相关活动的推动下，交易费用仍然很高。交易活动的增加和更高的交易费用对其他网络活动指标施加了压力。与比特币网络交互的活跃地址和新地址正在接近历史低点，这表明更高的交易费用可能会劝阻其他比特币网络用户。另一方面，比特币费用比率倍数(FRM)，即矿工从新比特币发行中获得的收入与交易费用的收入之比，出现了急剧下降。这也有利于比特币网络的健康发展，提高了安全性，并表明矿工的收入来源从比特币发行转向交易费用。[2023/5/16 15:05:34]

此后，证明过程无需“知识”获得了理论支撑，简单来说，通过零知识证明，既能保守秘密，又能让别人相信你。

只是由于效率和适用性上的短板，很长一段时间内，零知识证明仅仅停留在学术理论层面，或者只能用于特定项目，直到邂逅区块链。

零知识证明两大关键词：保守秘密，即“不泄露信息”；让别人相信你，即“证明论断有效”。

现场 | 智慧城市联盟金融科技委员会主席陈家豪：区块链风口正从炒币转向踏实做事 ?:金色财经现场报道，2018年8月10日，在2018纷智金融科技峰会（香港）上，智慧城市联盟金融科技委员会主席陈家豪指出：在还没有互联网的年代，香港就已经是信任机制的中心了。随着中国的互联网、区块链产业变得更为成熟，香港还是信任的门户。现在阿里巴巴也来到香港，用区块链做汇款，区块链的风口在过去的一年时间里，先吹了炒币的风，现在再吹的是比较踏实的风。[2018/8/10]

这两个特点恰好被区块链所需要：

隐私：区块链网络的共识要求一切公开透明，隐私保护成为问题。

在隐私场景中，借助零知识证明“不泄露信息”的特性，可以在不泄漏交易的细节的情况下证明区块链上的资产转移是有效的。

扩容：区块链去中心化的特点，使验证成为不可承受之重，轻量化的证明成为刚需。

在扩容场景中，主要利用“证明论断有效”这个特性，链上资源是有限的，所以我们需要把大量的计算迁移到链下进行，零知识证明正好可以证明这些在链下发生的动作是可信的。

早在2016年，专注于链上隐私保护的ZCash就正式发布，通过零知识证明，ZCash完成交易验证，而无需公开全部交易信息。不过，经过多年发展，ZCash仍是不温不火。

区块链风口，BAT都做了什么？:\t凤凰网网科技消息，在各种3点钟群遍布世界各地，商业BP里充斥着发行代币，作为巨头，BAT却在此番风口中显得低调了许多。事实上，BAT早就已经开始布局区块链，而且主要还是基于区块链技术层面的布局，与现在大热的虚拟货币、ICO无关。由于区块链的技术和场景探索尚处于早期，还未迎来真正爆发时机。

无论是马化腾、马云还是李彦宏，都认可了区块链技术革新，并在这个战场开始投入精力。虽然战火还未燃起，不过在这短兵交接的前夜，三大巨头做了哪些军备竞赛？马化腾近期在两会上发表了自己对于区块链的看法，“区块链是一个好的技术，但还处在发展的早期，需要建立有效的应用模式，腾讯也在积极探索区块链在各个场景中的应用。”相比腾讯和百度两家集中在金融领域，阿里对于区块链技术的应用场景要更广泛，尤其是在商品供应链和物流方面。由于金融和电商领域的先天优势，阿里在区块链技术上相比百度和腾讯也更加突出。百度在AI上All in了资源，在区块链的布局上，似乎比AT要慢了一些，目前主要集中在了金融领域。[2018/3/17]

原因也很简单，尽管隐私很重要，但当前的区块链用户，还远没有建立广泛而强烈的隐私意识，不敢露富，还不敢露穷么？

目前，隐私并不是刚需，扩容才是，特别是对于以太坊而言。

USDT频遭质疑 挑战者TUSD站上风口:据早先报道报道，美国交易所Bittrex3月6日上线了锚定美元的稳定货币Trueusd(TUSD)，试图挑战USDT。TUSD是第一个独立验证的，资产支持的稳定加密货币。USDT作为锚定货币的先驱，占得所有先机，哪怕丑闻不断，也仍是市值第一的锚定货币。而TUSD尽管在资金监管，运作机制上更加公开透明，但以其目前的热度和市值规模，很难对USDT造成大的冲击。但如果USDT仍重复过去的故事，丑闻缠身，彻底失去信任，那TUSD或者DAI等此类更透明的锚定币取代USDT终究只是时间问题。[2018/3/13]

ZK与Rollup的结合

从底层协议来看，链上交易的成本必然高昂，因为要实现充分的去中心化和安全，必须有足够多的节点进行重复验证。

随着区块链应用的扩展，同步一个节点的时间越来越长，越来越庞大的链上数据量拉高了硬件的要求，大多数家用计算机甚至连节点的基本要求都达不到，像以太坊这样用途广泛的公链，其节点数量也只有一万余个，且大多数被托管在亚马逊AWS上，与去中心化的初衷背道而驰。

相较于隐私保护，区块链的可扩展性，显然更有意义。

只要实现了可扩展性，那么就既可以维护“去中心化”的正确，同时可以降低gas。

新京报：时间将检验区块链是风口还是漩涡:新华网援引新京报消息，不同于此前人民日报对于区块链的积极态度，报道认为很多区块链从业人员对这个概念不甚了解，但不懂装懂，甚至上升值哲学乃至信仰，而时间将检验流行的区块链应用是“天才发明”还是“庞氏局”。[2018/2/28]

2017年8月，以太坊联合创始人VitalikButerin和JosephPoon，共同提出了初代扩容解决方案Plasma。

然而，Plasma无法提供和主链同等的数据可用性和安全性，很快遭遇全面溃败，开发者又将眼光放在了Rollup技术上。

Rollup的核心理念其实很简单，就是将原本散布在区块中的大量交易数据，打包成“浓缩”的交易，发布到链上。为确保其中每笔交易的有效性，各种Rollup方案设计了不同的机制以确保整个过程的安全性与Layer1保持一致。

在这个方向上，主要分为ZKRollup和OptimisticRollup两种方案，前者以零知识证明的密码学技术确保安全性，而后者则继承了Plasma的惩罚机制，节点一旦作恶，将付出极大代价。

2021年9月1日，基于OptimisticRollup的以太坊扩容网络Arbitrum宣布，主网公测版本正式上线，标志着OPR先ZKR一步，正式登上舞台。

相较于依靠惩罚机制的OPR方案，凭借数学和密码学的ZKR显然更能够做到去信任化，不过，Rollup首先要克服的仍是技术难题，即EVM的兼容性问题。

如果将EVM视为一台计算机，它在给定特定输入的情况下，计算智能合约的操作的输出结果。包括Arbiturm，Optimism在内的OptimsticRollup解决方案都有EVM兼容的虚拟机，允许其能够处理在以太坊主链上发生的所有操作。

反观ZKRollup，由于在EVM设计之初，开发者完全设想过之后可能用到ZK技术，于是ZK-EVM就成为ZKRollup第一个需要攻克的难关。

开发人员面临两种选择，设计一种支持现有EVM的ZK指令集，或者重新设计一种对零知识证明友好的虚拟机，前一种路线的代表是Hermez和以太坊基金会的AppliedZKP，后者主要是zkSync和Sin7Y。

在L2的大战场之外，ZK-EVM成为了各大技术团队竞相角逐的小战场。

2021年8月，Polygon以2.5亿美元的价格收购了致力于开发ZK-EVM的HermezNetwork。

今年4月，专注于zkEVM解决方案的zkRollupScroll宣布完成3000万美元的A轮融资，Scroll团队将与以太坊基金会的AppliedZKP团队合作，推出字节码层面的zkEVM，并探索加速ZK证明生成的硬件，构建去中心化证明系统。

预期拉满

在头部资本中存在一种共识，ZK是一种具有终局性的技术，未来可能会成为区块链世界中普适性的存在。

随着Paradigm、a16z和红杉等大机构加紧布局ZK，市场上对ZK的FOMO情绪被引爆，一级市场上ZK项目的估值也逐渐向市梦率前进。

2018年1月，ZK-Rollup开发团队StarkWare在种子轮获得600万美金融资，投资人包括以太坊创始人V神、Paradigm、Pantera、PolyChain等一众明星机构。

2021年11月，StarkWare在C轮融资中筹集了5000万美元，估值达20亿美元，红杉资本领投，Paradigm、三箭资本、AlamedaResearch等参投。

2022年3月，StarkWare筹集新一轮融资时，一级市场报出的估值已达60亿美元。

另一大ZK明星，zkSync背后的母公司MatterLab于去年11月完成B轮5000万美元融资，a16z领投，Placeholder、Dragonfly、1kx等跟投。

由于ZK领域尚有大量理论未得到实践，缺少成功的案例和优质代码库作为参考，学习曲线非常陡峭，项目的开发难度极高，高门槛无疑增加了ZK项目的含金量，然而，当前ZK赛道的仍然有过热的风险。

长期关注ZK市场的投资人Evans告诉深潮TechFlow，这是一种把预期打满的一个情况，当前许多公链都尚未突破StarkWare的FDV，在ZK还没有具体生态的时候，达到这样的估值，实际上是短期内预期打进去的结果，后续想要继续维持这样的估值，或许有一定的难度。

另一位投资人发现某ZK项目在一年不到的时间内从最初4000万美元估值涨到了4亿美元，直呼“市梦率，投不起”，哪怕只是ZK生态系统中的DEX，一级市场估值有的也在2亿美元以上。

不过，一级市场上对ZK的追逐，也不一定是坏事，在资本加持下，大量优秀的开发人员投入到相关研究中，加速EVM兼容落地。

以ZKSync1.0为例，包括以太坊基金会研究员JustineDrake在内的大多数人，都认为实现ZKSync2.0至少需要等到22年底。然而，今年2月份ZKSync2.0测试已正式上线，成为以太坊测试网上首个兼容EVM的ZKRollup。

但是，ZKRollup的头顶，仍然飘荡着流动性割裂、可组合性降低，以及中心化风险等乌云，ZK有巨大的潜力，但是还远远谈不上广泛应用，当前市场上所说的ZK，更多指代ZKRollup。

从本质上看，ZKRollup中的零知识证明，只是将可验证的计算外包，也就是通过第三方输出一个计算完整性的证明。虽然ZKRollup缓解了L1可扩展性的不足，但是它同样面临着计算成本的压力。

当前，市场上还没有专门用作零知识证明的硬件，在以太坊路线图中，未来将集成ZKEVM，矿工需要生成证明，就必须需要一枚可以快速生成零知识证明的芯片。

据Paradigm预测，未来“ZK矿工”的市场规模有望媲美PoW挖矿市场，其中对ZK硬件加速最重要的技术是FPGA，GPU成本过高，并且能耗太大，ASIC从设计、制造到部署，通常需要12到18个月或更长的时间，相比之下，FPGA供应链更轻便灵活。

嗅到“投资或投机预期”的弄潮儿已经开始下场布局，比如某“加密老人”永远站在风口，开始下场去做ZK硬件的项目；也有VC开始试图撺掇有硬件创业经验的人来做ZK硬件项目，亲自孵化……

就这个角度而言，即便只是作为Rollup存在的ZK，它的想象力也远谈不上被穷尽。其次，ZK要突破Rollup的叙事框架，扩展在隐私和信任方面的用例，或许还需要等待Web3世界个人主权意识的崛起。

总体而言，ZK是具有终局性的技术，其意义甚至超越了区块链，对ZK寄予厚望的加密行业已经砸下上百亿美金，期待ZK帮助区块链完成蜕变。

假如，ZK发展受阻或者被证伪，那么区块链的发展又将经历“叙事破灭”的寒冬，这是一场“只许成功，不许失败”的资本豪。

ZK，雄起！

标签：区块链ROLROLLUSD区块链存证怎么操作ROL币TROLLBNBbtc交易平台usdt

比特币交易所热门资讯