IP Library Granted Patent US 12,561,472
Granted Patent B2
US 12,561,472 · App. 18/582,013 · Granted Feb 24, 2026

Methods for verifying database query results and devices thereof

Inventors: Jay Thomas White (Lexington, KY); Scott Edward Daly Dykstra (Fort Myers, FL)
Assignee: MAKEINFINITE LABS, INC.
G06F21/6227G06F2221/2101G06F2221/2115
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 12,561,472
App. No.
18/582,013
Granted
Feb 24, 2026
Kind
B2
Abstract

Methods, non-transitory computer readable media, and verifier and/or prover devices or query verification apparatuses are disclosed that generate a first commitment from received data and send the received data to a prover device for insertion into a table of a database. A query result and an overall proof are received from the prover device in response to a received query forwarded to the prover device and associated with the database table. The overall proof is generated from one or more partial proofs comprising one or more commitments generated from one or more intermediate values. The query result and an indication the query result was verified are returned in response to the received query after verifying the query result based on a second commitment to the query result generated using the first commitment and the overall proof.

Claims (31)

1 . One or more non-transitory computer readable media having stored thereon instructions comprising executable code that, when executed by one or more processors, causes the one or more processors to:

provide to a prover a received query associated with at least a portion of a database;

obtain a commitment to the at least a portion of the database;

obtain from the prover based on the received query a query result and a proof associated with the at least a portion of the database;

return the query result associated with the at least a portion of the database in response to the received query, when the query result is successfully verified against the proof based on the commitment; and

update the commitment following receipt of additional data to be appended to the at least a portion of the database.

2 . The one or more non-transitory computer readable media of claim 1 , wherein the proof comprises the query result.

3 . The one or more non-transitory computer readable media of claim 1 , wherein the received query is received from a client, an intermediary, or a gateway.

4 . The one or more non-transitory computer readable media of claim 3 , wherein the query result is returned to the client, intermediary, or gateway from which the received query is received.

5 . The one or more non-transitory computer readable media of claim 1 , wherein the prover is external to a blockchain network hosting the database which comprises a database.

6 . A system, comprising one or more verifiers, gateways, intermediaries, or clients comprising memory comprising instructions stored thereon and one or more processors coupled to the memory and configured to execute the instructions to:

provide to one or more provers a received query associated with at least a portion of a database;

obtain a commitment to the at least a portion of the database and, from the one or more provers, a query result and a proof associated with the at least a portion of the database;

return the query result in response to the received query, when the query result is successfully verified against the proof based on the commitment; and

update the commitment following receipt of additional data to be appended to the at least a portion of the database.

7 . The system of claim 6 , wherein the proof comprises the query result.

8 . The system of claim 6 , wherein the received query is received from one of the one or more verifiers, gateways, intermediaries, or clients.

9 . The system of claim 8 , wherein the query result is returned to the one of the one or more verifiers, gateways, intermediaries, or clients from which the received query is received.

10 . The system of claim 6 , wherein the one or more provers are external to a blockchain network hosting the database which comprises a blockchain database.

11 . A method, comprising:

providing to a prover a query associated with a portion of a database;

obtaining a commitment to the portion of the database;

obtaining from the prover a result for the query and a proof associated with the portion of the database;

verifying the result against the proof based on the commitment, wherein the verification confirms accuracy of the result for subsequent use; and

updating the commitment following receipt of additional data to be appended to the portion of the database.

12 . The method of claim 11 , wherein the database comprises a blockchain database.

13 . The method of claim 12 , wherein the method is implemented by one or more verifiers of a query verification apparatus that comprises nodes of a blockchain network hosting the database.

14 . The method of claim 13 , wherein the prover is external to the blockchain network.

15 . The method of claim 11 , wherein the proof comprises the result.

16 . The method of claim 11 , further comprising receiving the query from a verifier, a gateway, an intermediary, or a client.

17 . The method of claim 16 , wherein the result is returned to the verifier, gateway, intermediary, or client from which the query is received.

Assignments (1)
CHANGE OF NAME Recorded Sep 17, 2025
From: SPACE AND TIME LABS, INC.
To: MAKEINFINITE LABS, INC.
Reel/Frame 072909/0151 →
Continuity (5)
Continuation 18527580 · Dec 4, 2023
Continuation 18079381 · Dec 12, 2022
Continuation 17897102 · Aug 26, 2022
Provisional Application 63357930 · Jul 1, 2022
Related Publication 20240202356A1 · Jun 20, 2024
References Cited (21)
US 10628389B2 · Bordens · 2020 [cited by examiner]
US 11489819B2 · Afshar · 2022 [cited by examiner]
US 11526622B1 · White · 2022 [cited by examiner]
US 11588803B2 · Padmanabhan · 2023 [cited by examiner]
US 11874948B1 · White · 2024 [cited by examiner]
US 12001582B2 · White · 2024 [cited by examiner]
US 12010237B2 · Ragnoli · 2024 [cited by examiner]
US 12034706B2 · Afshar · 2024 [cited by examiner]
US 12265522B2 · Bjones · 2025 [cited by examiner]
US 20120209822A1 · Prabhakar · 2012 [cited by applicant]
US 20200304309A1 · Naqvi · 2020 [cited by applicant]
CN 111783108A · 2020 [cited by applicant]
WO 2008147400A1 · 2008 [cited by applicant]
WO 2024233877A2 · 2024 [cited by applicant]
Second Office Action dated Oct. 12, 2024. China Patent Application No. 202280008892.2. [cited by applicant]
Privacy-Preserving Computation and Verification of Aggregate Queries on Outsourced Databases, Brian Thompson et al., Privacy Enhancing Technologies, pp. 185-201, Aug. 5, 2009. [cited by applicant]
Extended European Search Report for EP application No. 22902452.6, dated Dec. 12, 2022. [cited by applicant]
Mykletun, et al., “Authentication and Integrity in Outsourced Databases,” ACM Transactions on Storage, 2:2 (pp. 107-138) (May 2006). [cited by applicant]
Thompson, et al., “Privacy-Preserving Computation and Verification of Aggregate Queries on Outsources Databases,” PETS 2009, LNCS 5672, pp. 185-201 (2009). [cited by applicant]
Zhang, et al., “IntegriDB: Verifiable SQL for Outsources Databases,” 2015 ACM. ISBN 978-1-4503-3832 (May 15, 2010). [cited by applicant]
Zhang, et al., “vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsources Databases,” 2017 IEEE Symposium on Security and Privacy. [cited by applicant]