zkEVM实现完全兼容Solidity，zksync 2.0要来了？

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. 转帐成本大约是以太坊主网的1/50；
2. 实现交易近400万笔；
3. 在最近的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 中的力量，可以创造一个更简单、安全和可扩展的未来。