Users can communicate with solidity code and generate traces (condition transformations). Then the traces are despatched on the CPU circuit which verifies the state updates are appropriate recursively (or in parallel) coupled with just one succinct evidence. Third, Scroll introduces Layer 2 mining, strong and permissionless mining which incentivizes miners https://www.scrollbridge.com/