Paper 2023/1156
Instant Zero Knowledge Proof of Reserve
, Hofstra UniversityAbstract
We present a non-interactive and public verifier scheme that allows one to assert the asset of a financial organization instantly and incrementally in zero knowledge with high throughput. It is enabled by the recent breakthrough in lookup argument, where the prover cost can be independent of the lookup table size after a pre-processing step. We extend the cq protocol and develop an aggregated non-membership proof for zero knowledge sets. Based on it, we design a non-intrusive protocol that works for pseudo-anonymous cryptocurrencies such as BTC. It has O(n log(n)) prover complexity and O(1) proof size, where n is the platform throughput (instead of anonymity set size). We implement and evaluate the protocol. Running on a 56-core server, it supports 1024 transactions per second.
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint.
- Keywords
- Proof of ReserveProof of AssetSolvencyLookup ArgumentZero KnowledgeAggregated Non-Membership ProofZero Knowledge Set Disjoint Proof
- Contact author(s)
-
tconley1 @ pride hofstra edu
ndiaz5 @ pride hofstra edu
despada1 @ pride hofstra edu
akuruvilla1 @ pride hofstra edu
Xiang Fu @ hofstra edu - History
- 2023-12-17: last of 2 revisions
- 2023-07-26: received
- See all versions
- Short URL
- https://ia.cr/2023/1156
- License
-
CC BY-NC
BibTeX
@misc{cryptoeprint:2023/1156,
author = {Trevor Conley and Nilsso Diaz and Diego Espada and Alvin Kuruvilla and Xiang Fu},
title = {Instant Zero Knowledge Proof of Reserve},
howpublished = {Cryptology ePrint Archive, Paper 2023/1156},
year = {2023},
note = {\url{https://eprint.iacr.org/2023/1156}},
url = {https://eprint.iacr.org/2023/1156}
}
