zkSync: A Scalable and Secure Layer-2 Solution for Ethereum