zkEVM實現完全兼容Solidity，zksync 2.0測試應用UniSync已上線

閱讀本文需 8 分鐘

現有以太坊應用將能無縫遷移至 zksync 2.0 二層網絡

原文標題：《 UniSync: a port of Uniswap V2 on the zkEVM 》

原文來源： Matter Labs

原文編譯：巴比特

10 月 13 日消息，以太坊 Layer 2 網絡開發商 Matter Labs 宣佈推出了首個遷移的 zksync 2.0 測試應用 UniSync，這標誌着 zkEVM 已實現對 Solidity 的完全兼容，現有以太坊應用將能無縫遷移至 zksync 2.0 二層網絡。

要使用 UniSync，你可以訪問他們的 Uniswap V2 智能合約和前端端口：

https://uni.zksync.io/

以下是關於 zkEVM 以及 zkSync 2.0 的一些知識點：

zkEVM 常見解答

1、什麼是 zkEVM，它的意義是什麼？

zkEVM 是一種以兼容零知識證明計算的方式執行智能合約的虛擬機，這是構建與 EVM 兼容的 ZK rollup 二層網絡的關鍵，同時能夠保留經實戰測試的代碼及相關知識。zkEVM 保留了 EVM 語義，但它對 ZK 也是友好的，它還採用了傳統的 CPU 架構。

zkEVM 的推出代表了加密技術的一個重要轉折點，在過去的一年裏，整個零知識證明生態系統的發展已超出了很多專家的預期，現在 Solidity 程序員可以一等公民的身份訪問零知識證明的無與倫比的擴展性、安全性和 UX 優勢。

2、什麼是 zkSync 2.0?

我們知道，zkSync 1.0 二層網絡已上線近 1 年半的時間，以下是該網絡的一些重要數據：

轉帳成本大約是以太坊主網的 1/50；實現交易近 400 萬筆；在最近的 4 輪 Gitcoin 贈款中，有 98% 的交易都使用了 zkSync 1.0；

而 zkSync 2.0 是一個與 EVM 兼容的 ZK Rollup 二層網絡，它由 Matter Labs 構建，並由 zkEVM 提供支持，這意味着現有以太坊主網的應用可以無縫遷移到 zkSync 2.0，並享受 ZK Rollup 技術帶來的擴展優勢。

3、zkSync 2.0 與 Arbitrum 以及 Optimism 有什麼不同？

（1）安全性更高：ZK rollup 消除了對觀察者的依賴，用密碼學安全取代了博弈論的經濟安全，用戶信任的是純數學，而不是去激勵參與者。

（2）更高的資本效率：在 OR 方案中，任何資產的提取都需要很長時間（最佳情況：1 周），這是一個安全參數，縮短它會對安全性產生影響，而 ZK rollup 的等待時間是非常短的。目前有一些跨鏈橋可以幫助 OR 解決提款問題，但仍無法實現大規模的轉賬，因爲流動性提供者（LP）不太可能讓那麼多資金閒置。

（3）NFT 用戶體驗會更佳：在 OR 方案中，NFT 的提取不能加快（LP 解決方案不適用，因爲 NFT 是唯一的），因此，要提取 NFT，OR 用戶實際上必須要等待 1 周或更長的時間。

（4）交易成本更低：ZK Rollup 對於大多數流行的加密用例來說更便宜，因爲它需要在鏈上發佈的數據量最少（沒有簽名和交易參數）。

此外，ZKSync 2.0 將有一個名爲 zkPorter 的擴展，它通過將數據移出區塊鏈以提供 1-3 美分的固定交易費用。

Solidity 成爲 ZK Rollup 宇宙的一等公民

過去，爲了利用零知識證明無與倫比的擴展性、安全性和 UX 優勢，開發者必須要切換到 ZK 語言。現在情況發生了變化，經過多次研發突破，zkEVM 有了將 Solidity 提升爲 ZK Rollup 宇宙一等公民的可能。

使用 Solidity、Web3 API、Ethers SDK 以及原生以太坊簽名，開發者在 zkSync 上進行開發會感覺自然而熟悉。在以太坊上測試的經審計的代碼庫在 zkSync 上與在主網上一樣安全。從代碼到開發者工具，從用戶到開發者體驗，一切都會是兼容的。

通過使 Solidity 成爲 ZK Rollups 的原生語言，zkSync 保留了以太坊的許多重要特性：

1、安全

Solidity 語言目前保護的資金超過了 1000 億美元，截至目前，有超過 10 億美元的資金遭遇了黑客攻擊，在安全方面學到的每一課都不是免費的，圍繞 Solidity 形成的審計公司以及更廣泛的以安全爲中心的社區，花了 5 年多的時間，而保留這種專業知識是至關重要的。

2、可組合性

以太坊上的大多數 dApp 都是緊密耦合的，通過保留 Solidity 語言，zkSync 將可組合性堆棧保持完整。

雖然用不同語言編寫的 dApp 可以保持可組合性，但這並不容易。假設 Uniswap 或 Aave 切換到一種新語言，這會迫使很多相關協議進行調整，由此導致巨大的波浪效應！

3、省力

支持 Solidity 語言，可以爲你節省許多實現工作，並且更容易找到開發人員和審計員。

有些人可能會擔心 Solidity 的效率比原生 ZK 語言更低，但計算效率不再是瓶頸。無論是過去、現在，還是將來，最稀缺的資源都是程序員。爲 Solidity 招聘開發人員和審計員已經很難了，而爲開發時間不到一年的 ZK 語言招聘會更難！如果每個 ZK 協議都有自己的語言，那麼選擇一個語言就意味着被限制在一個系統中，其成功取決於整個生態系統從 Solidity 的轉變。此外，通過轉譯器支持 Solidity 可能會導致更多的漏洞，並會導致低效的代碼。

總而言之，作爲一個生態系統，現在過渡到一種新的編程語言代價太高了。

零知識證明技術依靠數學來實現真正的去信任化，而 zkEVM 利用它在 Solidity 中的力量，可以創造一個更簡單、安全和可擴展的未來。