the private rollup on ethereum: contracts keep private state in encrypted notes, users prove correct execution client-side, and a public L1 settles the aggregate. Noir, its language, compiles ordinary-looking programs into circuits — privacy as a compiler target, not a ritual
the lesson: private computation and public consensus can share one settlement layer — the split between what is proven and what is shown is drawn per contract, exactly the aggregate-public individual-private boundary bbg draws per block