What new information has been revealed on the zkSync 2.0 beta site?

Today Matter Labs’ zkSync finally launched its beta version 2.0, which supports universal smart contracts, on the beta site

Written by Donnager

Uniswap’s vote to bring V3 to the Layer 2 scaling network, Arbitrum, has generated a lot of buzz in the community and has given the market a sense of the unstoppable wave of Layer 2 networks.

Today, Matter Labs’ zkSync finally launched its test network with version 2.0 support for general-purpose smart contracts, in the final preparations for the main network, which is scheduled to go live in August.

This time zkSync 2.0 also discloses a lot of previously undisclosed information, much of which will directly impact the user and developer experience.

zkEVM: 99% EVM Compatible
While Optimism, Arbitrum and zkSync 2.0 all claim to be EVM (Ethernet Virtual Machine) compatible, this means that today’s Ethernet developers (like Solidity) can easily migrate their existing code to the L2 network in some way. to L2 networks in some way.

However, according to the documentation of several scaling protocols, they are not 100% compatible with EVM, for example, Optimism does not support partial Opcode.

The same is true for zkSync’s zkEVM, which previously claimed to be Turing-complete, but still does not support partial Opcode for EVM.

The information published by zkSync shows that they do not yet support several Opcodes such as ADDMOD, CREATE2, etc., but support adding them in the future. And another for example KECCAK256 will be missing in this version, but the team will introduce another hash function. There is also a category of Opcode that the Ether Foundation plans to remove, which zkSync will not support.

So according to their summary, zkEVM will not fully support EVM, although it is expected to support 99% of smart contracts written in Solidity.

How does zkSync 2.0 sign transactions?
In order to support a wider range of wallet types, such as normal public and private key-generated ethereum addresses or smart contract-based accounts, zkSync 2.0 supports two approaches for transactions.

For the vast majority of users (e.g. using MetaMask or imToken), with native Layer 2 network transactions, the user experience is simply to “sign” the transaction via the wallet, so the user does not need to pay a transaction fee on the Ethernet mainnet. They use the EIP-712 standard, so the basic content of the transaction information to be signed is known in wallets like MetaMask.

What new information has been revealed on the zkSync 2.0 beta site?

For smart contract wallets such as Argent, zkSync provides a solution for them as well, setting up a public key for such accounts to create an internal Schnorr Signature to sign transactions, which will allow such wallets to interact with zkSync 2.0 without requiring the wallet user to pay an additional L1 transaction fee .

Gas consumption is composed of two parts
Unlike the Ethernet mainnet, which uses ETH as a transaction fee, L2 adds some additional expenses while aggregating transaction information, especially for these L2 protocols based on zero-knowledge proofs (ZK).

First, zkSync’s transaction fees are affected by L1’s Gas fees, so as the Gas on L1 increases, so does zkSync’s Gas. In addition, due to the nature of the scheme itself, it requires computation consumption to provide ZKP (zero-knowledge proof data), so this computation fee expense is also transferred to the user in some form. Of course, this cost may also be reduced over time by the introduction of dedicated computing devices (e.g., FPGAs) for this portion of the computational volume.

At the moment, no official details have been given on how this part of ZKP computation will be priced and in what way it will be paid.

Compatibility with current ethereum DApps?
The current version of zkSync 2.0 does not yet include compatibility with the Web3 API. But Matter Labs says that the next version will support a Web3 API that is compatible with the Web3 standard as defined in the official documentation for Ethernet, which means that all Events can be used out of the box and all services can be integrated.

In addition zkSync will include features not available in L1, such as the concept of submitted blocks and finalized blocks, so additional methods will be added for developers to be able to control data more precisely.

Where is the zkSync+zkPorter compromise?
zkSync has always been a scaling solution that boasts almost the same security as the main Ethernet network, with little to no compromise on security, so of course it scales far less well than solutions like sidechains, such as Polygon, xDAI, or even BSC (which of course can also be viewed as not a sidechain).

So from their point of view, the comparison between the sidechain solution and Optimistic Rollup is similar to the figure below.

What new information has been revealed on the zkSync 2.0 beta site?

In order to provide a more exaggerated scaling effect, zkSync has also launched a zkPorter scheme that is compatible with the zkSync account system, moving the data availability outside of ethereum so that the Gas can be reduced even more significantly. This part of the data availability is dependent on the zkSync holders to provide through some game theory or token economy design, and they have not yet disclosed the details of this part.

So compared to Optimistic Rollup, they believe that zkSync, a cryptography-based scheme, is more secure and the same as L1. However, they also admit that Rollup is less decentralized (compared to L1), which may represent a difference in the number of nodes, so it may create a situation such as transaction censorship.

zkPorter, on the other hand, reduces some of the security in exchange for a greater scaling effect, which they believe is comparable to a sidechain. So the difference between the “zkSync 2.0” and “zkSync 2.0+ETH2 data sharding” solutions can be found in the figure below.

What new information has been revealed on the zkSync 2.0 beta site?

Considering that Vitalik Buterin questioned the security of zkPorter when it was made public in April, Matter Labs has created this chart of the “zkSync 2.0 and ETH2 data sharding” combination, probably in order to This is probably a way to cater to the Ethernet community and show the most perfect integrated scaling solution by tier and demand.

Matter Labs also shows their confidence in ‘programmability’ in the chart, with the best programmability as all other solutions. Although they are able to implement Turing-complete programming capabilities based on zero-knowledge proofs, these current incompatibilities with Opcode may still be inconvenient for some developers.

Posted by:CoinYuppie,Reprinted with attribution to:https://coinyuppie.com/what-new-information-has-been-revealed-on-the-zksync-2-0-beta-site/
Coinyuppie is an open information publishing platform, all information provided is not related to the views and positions of coinyuppie, and does not constitute any investment and financial advice. Users are expected to carefully screen and prevent risks.

Like (0)
Donate Buy me a coffee Buy me a coffee
Previous 2021-06-01 07:20
Next 2021-06-01 07:25

Related articles