Users can interact with solidity code and create traces (condition transformations). Then the traces are sent on the CPU circuit which verifies the condition updates are accurate recursively (or in parallel) along with 1 succinct proof. We price your privacy and offer you a chance to disable sure different types https://www.scrollbridge.com/