People can connect with solidity code and produce traces (state transformations). Then the traces are sent for the CPU circuit which verifies the condition updates are correct recursively (or in parallel) in addition to just one succinct evidence. For the deeper idea of Scroll’s fundamental architecture and technological innovation stack, https://bookmark-group.com/story3224634/the-5-second-trick-for-scroll-bridge