Buyers can interact with solidity code and produce traces (state 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. To rejoice the start of Scroll’s mainnet we’ve partnered with Galxe to supply early https://www.scrollbridge.com/