Matter Labs宣布推出zksync 2.0测试应用 UniSync,zkEVM 实现对 Solidity 的完全兼容_ZKS:zksync币图标

10月13日消息,以太坊Layer2网络开发商MatterLabs宣布推出了首个迁移的zksync2.0测试应用UniSync,这标志着zkEVM已实现对Solidity的完全兼容,现有以太坊应用将能无缝迁移至zksync2.0二层网络。

要使用UniSync,你可以访问他们的UniswapV2智能合约和前端端口:

https://uni.zksync.io/

用户在连接钱包并转发twitter后即可领取到300USDC测试token,然后即可进行相关的测试。

以下是关于zkEVM以及zkSync2.0的一些知识点:

1

zkEVM常见解答

1、什么是zkEVM,它的意义是什么?

zkEVM是一种以兼容零知识证明计算的方式执行智能合约的虚拟机,这是构建与EVM兼容的ZKrollup二层网络的关键,同时能够保留经实战测试的代码及相关知识。zkEVM保留了EVM语义,但它对ZK也是友好的,它还采用了传统的CPU架构。

zkEVM的推出代表了加密技术的一个重要转折点,在过去的一年里,整个零知识证明生态系统的发展已超出了很多专家的预期,现在Solidity程序员可以一等公民的身份访问零知识证明的无与伦比的扩展性、安全性和UX优势。

2、什么是zkSync2.0?

我们知道,zkSync1.0二层网络已上线近1年半的时间,以下是该网络的一些重要数据:

转帐成本大约是以太坊主网的1/50;

实现交易近400万笔;

在最近的4轮Gitcoin赠款中,有98%的交易都使用了zkSync1.0;

而zkSync2.0是一个与EVM兼容的ZKRollup二层网络,它由MatterLabs构建,并由zkEVM提供支持,这意味着现有以太坊主网的应用可以无缝迁移到zkSync2.0,并享受ZKRollup技术带来的扩展优势。

3、zkSync2.0与Arbitrum以及Optimism有什么不同?

安全性更高:ZKrollup消除了对观察者的依赖,用密码学安全取代了博弈论的经济安全,用户信任的是纯数学,而不是去激励参与者。

更高的资本效率:在OR方案中,任何资产的提取都需要很长时间,这是一个安全参数,缩短它会对安全性产生影响,而ZKrollup的等待时间是非常短的。目前有一些跨链桥可以帮助OR解决提款问题,但仍无法实现大规模的转账,因为流动性提供者不太可能让那么多资金闲置。

NFT用户体验会更佳:在OR方案中,NFT的提取不能加快,因此,要提取NFT,OR用户实际上必须要等待1周或更长的时间。

交易成本更低:ZKRollup对于大多数流行的加密用例来说更便宜,因为它需要在链上发布的数据量最少。此外,ZKSync2.0将有一个名为zkPorter的扩展,它通过将数据移出区块链以提供1-3美分的固定交易费用。

2

Solidity成为ZKRollup宇宙的一等公民

过去,为了利用零知识证明无与伦比的扩展性、安全性和UX优势,开发者必须要切换到ZK语言。现在情况发生了变化,经过多次研发突破,zkEVM有了将Solidity提升为ZKRollup宇宙一等公民的可能。

使用Solidity、Web3API、EthersSDK以及原生以太坊签名,开发者在zkSync上进行开发会感觉自然而熟悉。在以太坊上测试的经审计的代码库在zkSync上与在主网上一样安全。从代码到开发者工具,从用户到开发者体验,一切都会是兼容的。

通过使Solidity成为ZKRollups的原生语言,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中的力量,可以创造一个更简单、安全和可扩展的未来。

本文来自元宇宙之道,星球日报经授权转载。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:15ms0-4:0ms