End users can communicate with solidity code and generate traces (point out transformations). Then the traces are despatched towards the CPU circuit which verifies the state updates are appropriate recursively (or in parallel) coupled with a single succinct proof. For the deeper idea of Scroll’s underlying architecture and technologies stack, https://www.scrollbridge.com/