Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
However, unless using a zk-proof, the transition between the two assertions must be small enough to be executed on-chain which, combined with the current abilities of Ethereum, places severe limitations of the transitions that can be effectively verified by this style of fraud proof. Interactive