End users can communicate with solidity code and create traces (point out transformations). Then the traces are sent towards the CPU circuit which verifies the point out updates are accurate recursively (or in parallel) in addition to just one succinct proof. To celebrate the launch of Scroll’s mainnet we’ve partnered https://www.scrollbridge.com/