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 a single succinct proof. To celebrate the start of Scroll’s mainnet we’ve partnered with Galxe to provide https://techonpage.com/story3062504/rumored-buzz-on-scroll-bridge