【#區(qū)塊鏈# #Boojum 升級(jí)為 zkSync 帶來(lái)了哪些提升？#】

zkSync 抗住了打銘文的壓力測(cè)試就要?dú)w功于 Boojum。

撰文：Haotian

近期，?@zksync 完成了 Boojum 升級(jí)，也正是基于此前提，zkSync 才抗住了 SYNC 銘文行動(dòng)的壓力測(cè)試。不過(guò)， Boojum 卻被市場(chǎng)低估了。

Boojum 到底帶來(lái)了哪些性能提升？被詬病的 DeFi 穩(wěn)定性問(wèn)題能解決嗎？接下來(lái)，談?wù)勎业睦斫猓?/p>

1）Boojum 升級(jí)，簡(jiǎn)單理解，會(huì)讓 zkSync 完成 SNARK 向 STARK 證明的過(guò)渡。工作流程大致如下：

當(dāng)一個(gè) Batch 封裝完成后，這些交易會(huì)被分解成多個(gè)特定電路，然后并行高速處理生成大量 STARKs，最后被聚合成一個(gè) STARK 證明。最后再把該 STARK 證明封裝成一個(gè) SNARK 證明中，并提交到主網(wǎng)進(jìn)行驗(yàn)證。

這樣混合使用 STARK 和 SNARK，既確保了能高效處理大量交易，同時(shí)又降低了提交到主網(wǎng)的數(shù)據(jù)大小（SNARK 較簡(jiǎn)潔），與主網(wǎng)更加兼容。

而同時(shí)采用兩項(xiàng)證明方式，意味著其 Prover 系統(tǒng)的高級(jí)壓縮技術(shù)、硬件加速技術(shù)、算法優(yōu)化、批量處理聚合效率、內(nèi)存和存儲(chǔ)優(yōu)化等都會(huì)有重大性能提升；

2）據(jù)?@0xtaetaehoho?推文中的闡述，Boojum 更新前平均每筆交易數(shù)據(jù)量為 211bytes，而升級(jí)后可以減少到大約 68bytes，壓縮技術(shù)的提升會(huì)直接大幅提升 layer2 每筆 Batch 的交易量，進(jìn)而使得 TPS 大幅提升（450 左右），同時(shí)單筆交易均攤的 Gas 成本降低（65% 左右）。

原理不難理解，layer2 向主網(wǎng) calldata 提交狀態(tài)證明數(shù)據(jù)，由于主網(wǎng)存儲(chǔ)數(shù)據(jù)有限，layer2 的 STARK 并行處理能力和 SNARK 證明壓縮處理技術(shù)決定了單次 Batch 可處理的交易量以及 Gas 水平；

3）而之前 ZK-Rollup 在處理較低頻 DeFi 交易時(shí)存在不穩(wěn)定性問(wèn)題，它的原生傾向性不利于 DeFi 穩(wěn)定。比如 DeFi 多變的價(jià)格需要多個(gè) Oracle 喂價(jià)，如果兩筆交易沒(méi)有被 Batch 到同一個(gè)狀態(tài)下，產(chǎn)生的交易磨損就會(huì)增大。

現(xiàn)在 layer2 單筆 Batch 的交易量大幅提升了，區(qū)塊內(nèi)可容納更多的 Oracle 數(shù)據(jù)狀態(tài)更新。DeFi 穩(wěn)定性問(wèn)題也會(huì)得到有效解決。

恰如 zkSync 官方?@anthonykrose?所言，無(wú)論一個(gè)區(qū)塊內(nèi)包含多少個(gè)預(yù)言機(jī)更新，整個(gè)區(qū)塊狀態(tài)可以被作為一個(gè)整體來(lái)處理和記錄，且只需要支付一次狀態(tài)寫(xiě)入的成本。這對(duì)于 DeFi 應(yīng)用在 ZK-Rollup 鏈上的低費(fèi)率、高效率和穩(wěn)定性都大有裨益。

按理說(shuō)，Boojum 的升級(jí)應(yīng)該算 zkSync 里程碑式的進(jìn)步。

一方面驗(yàn)證了 ZK 系統(tǒng)交易量級(jí)越大，Gas 費(fèi)越低體驗(yàn)越好的推論，另一方面也證明了鏈下 Prover 系統(tǒng)的壓縮技術(shù)、硬件加速等計(jì)算資源的高效應(yīng)用和性能提升，會(huì)給 ZK 系統(tǒng)帶來(lái)無(wú)窮的想象空間。

大家都在期待坎昆升級(jí)后以太坊主網(wǎng) Blob 區(qū)塊容量能降低 layer2 Batch 交易的成本，而今 ZK 系統(tǒng)自身的技術(shù)優(yōu)化已經(jīng)把 ZK 系 Rollup 和 OP 系 Rollup 拉到了同一條水平線(xiàn)。

關(guān)鍵是，ZK-Rollup 要比 OP-Rollup「主動(dòng)」多了。一直敘事的 ZK-Rollup 技術(shù)優(yōu)勢(shì)，在 Boojum 升級(jí)后得到了充分證明。

Reference：關(guān)于 ZK 硬件加速、算力優(yōu)化等內(nèi)容相對(duì)抽象，具體可參看以下研報(bào)：

https://research.web3caff.com/zh/archives/13581?ref=743