zkSync is a Layer 2 scaling solution that retains the security properties of the underlying blockchain by utilizing the latest generation of succinct zero-knowledge proofs. All funds in zkSync are held by smart contracts on the mainchain, while computation and storage are performed off-chain.