我也知道，理解這些系統之間的差異並不容易。我為大家簡要介紹一下我們在 @zksync 的工作。這個領域非常複雜，即使是以太坊生態系統內的開發者也很難理解 rollup 項目之間的區別，再加上炒作和行銷的影響，就更難分辨出真正有價值的資訊了。
Optimistic rollup 和 ZK rollup 依然很難被完全理解，更不用說區塊鏈領域內的其他新型解決方案（如 optimiums、volitions、validiums）。我會盡量把這個話題講得簡單一些，因為這個系統真的非常令人興奮，我希望更多人能更好地理解它。
我們的願景是建立一個在應用層之下的基礎系統，為數十億人的生活增添價值。就像今天的網路一樣，這些應用程式可以改善人們的生活，但由於區塊鏈能帶來更多的價值和所有權，這將極大地增強應用程式的功能。
要實現這一願景，很明顯這個系統需要像網路一樣具有擴展性。工程師們稱這種擴展方式為「水平擴展」——本質上我們只需要增加硬體並擴展網路，我們必須不折不扣地完成這項工作保持所有關鍵指標的高標準。
你可以用一個小小的證明來驗證一個龐大系統的正確性，這個系統執行了大量的計算工作，而這個證明可以在任何智慧型手機上進行。這就是為什麼 ZK 系統可以（合理地）實現水平擴展，而 Optimistic 系統不能，這也是 ZK 方案的優勢所在。
這種水平擴展實際上意味著：在這個協議層上部署更多的 rollup。這些 rollup 可以是特定於應用程式的，也可以是通用的，但所有這些都可以從最終用戶那裡抽象出來。這裡有一張非常科學的示意圖，希望能幫助大家理解：
在協議層，這些系統都需要進行無信任交互。如果不這樣做，整個用戶體驗就會變得支離破碎（就像今天在使用不同的 L2 或 L1 時那樣）。
Optimistic 的系統無法正常實現這種交互。選項基本上有
- 等待交互 7 天（挑戰期）
- 每個 L2 為其用戶想要互動的每個 L2 運行一個完整節點
- 使用中間人向用戶收費。
這些都不是很好。而使用 ZK 技術，可以讓這些系統進行無信任交互，任何 rollup 之間都可以互相通信，並且確認對方系統的狀態是正確的。這是由數學證明的。用戶甚至不需要知道他們在玩的遊戲託管在哪裡，或者當他們想給朋友轉 20 美元用於午餐時，他們也不需要知道他們的朋友使用的是哪個 rollup。
Optimistic rollup 還需要將所有交易輸入發布到 L1，因為這是它們的工作機制，這些數據是解決狀態轉換潛在挑戰所必需的。這是一個巨大的數據量，而 ZK 系統沒有這個問題。
你可以在不將所有狀態發布到 L1 的情況下證明系統的正確性（你可以發布到其他地方，或者構建一個私有系統）。這是一個validium。你知道它是正確的，但你在以太坊上沒有狀態記錄。
我還提到過，在整個 @zksync 生態系統中可以將證明結合起來，你可以在一個證明中驗證整個網路。這意味著隨著系統的擴展，鏈上成本趨近於零，並且你可以在任何智慧型手機上驗證它。
我們正在構建的 @zksync 系統具有高度可擴展性、高性能、高安全性，完全不同於那些不幸被統稱為「L2」的其他系統。這些系統是不一樣的，很多系統在一年後將消失。
未來的生態系統將由許多 ZK 鏈組成，這些鏈會根據具體的使用場景進行不同的配置，但都具有同樣強大的安全保障和快速，可進行無信任交互。任何人都可以無需許可地在生態系統中部署新的 ZK 鏈，並立即在整個網路中進行交互。
關於 @zksync 還有很多內容可以討論，但以上是我今天想分享的核心觀點。這就是為什麼我對 @zksync 感到興奮，為什麼 ZK 系統真的會改變世界，以及為什麼 ZK 是最終的解決方案的原因。
