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 中的力量,可以创造一个更简单、安全和可扩展的未来。