Buyers can interact with solidity code and create traces (condition transformations). Then the traces are despatched to your CPU circuit which verifies the condition updates are correct recursively (or in parallel) in conjunction with a single succinct proof. For the deeper knowledge of Scroll’s fundamental architecture and engineering stack, you'll https://www.scrollbridge.com/