End users can connect with solidity code and generate traces (point out transformations). Then the traces are despatched towards the CPU circuit which verifies the point out updates are suitable recursively (or in parallel) together with one particular succinct proof. All lanes on Georgetown Pike to the northern segment of https://www.scrollbridge.com/