Cryptology ePrint Archive: Report 2021/627

Client-Auditable Verifiable Registries

Nirvan Tyagi and Ben Fisch and Joseph Bonneau and Stefano Tessaro

Abstract: Verifiable registries allow clients to securely access a key-value mapping maintained by an untrusted server. Applications include distribution of public keys, routing information or software binaries. Existing proposals for verifiable registries rely on global invariants being audited whenever the registry is updated. Clients typically rely on trusted third-party auditors, as large registries become expensive to audit.

We propose several new protocols for client-auditable registries that enable efficient verification of many updates to the registry, removing the need for third-party auditors. Our solutions use incrementally-verifiable computation (IVC) and/or RSA accumulators. Our evaluation shows that our constructions meet practical throughput requirements ($60$ updates / second), which is $100\times$ faster than naive solutions using IVC. Clients save $100$--$10^4\times$ bandwidth and computation costs over prior solutions requiring auditing every update.

Category / Keywords: applications / public key infrastructure, transparency, authenticated data structures, RSA accumulators, incrementally-verifiable computation

Date: received 12 May 2021, last revised 12 May 2021

Contact author: nirvan tyagi at gmail com

Available format(s): PDF | BibTeX Citation

Version: 20210517:063138 (All versions of this report)

Short URL: ia.cr/2021/627


[ Cryptology ePrint archive ]