End users can communicate with solidity code and deliver traces (condition transformations). Then the traces are sent to your CPU circuit which verifies the state updates are accurate recursively (or in parallel) in addition to one succinct evidence. For the deeper idea of Scroll’s underlying architecture and technological innovation stack, https://www.scrollbridge.com/