一文讀懂zkSync Boojum升級：更安全更高效的zkEVM
二級標題
原文編譯：深潮TechFlow
TLDR
二級標題
原文編譯：深潮TechFlow
二級標題
升級：zkSync Era 正在過渡到新的Boojum 證明系統，無需重新生成。
性能：Boojum 展示了一流的證明性能，補充了zkSync Era 排序器，該排序器已經可以處理超過100 TPS。
去中心化：Boojum 證明者僅需要16 GB RAM，可實現未來大規模證明者去中心化。
zkSync 的使命是推進所有人的個人自由——通過構建一個無需信任、安全、無需許可、價格合理、易於使用、彈性和可無限擴展的區塊鍊網絡，使數字自我所有權普遍可及。
9,為了履行這一使命，zkSync Era 的Alpha 版本於三個多月前向公眾開放，反響非常驚人。網絡亮點：
735 個源代碼驗證的智能合約。
一級標題
一級標題
二級標題
二級標題
Boojum 的特性：
二級標題
Boojum 是什麼？
Boojum 的特性：
PLONK 算術化：在零知識協議的背景下，算術化是將一般計算轉化為數學形式的過程。與當前的證明系統一樣，升級系統仍然採用PLONK 風格的算術化。採用這種方法，相對於一些替代形式，ZK 電路的編寫更簡單，使系統更易於開發、審計、維護和升級。
強大的承諾方案：Boojum 的核心在於FRI 承諾方案，它是一個關鍵組件，使我們能夠承諾有界多項式，並隨後有效地證明所聲稱的（多項式的）opening 確實屬於低次多項式。
單一堆棧：通過Boojum，上述所有內容都可以僅使用標準、慣用的Rust 表達，利用其類型系統的表達能力。 GPU 證明者的計算密集部分是用CUDA C++編寫的，但我們提供了Rust 綁定以進行組合。
一級標題
為什麼選擇Boojum？
二級標題
世界一流的性能
二級標題
二級標題
世界一流的性能
為了進行公平比較，Celer 在基於CPU 的證明者上進行了這些基準測試，但我們的主網系統使用的是基於GPU 的證明者，速度更快。
二級標題
降低去中心化硬件的要求
二級標題
二級標題
目前普遍使用的證明系統，包括我們現有的系統，在硬件方面要求較高。我們當前的證明系統在一組A 100 GPU 上運行，每個GPU 具有80 GB 的RAM。對昂貴且功能強大的機器的需求對我們的目標構成了重大障礙：用戶驅動的去中心化證明生成的未來。要實現這個目標，僅僅使證明生成無需許可是不夠的；用戶還不應該需要一台帶有數百GB RAM 的昂貴機器來參與其中。
一級標題
這是我們取得極其引人注目的進展的另一個領域！我們用於Boojum 的GPU 證明器僅需要16 GB 的RAM，這種低門檻是我們設想的未來的重要一步。基於CPU 的證明也可以使用低至64 GB 的RAM，我們希望將其降低到32 GB，並充分利用現代多核處理器。
一級標題
一級標題
升級zkSync Era
二級標題
首先，zkSync Era 的設計使我們能夠隨著時間的推移升級每個組件，證明系統也不例外。
從設計到審查的Boojum 之旅
二級標題
大約一個月前，我們開始逐漸形成了我們新的證明系統實現的完整端到端版本。考慮到這個變化的複雜性以及系統正確性的關鍵性，我們開始進行一系列的內部和外部審計。
Boojum: 從審查到測試
二級標題
這將帶我們來到今天，我們分階段推出的下一步：主網影子模式！我們很高興地宣布，我們現在正在與現有的證明系統並行運行新的證明系統，儘管Boojum 目前僅處於測試階段。我們已經開始為主網區塊生成和驗證“影子證明”。
二級標題
我們相信，Boojum 是zkEVM 更安全、可擴展和高效的下一階段。
