Users can interact with solidity code and generate traces (point out transformations). Then the traces are sent to the CPU circuit which verifies the state updates are appropriate recursively (or in parallel) together with a single succinct proof. For a further knowledge of Scroll’s fundamental architecture and know-how stack, you https://www.scrollbridge.com/