Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
execution. Instead of executing the single step on chain the contract could instead verify that a proof of execution of that single step is valid. Proving large state transitions, such as full transactions, in the zk is currently not possible in short time periods, however producing proofs for a