Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
ZQL: A Compiler for Privacy-Preserving Data Processing

Cedric Fournet, Markulf Kohlweiss, George Danezis, and Zhengqin Luo

Abstract

ZQL is a query language for expressing simple computations on private data. Its compiler produces code to certify data, perform client-side computations, and verify the correctness of their results. Under the hood, it synthesizes zero-knowledge protocols that guarantee both integrity of the query results and privacy for all other data.

We present the ZQL language, its compilation scheme down to concrete cryptography, and the security guarantees it provides. We report on a prototype compiler that produces F# and C++. We evaluate its performance on queries for smart-meter billing, for pay-as-you-drive insurance policies, and for location-based services.

Details

Publication typeTechReport
NumberMSR-TR-2013-25
PublisherMicrosoft Technical Report
> Publications > ZQL: A Compiler for Privacy-Preserving Data Processing