今天是個令人興奮的日子！經過幾個月的努力，我很高興我們終於能夠分享我們所做工作的細節，並且這些工作即將在 @zksync Atlas 升級中上線。 我想花一點時間分享一些有關這次升級各個方面如何結合的更多信息。 重要的是，我們正在為一個世界在鏈上的未來而建設。加密系統將成為世界大多數金融系統的支柱，這正是為什麼需要不可腐敗的金融系統。 對我來說，這個鏈上經濟必須在架構中反映出來。我預期企業、銀行、製造設施、醫院等將通過他們正在運營的基礎設施與鏈上經濟互動，就像他們今天管理其他業務的生產軟體堆疊一樣。團隊將根據他們的隱私、法規或用戶體驗需求來定制他們的系統。 簡化版本看起來是這樣的： 我們有許多 ZK 鏈，有些是私有的（紅色），有些是公共的，配置以支持其特定的用例。每秒這些鏈將為其系統生成一個證明，該證明在 ZK 協調層上進行驗證。在用戶發送交易的一秒內，它擁有這個 ZK 最終性，整個網絡都可以自動驗證。 快速的 ZK 證明是一項突破性技術。通過這個，你解決了鏈無法有效協調的問題。如果用戶想要從他們在一個 ZK 鏈上的公共賬戶發送 100 USDC 到朋友在另一個 ZK 鏈上的私有賬戶 - 這是立即可能的。在這個例子中，ZK 鏈 5 不必“信任” ZK 鏈 2 在轉移中誠實行事。ZK 證明（由我們的小 ZK 保險箱表示）證明了鏈 5 收到的消息可以在不擔心的情況下進行操作。 對於這個不可腐敗的全球網絡的願景，連接顯然是一個關鍵方面。 第二個關鍵部分是你作為這個網絡的一部分運行的系統。工程團隊希望部署性能良好、可靠、安全等的軟體。這是為你的用戶體驗提供基礎的系統。 作為 Atlas 升級的一部分，我們正在部署一個全新的序列器版本，從頭開始設計以實現低延遲的交易包含（讓系統對你的用戶感覺快速）和能夠將企業級活動帶入鏈上的吞吐量。 這是通過對 ZK Stack 鏈的“操作系統”進行廣泛升級來實現的，包括我們對應該證明的內容的思考方式的變化。隨著 Era，我們基本上實現了兩次虛擬機：一次是用 Rust 代碼（那是可識別的虛擬機），另一次是在 Boojum 密碼電路中。隨著 Atlas，我們採取了更通用的方法，現在正在證明 RISC-V。這與我們組織交易執行的方式的變化一起，使我們能夠原生支持 EVM，但系統可以靈活支持其他虛擬機，而無需修改證明系統。如果它符合 RISC-V - 你就可以證明它！ 這些變化就像是對 ZK Stack 的一次大規模引擎升級，並共同提供了構建和運營比以往任何時候都更高效和更連接的系統的工具。 更多內容敬請期待。 我想以對所有參與這次升級的人的衷心感謝作為結尾！為了實現這一目標，付出了大量的努力。♥️