Paper 2018/241

zkLedger: Privacy-Preserving Auditing for Distributed Ledgers

Neha Narula, Willy Vasquez, and Madars Virza

Abstract

Distributed ledgers (e.g. blockchains) enable financial institutions to efficiently reconcile cross-organization transactions. For example, banks might use a distributed ledger as a settlement log for digital assets. Unfortunately, these ledgers are either entirely public to all participants, revealing sensitive strategy and trading information, or are private but do not support third-party auditing without revealing the contents of transactions to the auditor. Auditing and financial oversight are critical to proving institutions are complying with regulation. This paper presents zkLedger, the first system to protect ledger participants' privacy and provide fast, provably correct auditing. Banks create digital asset transactions that are visible only to the organizations party to the transaction, but are publicly verifiable. An auditor sends queries to banks, for example "What is the outstanding amount of a certain digital asset on your balance sheet?" and gets a response and cryptographic assurance that the response is correct. zkLedger has two important benefits over previous work. First, zkLedger provides fast, rich auditing with a new proof scheme using Schnorr-type non-interactive zero-knowledge proofs. Unlike zkSNARKs, our techniques do not require trusted setup and only rely on widely-used cryptographic assumptions. Second, zkLedger provides *completeness*; it uses a columnar ledger construction so that banks cannot hide transactions from the auditor, and participants can use rolling caches to produce and verify answers quickly. We implement a distributed version of zkLedger that can produce provably-correct answers to auditor queries on a ledger with a hundred thousand transactions in less than 10 milliseconds.

Metadata
Available format(s)
PDF
Category
Applications
Publication info
Published elsewhere. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI '18)
Keywords
auditingdistributed ledgerszero-knowledge proofs
Contact author(s)
zkledger @ mit edu
History
2018-03-05: received
Short URL
https://ia.cr/2018/241
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2018/241,
      author = {Neha Narula and Willy Vasquez and Madars Virza},
      title = {zkLedger: Privacy-Preserving Auditing for Distributed Ledgers},
      howpublished = {Cryptology ePrint Archive, Paper 2018/241},
      year = {2018},
      note = {\url{https://eprint.iacr.org/2018/241}},
      url = {https://eprint.iacr.org/2018/241}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.