文章總結：
近期，@zksync 完成Boojum 升級，使zkSync 抗住了SYNC 銘文行動的壓力測試。此升級帶來效能提升，解決了DeFi穩定性問題。升級後，zkSync能夠使用STARK和SNARK混合，提高交易處理效率並降低主網資料大小。 Boojum的升級也將每筆交易資料量減少至68bytes，大幅提升layer2每筆Batch的交易量，提高TPS，降低Gas成本。此外，升級後的zkSync也解決了DeFi穩定性問題。 Boojum升級可算zkSync里程碑式的進步，提升了ZK-Rollup 和OP-Rollup的水平並且證明了ZK-Rollup的技術優勢。
撰文：浩天
近期，@zksync 完成了Boojum 的升級，也正是基於這個前提，zkSync 才抗住了SYNC 銘文行動的壓力測試。然而，Boojum 卻被市場低估了。
Boojum 到底帶來了哪些效能提升？被詬病的DeFi 穩定問題能解決嗎？接下來，說說我的理解：
1）Boojum 升級，簡單理解，可以讓zkSync 完成SNARK 向STARK 證明的模板。工作流程大致如下：
當一個批次封裝完成後，這些交易會被拼接成多個特定電路，然後批量高速處理產生大量STARK，最後被聚合成一個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餵價，如果兩筆交易沒有被大量到同一個狀態下，產生的交易磨損就會增加。
目前layer2單筆批量的交易量大幅提升了，區塊內可容納更多的Oracle資料狀態更新。 DeFi穩定性問題也得到有效解決。
恰如zkSync 官方@anthonykrose所言，無論一個區塊內包含多少個先前機更新，整個區塊狀態可以被作為一個整體來處理和記錄，且只需要支付一次狀態寫入的成本。這對於DeFi 的應用ZK-Rollup鏈上的低費率、高效率和穩定性都大有裨益。
照理說，Boojum的升級應該算zkSync里程碑式的進步。
一方面驗證了ZK系統交易量等級較大，Gas費越低體驗相當的推論，另外也證明了鏈下Prover系統的壓縮技術、硬體加速等運算資源的高效應用與效能提升，會給ZK系統帶來了無窮的想像空間。
大家都在期待坎昆升級後以太坊主網Blob 區塊容量能夠降低Layer2 批量交易的成本，而今ZK 系統自身的技術優化已經把ZK 系Rollup 和OP 系Rollup 拉到了同一條水平線。
關鍵是，ZK-Rollup OP-Rollup「主動」多了。一直以來記載的ZK-Rollup 技術優勢，在Boojum 升級後得到了充分證明。
參考：關於ZK硬體加速、算力優化等內容相對抽象，具體可參考以下研究：
ZKP（零知識證明）硬體加速賽道2 萬字研究報告：ZK Rollup 的速度密碼？全景式拆解其發展背景、算力需求、硬體策略、市場現況與未來潛力
資訊來源：0x資訊編譯自網際網路。版權歸作者鏈上觀所有，未經許可，不得轉載