Customers can interact with solidity code and produce traces (condition transformations). Then the traces are despatched into the CPU circuit which verifies the point out updates are suitable recursively (or in parallel) together with just one succinct proof. With regards to attainable permissionlessly callable entry factors, the L2 Gateway Architecture https://www.scrollbridge.com/