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.
This document is a description of the zkSync smart contracts.
zkSync strictly inherits the security assumptions of L1 here.
The changelog of the contracts is avaliable here.