Users can interact with solidity code and create traces (condition transformations). Then the traces are sent on the CPU circuit which verifies the condition updates are accurate recursively (or in parallel) along with 1 succinct proof. Regarding feasible permissionlessly callable entry factors, the L2 Gateway Architecture is very similar to https://www.scrollbridge.com/