query verifiable queries over BBG polynomial state. any query against BBG_poly produces a cryptographic proof that the result is correct and complete. the mechanism BBG_poly(index, key, t) is committed via Brakedown Lens. a query IS a polynomial evaluation. the proof IS a Lens opening. verification…