People can connect with solidity code and produce traces (state transformations). Then the traces are sent on the CPU circuit which verifies the condition updates are proper recursively (or in parallel) as well as one succinct proof. We hope to assist current main DeFi projects within the Ethereum network by https://www.scrollbridge.com/