Users can interact with solidity code and create traces (condition transformations). Then the traces are sent on the CPU circuit which verifies the condition updates are proper recursively (or in parallel) along with 1 succinct proof. We could go on at duration about what a effortless service We've got, but https://bookmarklethq.com/story17736447/the-2-minute-rule-for-scroll-bridge