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 accurate recursively (or in parallel) along with 1 succinct proof. For the further understanding of Scroll’s underlying architecture and technologies stack, you are able https://www.scrollbridge.com/