End users can connect with solidity code and create traces (condition transformations). Then the traces are sent for the CPU circuit which verifies the point out updates are suitable recursively (or in parallel) as well as a person succinct proof. Pertaining to achievable permissionlessly callable entry points, the L2 Gateway https://www.scrollbridge.com/