People can connect with solidity code and produce traces (state transformations). Then the traces are sent for the CPU circuit which verifies the condition updates are proper recursively (or in parallel) coupled with 1 succinct proof. Sign up now!Register to our e-newsletter now to hear all about rhino.fi’s future mystery https://www.scrollbridge.com/