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