People can connect with solidity code and produce traces (state transformations). Then the traces are sent on the CPU circuit which verifies the state updates are appropriate recursively (or in parallel) coupled with one succinct proof. We could go on at length about what a practical assistance Now we have, https://www.scrollbridge.com/