People can connect with solidity code and produce traces (state transformations). Then the traces are sent for the CPU circuit which verifies the condition updates are suitable recursively (or in parallel) together with one particular succinct proof. To rejoice the start of Scroll’s mainnet we’ve partnered with Galxe to supply https://www.scrollbridge.com/