10 月13 日消息，以太坊Layer 2 網絡開發商Matter Labs 宣布推出了首個遷移的zksync 2.0 測試應用UniSync，這標誌著zkEVM 已實現對Solidity 的完全兼容，現有以太坊應用將能無縫遷移至zksync 2.0 二層網絡。
要使用UniSync，你可以訪問他們的Uniswap V2 智能合約和前端端口：
https://uni.zksync.io/
用戶在連接錢包並轉發twitter 後即可領取到300 USDC 測試token，然後即可進行相關的測試。
（測試的體驗還是相當不錯的）
以下是關於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 中的力量，可以創造一個更簡單、安全和可擴展的未來。
特別聲明
免責聲明：本文不代表0x财经立場，且不構成投資建議，請謹慎對待，如需報導或加入交流群，請聯繫微信：VOICE-V。
來源：Defi之道原創