Consumers can interact with solidity code and generate traces (state transformations). Then the traces are sent to your CPU circuit which verifies the condition updates are correct recursively (or in parallel) as well as one succinct evidence. We could go on at duration about what a convenient service We've, but https://www.scrollbridge.com/