End users can communicate with solidity code and deliver traces (point out transformations). Then the traces are sent into the CPU circuit which verifies the condition updates are suitable recursively (or in parallel) along with one particular succinct proof. To celebrate the launch of Scroll’s mainnet we’ve partnered with Galxe https://1001bookmarks.com/story17671835/not-known-details-about-scroll-bridge