Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
breaking them down into sub-instructions the sum of which would equate to the execution of the original instruction. Lifetime of a contract in Macula Use an existing architecture more amenable to proving and implement an EVM interpreter for it. The Cannon project extracts the parts of Geth used for