Consumers can communicate with solidity code and deliver traces (point out transformations). Then the traces are despatched to the CPU circuit which verifies the state updates are proper recursively (or in parallel) as well as a person succinct evidence. We could go on at length about what a handy support https://www.scrollbridge.com/