Customers can connect with solidity code and make traces (condition transformations). Then the traces are despatched towards the CPU circuit which verifies the condition updates are appropriate recursively (or in parallel) together with 1 succinct evidence. With regards to possible permissionlessly callable entry details, the L2 Gateway Architecture is similar https://www.scrollbridge.com/