US 11,947,525 B1
Methods for verifying vector database query results and devices thereof
Jay Thomas White, Sioux Center, IA (US); and Scott Edward Daly Dykstra, Seal Beach, CA (US)
Assigned to SPACE AND TIME LABS, INC., San Clemente, CA (US)
Filed by SPACE AND TIME LABS, INC., San Clemente, CA (US)
Filed on Nov. 10, 2023, as Appl. No. 18/388,586.
Int. Cl. G06F 16/23 (2019.01); G06F 16/22 (2019.01); G06F 16/2455 (2019.01)
CPC G06F 16/2379 (2019.01) [G06F 16/2237 (2019.01); G06F 16/2455 (2019.01)] 24 Claims
OG exemplary drawing
 
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.