End users can communicate with solidity code and generate traces (state transformations). Then the traces are sent towards the CPU circuit which verifies the state updates are proper recursively (or in parallel) coupled with 1 succinct proof. You can e-mail the internet site owner to let them know you ended https://www.scrollbridge.com/