加密经济不仅仅是技术革新

加密经济不能简单视作一场技术变革。许多从业者或爱好者难以适应的主要原因是这个领域周期性太强,波动剧烈。普通投资者在牛市可能获得十倍甚至百倍收益,但熊市也可能损失惨重。无论是谁,进入加密领域都需要学习必要的投资知识。

本轮熊市主要由美联储加息和资本紧缩引发。去中心化金融(DeFi)已不再有20%的惊人收益率,目前主流借贷协议收益率普遍低于2%。然而,美国国债收益率已超过3%,这促使机构投资者和稳定币项目方不断将资金从加密市场转移至传统金融市场购买国债。

自上世纪80年代以来,美联储共经历6次加息周期,每次持续1-3年,平均加息10次。加息节奏越慢,效果越差,通胀越难以控制。例如2015-2018年的第6次加息周期相对缓慢,以原油为主的原材料价格不降反升。今年10月后原油价格持续坚挺,这可能促使美联储继续采取强力加息政策。毫无疑问,全球股市和加密市场在2023年将继续面临机构资金撤离的压力,熊市底部尚未到来,不宜轻易抄底。

以太坊zkRollup方案值得期待

抛开资本市场大周期,单从加密技术变革及可能引发的Web3.0浪潮来看,以太坊及其zkRollup扩容方案,尤其是基于新一代zkEVM的zkRollup方案值得期待。

Vitalik Buterin在9月30日的一次会议上表示:"合并后,以太坊的下一步是可扩展性。"扩容是阻碍许多加密货币和区块链应用成为主流的核心问题。众所周知,zkRollups能够通过将数百个交易打包并验证单个任务中的所有交易来实现扩容。

在Vitalik的大力支持下,Rollup已成为以太坊主流扩容方案。Rollup方案可分为乐观Rollup和zkRollup,主要区别在于交易有效性的保障方式。乐观Rollup使用欺诈证明,zkRollup则采用零知识证明。

相比乐观Rollup,zkRollup采用零知识证明进行数学验证,具有更多技术优势。某些项目已在这一领域进行了多年探索。

然而,以太坊虚拟机(EVM)并非为支持零知识证明而设计,这使得构建兼容Solidity且支持零知识证明的虚拟机非常困难。为解决这一问题,多个团队正在开发支持零知识证明计算且兼容Solidity的虚拟机,称为zkEVM。与普通虚拟机不同,zkEVM可以证明执行的正确性,包括执行过程中使用的输入和输出的有效性。

zkEVM的重新设计

某些项目采用不同方案实现zkEVM。有的将字节码编译为微操作代码,使用STARK生成状态转移的有效性证明,再用SNARK验证证明的正确性后提交到以太坊。另一些项目则采用类似但略有不同的方法。

这些系统是否已经足够完善可以投入生产?我们是否需要重新设计一个更好的zkEVM?理论上,zkRollup可以使用零知识协议来证明和聚合所有交易,让一层链验证涵盖数千个复杂交易的简短"证明",没有作弊可能。然而,某些zkEVM测试网发布后,人们发现实际情况并不理想 - 处理几个交易需要几十分钟。

有团队通过优化zkEVM结构,重新设计了更高效的zkEVM。主要改进在于采用了设计良好的分层结构,压缩了电路中冗余空间和提交多项式的大小,最终缩短了生成证明所需的时间。同时,其排序器运行以太坊节点,接收用户交易,生成新状态和特殊的zkEVM友好跟踪。证明生成器从排序器获取这种跟踪,并在zkEVM中使用多个小表(而非一个庞大的表)处理,大大减少冗余并提高生成证明的速度。

更快的零知识证明的重要性

虽然SNARK简洁,但效率不如STARK。然而,随着新技术的出现,STARK也显得过时了。由于速度是zkEVM的瓶颈,比较计算效率非常重要。STARK实现了准线性的证明时间和验证时间,比SNARK快但明显慢于新兴技术。某些新技术是世界上首个实现线性证明时间和次线性验证时间的零知识证明,已达到理论极值。它保持透明,无需任何可信设置,从而保持最高级别的安全性。

这种新技术基于线性时间可编码的代码,在所有现有零知识证明方案中速度最快。此外,由于使用了递归技术,其证明大小减少到现有方案的1/7,这使得终端用户只需花费约一美分就可以享受以太坊二层服务。

独立数据可用层的必要性

目前的zkRollup主要关注减少验证交易的计算负担。这对以太坊尤为重要,因为验证复杂智能合约的执行成本很高。然而,以太坊节点仍需同时存储原始交易数据。这并不明智,因为以太坊更适合作为共识层而非存储层,意味着扩容瓶颈仍然存在 - 当节点带宽和存储不足(而非计算不足)时,它们就会受到影响。

这就是为什么以太坊需要一个独立的数据可用层来保存这些原始交易数据,以防止由于zkRollup服务器或以太坊节点故障而导致整个智能合约冻结。更重要的是,它将二层成本与一层解绑,并进一步降低超过一半的基于zkEVM的zkRollup交易成本。