注：原文来自@tmel0211发布长推。
近期， @zksync 完成了Boojum升级，也正是基于此前提，zkSync才抗住了SYNC铭文行动的压力测试。不过， Boojum却被市场低估了。
Boojum到底带来了哪些性能提升？被诟病的DeFi稳定性问题能解决吗？接下来，谈谈我的理解：
1）Boojum升级，简单理解，会让zkSync完成SNARK向STARK证明的过渡。工作流程大致如下：
当一个Batch封装完成后，这些交易会被分解成多个特定电路，然后并行高速处理生成大量STARKs，最后被聚合成一个STARK证明。最后再把该STARK证明封装成一个SNARK证明中，并提交到主网进行验证。
这样混合使用STARK和SNARK，既确保了能高效处理大量交易，同时又降低了提交到主网的数据大小（SNARK较简洁），与主网更加兼容。
而同时采用两项证明方式，意味着其Prover系统的高级压缩技术、硬件加速技术、算法优化、批量处理聚合效率、内存和存储优化等都会有重大性能提升；
2）据 @0xtaetaehoho 推文中的阐述，Boojum更新前平均每笔交易数据量为211bytes，而升级后可以减少到大约68bytes，压缩技术的提升会直接大幅提升layer2每笔Batch的交易量，进而使得TPS大幅提升（450左右），同时单笔交易均摊的Gas成本降低（65%左右）。
原理不难理解，layer2向主网calldata提交状态证明数据，由于主网存储数据有限，layer2的STARK并行处理能力和SNARK证明压缩处理技术决定了单次Batch可处理的交易量以及Gas水平；
3）而之前ZK-Rollup在处理较低频DeFi交易时存在不稳定性问题，它的原生倾向性不利于DeFi稳定。比如DeFi多变的价格需要多个Oracle喂价，如果两笔交易没有被Batch到同一个状态下，产生的交易磨损就会增大。
现在layer2单笔Batch的交易量大幅提升了，区块内可容纳更多的Oracle数据状态更新。DeFi稳定性问题也会得到有效解决。
恰如zkSync官方 @anthonykrose 所言，无论一个区块内包含多少个预言机更新，整个区块状态可以被作为一个整体来处理和记录，且只需要支付一次状态写入的成本。这对于DeFi 应用在ZK-Rollup链上的低费率、高效率和稳定性都大有裨益。
按理说，Boojum的升级应该算zkSync里程碑式的进步。
一方面验证了ZK系统交易量级越大，Gas费越低体验越好的推论，另一方面也证明了链下Prover系统的压缩技术、硬件加速等计算资源的高效应用和性能提升，会给ZK系统带来无穷的想象空间。
大家都在期待坎昆升级后以太坊主网Blob区块容量能降低layer2 Batch交易的成本，而今ZK系统自身的技术优化已经把ZK系Rollup和OP系Rollup拉到了同一条水平线。
关键是，ZK-Rollup要比OP-Rollup“主动”多了。一直叙事的ZK-Rollup技术优势，在Boojum升级后得到了充分证明。
Reference：关于ZK硬件加速、算力优化等内容相对抽象，具体可参看以下研报：
ZKP（零知识证明）硬件加速赛道 2 万字研究报告：ZK Rollup 的速度密码？全景式拆解其发展背景、算力需求、硬件策略、市场现状与未来潜力
微信扫一扫 
