Brief description of the operating principle of zkSync

zkSync is a trustless protocol for scalable low-cost payments on Ethereum, supported by zkRollup technology. It uses zero-knowledge proofs and on-chain data availability to ensure the safety of users’ funds, as if these assets never left the mainnet.

Ethereum’s Gas fees exceed US$40 million per month. With zkSync, these costs can be reduced to a very small portion.

Features of zkSync

Mainnet-level security, zero dependence on third parties;

ETH and ERC20 token transfers have instant confirmation and 10-minute certainty on L1*;

Ultra-low transaction fees (ERC20 tokens are approximately 1/100 of the main network cost, and ETH transfers are approximately 1/30 of the main network cost);

No registration is required to receive funds;

Can be paid to existing Ethereum addresses (including smart contracts);

Conveniently pay fees in the transferred tokens;

Withdraw funds to the mainnet within about 10 minutes;

Multi-signature support;

Smart contract without permission (coming soon);

zkSync advantage

zkSync benefits from the combination of cryptography and data availability on the chain. zkRollup (the core technology of zkSync) is the only L2 extension solution that does not require any operational activities to ensure the safety of funds. For example, users can go offline for a year and then safely withdraw assets without any external help.

All funds are held by smart contracts on the main chain, and calculations and storage are performed off-chain. The main idea is that instead of verifying each transaction individually, the transactions are “aggregated” into a single item (summary block), and then verified, and all transactions are approved at the same time.

working principle

The user signs the transaction and submits it to the verifier.

The verifier aggregates thousands of transactions into one block, and submits the cryptographic promise (root hash) of the new state together with the cryptographic proof (SNARK) to the smart contract on the mainnet, proving that the new state is indeed correct. The transaction is applied to the old state.

In addition to the proof, the state (a small amount of data for each transaction) publishes calldata on the main chain network at a low price. This allows anyone to rebuild the state at any time.

The proof and status are verified by smart contracts, thereby verifying the validity of all transactions contained in the block and the availability of block data.

SNARK verification is much cheaper than verifying each transaction individually, and storing the state off-chain is much cheaper than storing it on the EVM. Therefore, scalability can be greatly improved (about 100-200 times the main network capacity) and tx costs can be saved.

Ultimately, the zkRollup architecture provides the following guarantees:

The verifier will never destroy the state or steal funds (unlike a sidechain);

Even if the validator stops cooperating, the user can always withdraw funds from the zkRollup smart contract because the data is available (unlike Plasma);

Neither users nor a single trusted third party need to monitor zkRollup blocks online to prevent fraud (unlike anti-fraud systems, such as payment channels or Optimistic Rollups);

It can be concluded that zkRollup strictly inherits the security of the underlying L1.

Posted by:CoinYuppie,Reprinted with attribution to:https://coinyuppie.com/brief-description-of-the-operating-principle-of-zksync/
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-12-09 09:06
Next 2021-12-09 09:10

Related articles