Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
their use case of proving execution of single steps, rather than writing an interpreter for the EVM. An example of an optimisation they made was to change the structure of the VM memory to be immutable, so it can always be accessed in constant time rather than logarithmic as the current EVM