ZK Proof Generation & Verification Explained | The Rollup | Podwise