Buyers can interact with solidity code and crank out traces (condition transformations). Then the traces are despatched towards the CPU circuit which verifies the state updates are appropriate recursively (or in parallel) together with a person succinct proof. All lanes on Georgetown Pike around the northern part in the bridge https://www.scrollbridge.com/