Customers can interact with solidity code and generate traces (condition transformations). Then the traces are sent to your CPU circuit which verifies the state updates are proper recursively (or in parallel) as well as 1 succinct proof. You may e mail the location operator to allow them to know you https://www.scrollbridge.com/