The ZK Rollup uses zero-knowledge proof technology, and smart contracts judge the accuracy of data by verifying that proof. While users can quickly withdraw funds, its main problem is that it requires the network to have strong arithmetic power to generate zk proofs.