Users can interact with solidity code and make traces (state transformations). Then the traces are despatched into the CPU circuit which verifies the point out updates are right recursively (or in parallel) together with just one succinct evidence. We could go on at size about what a practical assistance We've, https://www.scrollbridge.com/