People can communicate with solidity code and make traces (point out transformations). Then the traces are sent on the CPU circuit which verifies the condition updates are right recursively (or in parallel) along with 1 succinct evidence. Register now!Sign up to our newsletter now to hear all about rhino.fi’s impending https://www.scrollbridge.com/