Users can connect with solidity code and generate traces (state transformations). Then the traces are sent for the CPU circuit which verifies the condition updates are proper recursively (or in parallel) along with a single succinct proof. For a further idea of Scroll’s fundamental architecture and know-how stack, it is https://www.scrollbridge.com/