People can connect with solidity code and produce traces (point out transformations). Then the traces are sent to the CPU circuit which verifies the state updates are accurate recursively (or in parallel) together with a single succinct evidence. With regards to probable permissionlessly callable entry factors, the L2 Gateway Architecture https://www.scrollbridge.com/