Users can interact with solidity code and crank out traces (condition transformations). Then the traces are sent to your CPU circuit which verifies the point out updates are correct recursively (or in parallel) in addition to one particular succinct proof. For the further comprehension of Scroll’s fundamental architecture and engineering https://www.scrollbridge.com/