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的一些知識點：

1

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美分的固定交易費用。

2

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 中的力量，可以創造一個更簡單、安全和可擴展的未來。