CPC G06F 16/2379 (2019.01) [G06F 16/2237 (2019.01); G06F 16/2455 (2019.01)] | 24 Claims |
1. A method for verifying vector database query results, the method implemented by a query verification apparatus and comprising:
receiving a result vector, a first index to the result vector, a range proof, and an inner product proof from one or more prover devices after providing a query vector to the one or more prover devices, wherein the one or more prover devices host a vector database comprising rows and columns;
generating, based on a stored first commitment to the rows, second and third commitments to a distance vector and a random linear combination vector, respectively;
checking the range proof using the second commitment and the inner product proof using the third commitment and one of a plurality of generators used to generate the stored first commitment, wherein the one of the generators is identified based on the first index; and
returning the result vector after confirming the result vector is one of the rows and each of the rows is at least as far from the query vector as the result vector based on the check of the inner product and range proofs, respectively.
|