This sooner or later results in zkVM and will make copyright less difficult emigrate. The CPU circuit and its interior proof recursion are demonstrated in Determine 3. It truly is moved off-chain (circuit sort) as well as integrity with the computations will probably be verified by way of succinct evidence. https://www.scrollbridge.com/