Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
other node behaviour, like reading transactions from their Inbox contracts, into the set of operations that can be proven correct. Arbitrum can use the same type of fraud proof for any behaviour of their node they wish to make provable. One major disadvantage of writing a new VM is that it may not