verifiable-query.md

verifiable query compilation compile arbitrary CozoDB queries into polynomial opening proofs. NMTs prove completeness for namespace queries. complex queries (range, top-k, multi-hop, temporal) need a general mechanism. the gap bbg provides three proof types: queries users actually want: each of…