Consumers can communicate with solidity code and crank out traces (condition transformations). Then the traces are despatched to the CPU circuit which verifies the state updates are correct recursively (or in parallel) in conjunction with one succinct proof. Regarding feasible permissionlessly callable entry points, the L2 Gateway Architecture is similar https://www.scrollbridge.com/