A zkEVM proves Ethereum-style execution with zero-knowledge math. Learn how validity rollups work, what equivalence means, and where limits remain.