抵抗銘文壓力的最大貢獻者？關於Boojum升級對zkSync的改進

撰稿人：昊田

最近，@zksync完成了Boojum升級，也正是在這個前提下，zkSync經受住了SYNC銘文行動的壓力測試。 然而，Boojum被市場低估了。

Boojum 帶來了哪些性能改進？ 被批評的去中心化金融穩定性問題能解決嗎？ 接下來，我們來談談我的理解：

1）Boojum升級，簡單來說，將允許zkSync完成從SNARK到STARK證明的過渡。 工作流程大致如下：

當一個批次被封裝時，這些交易被分解成多個特定的電路，然後並行高速處理以生成大量STARK，最終聚合成STARK證明。 最後，將STARK證明封裝到SNARK證明中，並提交到主網進行驗證。

STARK和SNARK的這種混合確保了大量交易的高效處理，同時降低了提交到主網的數據的大小（SNARKs更簡單）並且與主網更相容。

同時使用兩個證明意味著Prover系統的先進壓縮技術、硬體加速技術、演演演算法優化、批處理聚合效率、記憶體和存儲優化將有顯著的性能提升。

2）根據@0xtaetaehoho推文，Boojum更新前每筆交易的平均數據量為211位元組，升級后可以減少到68位元組左右，壓縮技術的改進將直接大大增加第2層每批的交易量，這將大大增加TPS（約450），單筆交易的gas成本將下降（約65%）。

原理不難理解，第 2 層向主網 calldata 提交狀態證明數據，由於主網上存儲數據有限，第 2 層的 STARK 並行處理能力和 SNARK 證明壓縮處理技術決定了單批可以處理的交易量和 gas 水準;

3）此前，ZK-Rollup在處理低頻去中心化金融交易時存在不穩定問題，其原生傾向不利於去中心化金融的穩定性。 例如，去中心化金融的可變價格需要多個 Oracle 價格饋送，如果兩筆交易沒有批量進入同一狀態，則由此產生的交易磨損將會增加。

現在，第 2 層中單個批次的交易量顯著增加，並且可以在區塊內容納更多的 Oracle 數據狀態更新。 去中心化金融的穩定性問題也將得到有效解決。

正如 zkSync 官方@anthonykrose所說，無論一個區塊中包含多少 Oracle 機器更新，整個區塊狀態都可以作為一個整體進行處理和記錄，只需要支付一次狀態寫入的成本。 這有利於ZK-Rollup鏈上去中心化金融應用的低費用、高效率和穩定性。

按理說，Boojum的升級應該被視為zkSync的一個里程碑。

一方面驗證了ZK系統交易量越大、gas費越低、體驗越好的推論，另一方面也證明瞭鏈下Prover系統壓縮技術、硬體加速等計算資源的高效應用和性能提升，將為ZK系統帶來無限的想像空間。

坎昆升級后，乙太坊主網blob區塊大小有望降低第2層批量交易的成本，現在ZK系統本身的技術優化已經將ZK系列匯總和OP系列匯總帶到了同一水準。

關鍵是，ZK-Rollup比OP-Rollup更“活躍”。 ZK-Rollup技術的優勢，一直被告知，在Boojum升級后得到了充分證明。

參考：關於ZK硬體加速、算力優化等，請參考以下研究報告：