Homonyms
soft3/bbg/specs/query
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…
soft3/cybergraph/specs/query
query cybergraph does not define its own query language. it exposes a set of stored relations and delegates query execution to inf — cyber's declarative datalog layer, implemented via CozoDB. this spec defines only the **relation schema** that cybergraph commits to exposing. the language semantics…
cyb/optica/src/query
query