This eventually results in zkVM and can make copyright simpler to migrate. The CPU circuit and its inside proof recursion are shown in Figure 3. Alternatively, Scroll is working on bytecode compatibility. Bytecode compatibility implies that Solidity, Vyper, and Huff could be right applied without the will need for re-auditing, https://www.scrollbridge.com/