Methods for verifying database query results and devices thereof
AssigneeMakeinfinite Labs, Inc.
InventorsJay Thomas White, Scott Edward Daly Dykstra
Life of this patent
Estimating the term…
Loading patent…
AssigneeMakeinfinite Labs, Inc.
InventorsJay Thomas White, Scott Edward Daly Dykstra
Estimating the term…
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.
A non-transitory computer readable medium having stored thereon instructions comprising executable code that, when executed by one or more processors, causes the one or more processors to:
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:
A method, comprising:
Dependencies are inferred from the claim text.