Cryptography Architecture

Database Setup phase: using the cryptographic public keys computed by a trusted ‘powers of tau’ setup ceremony, the Prover commits the data stored in the database using LVC and KZG commitment schemes. Data commitments are public and may also be computed by the data sources that ship them to the data collector along with the data.

Query Proof Computation phase: after the storage server has computed the query’s result, the Prover computes a corresponding proof using (i) the LVC vector commitments of the elements included in the answer, in order to prove answer’s correctness; (ii) the set accumulators based on the KZG polynomial commitment scheme, in order to prove answer’s completeness. 

Query Proof Verification phase: Once the Verifier has received the query’s answer, the corresponding proof and it has accessed the public data commitments, it separately checks the vector commitments and the set accumulators. If both checks pass, then the query’s answer is verified.