zkSync is a scaling and privacy engine for Ethereum. Its current functionality scope includes low gas transfers of ETH and ERC20 tokens in the Ethereum network, atomic swaps & limit orders as well as native L2 NFT support.

zkSync is built on ZK Rollup architecture. ZK Rollup is an L2 scaling solution in which all funds are held by a smart contract on the mainchain, while computation and storage are performed off-chain. For every Rollup block, a state transition zero-knowledge proof (SNARK) is generated and verified by the mainchain contract. This SNARK includes the proof of the validity of every single transaction in the Rollup block. Additionally, the public data update for every block is published over the mainchain network in the cheap calldata.

This architecture provides the following guarantees:

• The Rollup validator(s) can never corrupt the state or steal funds (unlike Sidechains).

• Users can always retrieve the funds from the Rollup even if validator(s) stop cooperating because the data is available (unlike Plasma).

• Thanks to validity proofs, neither users nor a single other trusted party needs to be online to monitor Rollup blocks in order to prevent fraud (unlike payment channels or Optimistic Rollups).

In other words, ZK Rollup strictly inherits the security guarantees of the underlying L1.

What can zkSync do?

First of all, zkSync, as a scaling solution, is capable of making transfers, and doing them quick and cheap. Interfaces and principles of the core zkSync functionality are covered in the payments section of this documentation.

Secondly, zkSync is smart-contract friendly. As of February 2022, zkSync 2.0 testnet has been live featuring smart contracts in Solidity or reusing existing Solidity code.

Thirdly, zkSync is friendly for exchanges. Atomic swaps — an essential component of exchange protocols — are already available on mainnet!

Fourthly and lastly, zkSync has native support of NFTs.

Take the opportunity, let’s build and explore on zkSync

zkSync is a scaling and privacy engine for Ethereum. Its current functionality scope includes low gas transfers of ETH and ERC20 tokens in the Ethereum network, atomic swaps & limit orders as well as native L2 NFT support.

zkSync is built on ZK Rollup architecture. ZK Rollup is an L2 scaling solution in which all funds are held by a smart contract on the mainchain, while computation and storage are performed off-chain. For every Rollup block, a state transition zero-knowledge proof (SNARK) is generated and verified by the mainchain contract. This SNARK includes the proof of the validity of every single transaction in the Rollup block. Additionally, the public data update for every block is published over the mainchain network in the cheap calldata.

This architecture provides the following guarantees:

• The Rollup validator(s) can never corrupt the state or steal funds (unlike Sidechains).

• Users can always retrieve the funds from the Rollup even if validator(s) stop cooperating because the data is available (unlike Plasma).

• Thanks to validity proofs, neither users nor a single other trusted party needs to be online to monitor Rollup blocks in order to prevent fraud (unlike payment channels or Optimistic Rollups).

In other words, ZK Rollup strictly inherits the security guarantees of the underlying L1.

What can zkSync do?

First of all, zkSync, as a scaling solution, is capable of making transfers, and doing them quick and cheap. Interfaces and principles of the core zkSync functionality are covered in the payments section of this documentation.

Secondly, zkSync is smart-contract friendly. As of February 2022, zkSync 2.0 testnet has been live featuring smart contracts in Solidity or reusing existing Solidity code.

Thirdly, zkSync is friendly for exchanges. Atomic swaps — an essential component of exchange protocols — are already available on mainnet!

Fourthly and lastly, zkSync has native support of NFTs.

Take the opportunity, let’s build and explore on zkSync