zk-SNARK and zk-STARK are the two common zk-Rollups. SNARK stands for "succinct non-interactive argument of knowledge," which means the proof is small no matter how complicated the matter ...