Boojum 升級為 zkSync 帶來了哪些提升？

撰文：Haotian

近期， @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 升級後得到了充分證明。