Zero-Knowledge Elementary Databases with Function Queries

ePrint Report: Zero-Knowledge Elementary Databases with Function Queries

Xinxuan Zhang, Yi Deng

Zero-knowledge elementary databases (ZK-EDBs) enable a prover to commit a database ${D}$ of key-value pairs and later prove that ``${x}$ belongs to the support of ${D}$ and ${D}(x)=v$'' or that ``${x}$ does not belong to the support of ${D}$,'' without revealing any extra knowledge (including the size of ${D}$). Recently, Libert et al. (PKC 2019) introduced zero-knowledge expressive elementary databases (ZK-EEDBs) that support richer queries, e.g., range queries …

database databases enable eprint report function key knowledge pkc prove report size support value