Consumers can communicate with solidity code and generate traces (point out transformations). Then the traces are despatched towards the CPU circuit which verifies the state updates are right recursively (or in parallel) coupled with a person succinct proof. All lanes on Georgetown Pike on the northern part of the bridge https://www.scrollbridge.com/