Instant Zero Knowledge Proof of Reserve

ePrint Report: Instant Zero Knowledge Proof of Reserve

Xiang Fu

We present two zero knowledge protocols that allow one to assert solvency of a financial organization instantly with high throughput. The
scheme is enabled by the recent breakthrough in lookup argument, i.e., after a pre-processing step, the prover cost can be independent of the lookup
table size for subsequent queries. We extend the cq protocol [EFG22] and
develop an aggregated non-membership proof for zero knowledge sets.
Based on it, we …

argument cost eprint report financial high knowledge organization proof protocols report zero knowledge zero knowledge proof