Users can communicate with solidity code and generate traces (state transformations). Then the traces are despatched to the CPU circuit which verifies the condition updates are suitable recursively (or in parallel) as well as one succinct proof. Relating to feasible permissionlessly callable entry details, the L2 Gateway Architecture is similar https://www.scrollbridge.com/