Cheaper proofs could widen verification while builders and provers still need the data to keep blocks and rollups moving.