加密经济不仅是技术变革，还需要投资智慧

对许多从事加密货币行业或对其感兴趣的人来说，适应这个领域并非易事。主要原因在于市场周期明显、波动剧烈。普通投资者在牛市中可能获得十倍甚至百倍回报，但在熊市中也可能损失惨重。无论是谁，只要进入加密货币领域，投资知识都是必修课。

当前熊市的主要原因是美联储加息导致的资金紧缩。主流借贷协议的收益率已经降至2%以下，而现实世界的美债收益率已超过3%。这促使机构投资者和稳定币项目将资金转移至购买国债。

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

看好以太坊zkRollup解决方案

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

以太坊联合创始人Vitalik Buterin表示，合并后以太坊的下一步是提高可扩展性。扩容是阻碍许多加密货币和区块链应用成为主流的核心问题。zkRollups通过将数百个交易捆绑并验证单个任务中的所有交易来实现扩容。

在Vitalik的支持下，Rollup已成为以太坊可扩展性的主流解决方案。Rollup分为乐观Rollup和zkRollup两种。主要区别在于交易有效性的保障方式。Optimistic Rollup使用欺诈证明，zkRollup使用零知识证明。

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

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

重新设计zkEVM的必要性

某些项目采用不同方法实现zkEVM。有的将字节码编译为微操作代码，使用STARK生成状态转移的有效性证明，并使用SNARK验证证明的正确性后提交到以太坊。有的方案将Solidity合约代码编译为中间语言Yul，再重新编译为专门设计的电路兼容字节码集。

这些系统是否已经足够好可以投入生产？我们是否需要重新设计更好的zkEVM？原则上，第1层链可以验证涵盖数千个复杂交易的简短"证明"，没有作弊可能。然而，在某些zkEVM测试网发布后，人们发现实际情况并不理想——处理几个交易需要几十分钟。

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

更快零知识证明的重要性

SNARK虽然简洁，但效率不如STARK。然而，随着新技术的出现，STARK也显得过时。由于速度是zkEVM的瓶颈，比较计算效率变得至关重要。STARK得到准线性的证明时间和验证时间，比SNARK快但明显慢于某些新技术。有新的零知识证明方案实现了线性证明时间和次线性验证时间，达到理论极值。这种方案是透明的，不需要任何可信设置，保持了最高级别的安全性。

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

独立数据可用层的必要性

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

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