Buyers can communicate with solidity code and deliver traces (point out transformations). Then the traces are despatched to the CPU circuit which verifies the state updates are suitable recursively (or in parallel) in conjunction with just one succinct proof. For just a further idea of Scroll’s underlying architecture and know-how https://www.scrollbridge.com/