http://invest3znho6fv7qsrxwsvw4j5emdkenuniag7nx4yyddtl2nj642nyd.onion/jaxx-monero/index19.html
They initialize a local EVM copy (which starts as a blank-state EVM), and then go through the process of executing every transaction in every block on top of their local EVM copy, verifying state checksums at each block along the way. Every transaction is mined (included in a new block and propagated for the first time) once, but executed and verified by every participant in the process of advancing the canonical EVM state.