The on-chain verifier checks the submitted proof is valid before accepting the new state root.

In a ZK rollup, the verifier contract on Ethereum needs only milliseconds to check a proof covering thousands of transactions.