Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
Stateless clients accept transactions accompanied by state and execute them against their stored state root to produce a new state root. If instead of executing received transactions against their stored state root they executed them against a provided one then they would be able to re-execute