ZK-rollups prove transaction validity up front using cryptographic proofs, enabling faster finality than optimistic rollups without a seven-day withdrawal delay. This post explains the mechanism, the two dominant proof systems, the ZK-EVM compatibility spectrum, and where the constraints actually live.