End users can communicate with solidity code and deliver traces (condition transformations). Then the traces are despatched to the CPU circuit which verifies the state updates are proper recursively (or in parallel) coupled with a person succinct evidence. We hope to aid current top DeFi initiatives about the Ethereum community https://www.scrollbridge.com/