Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
verifying a block. It then compiles those parts of Geth to an instruction set more amenable to proving — such as MIPS or RISC-V. When this MIPS-Geth is used to verify a block an execution trace is recorded. It is this execution trace that two parties can bisect to find a single instruction they