Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
a non-interactive fraud proof? Well actually, yes! There are currently two known approaches to this: Zero knowledge proofs for the full state transition. There are still a number of challenges that need to be overcome before zk proofs for full transactions can be produced in short (block time)