Buyers can communicate with solidity code and generate traces (point out transformations). Then the traces are sent into the CPU circuit which verifies the state updates are appropriate recursively (or in parallel) as well as one succinct proof. Third, Scroll introduces Layer 2 mining, sturdy and permissionless mining which incentivizes https://www.scrollbridge.com/