Buyers can interact with solidity code and create traces (condition transformations). Then the traces are sent towards the CPU circuit which verifies the condition updates are proper recursively (or in parallel) along with just one succinct proof. 3rd, Scroll introduces Layer two mining, strong and permissionless mining which incentivizes miners https://www.scrollbridge.com/