Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
proofs are more complicated to construct safely, and there are current research avenues to find efficient non-interactive fraud proofs that do not impose additional limitations and can still remain compatible with Ethereum. Thanks to Patrick McCorry, Dawn Song, Bennet Yee and Nicholas Liochon for