People can communicate with solidity code and crank out traces (state transformations). Then the traces are despatched for the CPU circuit which verifies the state updates are proper recursively (or in parallel) together with 1 succinct proof. All lanes on Georgetown Pike around the northern part of your bridge and https://www.scrollbridge.com/