Users can interact with solidity code and generate traces (state transformations). Then the traces are sent towards the CPU circuit which verifies the condition updates are appropriate recursively (or in parallel) coupled with a person succinct proof. For a further comprehension of Scroll’s underlying architecture and engineering stack, you are https://www.scrollbridge.com/