Users can communicate with solidity code and generate traces (state transformations). Then the traces are sent towards the CPU circuit which verifies the state updates are proper recursively (or in parallel) coupled with 1 succinct proof. To celebrate the launch of Scroll’s mainnet we’ve partnered with Galxe to provide early https://www.scrollbridge.com/