關於Linea和zkEVM的概述
Linea是一個基於zk-rollup的二層（L2），處理大多數“鏈外”交易，然後將經過證明的信息推送到以太坊主網。
Linea使用零知識證明來驗證L2交易的有效性，而不泄露交易細節。
Linea網絡與以太坊高度兼容：EVM等價，支持大多數操作碼，因此現有的Solidity合約可以輕鬆遷移到Linea，而無需進行大量修改。
Linea 是 Type‑2 zkEVM，相當於真實的 EVM，但使用 zk 證明來確保正確性。
技術運作方式
1. 收集交易（Sequencing）
用戶的交易由序列器收集，整理成“批次”（batch）並創建 L2 區塊，定義 L2 鏈的新狀態。
2. 鏈外執行（Off-chain execution）
交易在鏈外執行以計算新狀態，生成執行痕跡。
鏈外執行有助於減少與以太坊主網處理每筆交易相比的成本。
3. 生成證明（zk-Proof generation）
使用 zk-SNARK 來生成證明，證明批處理中的交易被正確執行。
Linea 使用遞歸“證明堆棧”機制來優化性能，將多個子證明合併爲一個單一證明。
具有數據壓縮機制以減少需要上傳到以太坊的數據大小，同時在驗證時證明可以解壓。
4. 鏈上驗證（On-chain verification）
證明和新狀態被髮送到以太坊上的智能合約。
驗證證明的合約：如果有效，新狀態被接受，L2 網絡完成批處理。
以太坊主網只需驗證證明，而無需瞭解交易細節，從而節省燃氣費用。
5. 安全性與成本
無需等待像樂觀 Rollup 的“欺詐證明期”，提款更快。
由於批量處理多個交易和壓縮數據，燃氣費用低。
結合 zk-SNARK 和網格密碼來確保正確性和抗量子能力。
6. 對開發者友好
EVM 等價性允許以太坊開發者將合約遷移到 Linea，無需修改代碼。
支持開發者熟悉的工具，如 MetaMask、Truffle、Infura。
未來序列器和證明者的去中心化路線圖。
Linea zkEVM 的顯著優勢
高速度與高效率得益於鏈外處理。
交易費用低於以太坊主網。
高安全性與 zk-SNARK + 網格密碼。
熟悉的開發者體驗，易於遷移以太坊合約。
提款快速，比樂觀 Rollups 更安全。
未來具有高度的去中心化潛力。
