Users can interact with solidity code and create traces (point out transformations). Then the traces are despatched towards the CPU circuit which verifies the condition updates are correct recursively (or in parallel) coupled with just one succinct evidence. To celebrate the launch of Scroll’s mainnet we’ve partnered with Galxe to https://www.scrollbridge.com/