zksync2.0在线测试揭示了哪些新信息？

雍和比特币

Zkevm将不能与EVM彻底兼容，这意味着一些开发人员需求修正智能合约。

作者：donnagerUniswap计划经过投票将V3上线。Arbitrum是一个双层扩展网络，引起了社会各界的热议。一起，也让商场感遭到，势不可挡的二级网络浪潮现已构成。今日，物质实验室的zksync总算将在测验网络上推出2.0版的通用智能合约，计划在8月份推出的主网也正在做终究的预备。zksync2.0还披露了许多此前未公开的信息，其间许多信息将直接影响用户和开发者的体会。Zkevm:99%EVM兼容之前，arbitrum引发了关于EVM兼容性的评论。虽然乐观主义者、arbitrum和zksync2.0都宣称与EVM兼容，但这也意味着以太坊开发人员（如solid）能够以某种办法轻松地将现有代码迁移到L2网络。可是，从几种扩展协议的文献来看，它们与EVM的兼容性并不是100%。例如，乐观主义不支撑部分操作码。zksync的zkevm也是如此。虽然他们之前说zkevm是图灵齐备的，可是他们依然不支撑EVM的一些操作码。依据zksync发布的信息，他们还不支撑addmod和create2等几种操作码，但将来会支撑join。此外，keccak256在这个版别中将丢掉，可是团队将引进另一个散列函数。另一个是EthUM基金会计划移除的操作码，ZKSCONC将不支撑。因而，依据他们的定论，zkevm不会彻底支撑EVM，但估计它将支撑99%的以solid编写的智能合约。zksync2.0怎么签署协议？为了支撑更广泛的钱包类，例如由公钥和私钥或根据智能合约的帐户生成的一般以太坊地址，zksync2.0支撑两种买卖办法。关于绝大多数用户（如运用metamask或imtoken），假如买卖在本机第二层网络中，用户的体会是经过钱包“签署”买卖，因而用户不需求付出以太坊主网的买卖费用。它们运用eip-712规范，因而需求签名的买卖信息的基本内容能够在钱包中找到，例如metamask。关于智能合约钱包（如argent），zksync还为它们供给了一个解决计划。它将为此类帐户设置公钥，以创立内部Schnorr签名来签署买卖。这将答应此类钱包与zksync2.0进行交互，而无需钱包用户付出额定的买卖费用。气体耗费由两部分组成与以太坊的主网运用eth作为买卖费用不同，L2在聚合买卖信息时会增加一些额定费用，特别是根据零常识证明（zk）的L2协议。首要，zksync的买卖费用会遭到L1燃气费用的影响，因而跟着L1燃气的增加，zksync的燃气也会增加。别的，由于计划自身的特色，需求耗费核算量来供给zkp（zero knowledge-proof-data），因而这部分核算成本也会以某种方式搬运给用户。当然，这部分红本或许会由于特别核算设备（如FPGA）的引进而逐步下降。现在，关于zkp这部分的核算，怎么定价以及怎么付出，官方还没有给出详细细节。是否与当时的以太坊DAPP兼容？在当时版别中，zksync2.0不包括与web3api的兼容性。不过，matter实验室表明，下一版别支撑的web3api将与以太坊官方文档中界说的Web3规范兼容，这意味着一切事情都能够开箱即用，一切服务都能够集成。此外，zksync还将包括L1中不可用的功用，例如提交块和终究块的概念，因而它还将为开发人员增加额定的办法，以便更精确地操控数据。zksync和zkporter之间的退让在哪里？Zksync一直在揄扬它具有与以太坊主网络简直相同的安全性。简直没有必要在安全问题上退让。当然，它的扩展作用远不如边链和其他解决计划，如polygon、xdai，乃至BSc（当然，它不能看作边链）。因而，从他们的视点来看，侧链计划和最优汇总之间的比较类似于下图。为了供给更夸大的扩展作用，zksync还推出了与zksync账户体系兼容的zkporter计划，将数据可用性移到以太坊之外，然后能够更大起伏地下降gas。zksync的代币持有人经过一些博弈论或代币经济规划供给了这部分被删去数据的可用性。他们还没有泄漏这部分细节。因而，与最优汇总比较，他们以为根据密码学的zksync具有更高的安全性，与L1相同。不过，他们也供认，汇总将下降权力下放的程度（与L1比较）。这或许表明节点数量的差异，因而或许会进行业务查看。Zkporter减少了部分安全性，以交换更大的扩展作用，他们以为这与侧链适当。因而，“zksync2.0”与“zksync2.0+eth2数据碎片化”的差异如下图所示。在zkporter于4月份披露了一些细节之后，vitalik buterin质疑其安全性无法与optimal rollup比较。本次matter labs特别制作了“ZKSync2.0和eth2数据切片”的图表，能够投合以太坊社区的需求，从层次和需求上展示最完美的归纳扩展计划。Matter实验室在图表中也显现了他们对“可编程性”的决心，而且和一切其他解决计划相同具有最好的可编程性。虽然它们能够在零常识证明的基础上完成图灵的彻底编程才能，但与操作码的不兼容或许给一些开发人员带来不方便。