People can connect with solidity code and generate traces (state transformations). Then the traces are sent for the CPU circuit which verifies the condition updates are accurate recursively (or in parallel) in conjunction with 1 succinct proof. We hope to assistance existing foremost DeFi assignments on the Ethereum community by https://www.scrollbridge.com/