People can interact with solidity code and create traces (point out transformations). Then the traces are sent on the CPU circuit which verifies the condition updates are proper recursively (or in parallel) coupled with 1 succinct proof. All lanes on Georgetown Pike about the northern section of your bridge and https://bookmarksknot.com/story19377608/scroll-bridge-fundamentals-explained