Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers

Matteo Campanelli; Felix Theodor Engelmann; Claudio Orlandi

doi:10.1007/978-3-031-14791-3_33

Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers

Matteo Campanelli
, Felix Theodor Engelmann
, Claudio Orlandi

Center for Information Security and Trust

Protocol Labs
Aarhus University

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Abstract

Commitments to key-value maps (or, authenticated dictionaries) are an important building block
in cryptographic applications, including cryptocurrencies and distributed file systems.
In this work we study short commitments to key-value maps with two additional properties: double-hiding
(both keys and values should be hidden) and homomorphism (we should be able to combine two commitments
to obtain one that is the “sum” of their key-value openings). Furthermore, we require these commitments to
be short and to support efficient transparent zero-knowledge arguments (i.e., without a trusted setup).
As our main contribution, we show how to construct commitments with the properties above as well as
efficient zero-knowledge arguments over them. We additionally discuss a range of practical optimizations
that can be carried out depending on the application domain.
Finally, we formally describe a specific application of commitments to key-value maps to scalable anonymous
ledgers. We show how to extend QuisQuis (Fauzi et al. ASIACRYPT 2019). This results in an efficient,
confidential multi-type system with a state whose size is independent of the number of transactions.

Original language	English
Title of host publication	International Conference on Security and Cryptography for Networks
Volume	2022
Publication date	15 Sept 2022
Pages	761–784
ISBN (Print)	978-3-031-14790-6
ISBN (Electronic)	978-3-031-14791-3
DOIs	https://doi.org/10.1007/978-3-031-14791-3_33
Publication status	Published - 15 Sept 2022
Event	International Conference on Security and Cryptography for Networks - Amalfi, Italy Duration: 12 Sept 2022 → 14 Sept 2022 Conference number: 13 https://scn.unisa.it/scn22/

Conference

Conference	International Conference on Security and Cryptography for Networks
Number	13
Country/Territory	Italy
City	Amalfi
Period	12/09/2022 → 14/09/2022
Internet address	https://scn.unisa.it/scn22/

Keywords

short commitments
double-hiding
homomorphic commitments
zero-knowledge arguments
scalable anonymous ledgers

Access to Document

10.1007/978-3-031-14791-3_33

https://eprint.iacr.org/2021/1678Licence: Unspecified

Cite this

@inproceedings{d6b4f10e419245cd98fd7a57feaa7c54,

title = "Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers",

abstract = "Commitments to key-value maps (or, authenticated dictionaries) are an important building block in cryptographic applications, including cryptocurrencies and distributed file systems. In this work we study short commitments to key-value maps with two additional properties: double-hiding (both keys and values should be hidden) and homomorphism (we should be able to combine two commitments to obtain one that is the “sum” of their key-value openings). Furthermore, we require these commitments to be short and to support efficient transparent zero-knowledge arguments (i.e., without a trusted setup). As our main contribution, we show how to construct commitments with the properties above as well as efficient zero-knowledge arguments over them. We additionally discuss a range of practical optimizations that can be carried out depending on the application domain. Finally, we formally describe a specific application of commitments to key-value maps to scalable anonymous ledgers. We show how to extend QuisQuis (Fauzi et al. ASIACRYPT 2019). This results in an efficient, confidential multi-type system with a state whose size is independent of the number of transactions.",

keywords = "short commitments, double-hiding, homomorphic commitments, zero-knowledge arguments, scalable anonymous ledgers, short commitments, double-hiding, homomorphic commitments, zero-knowledge arguments, scalable anonymous ledgers",

author = "Matteo Campanelli and Engelmann, \{Felix Theodor\} and Claudio Orlandi",

year = "2022",

month = sep,

day = "15",

doi = "10.1007/978-3-031-14791-3\_33",

language = "English",

isbn = "978-3-031-14790-6",

volume = "2022",

pages = "761–784",

booktitle = "International Conference on Security and Cryptography for Networks",

note = "International Conference on Security and Cryptography for Networks ; Conference date: 12-09-2022 Through 14-09-2022",

url = "https://scn.unisa.it/scn22/",

}

Campanelli, M, Engelmann, FT & Orlandi, C 2022, Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers. in International Conference on Security and Cryptography for Networks. vol. 2022, pp. 761–784, International Conference on Security and Cryptography for Networks, Amalfi, Italy, 12/09/2022. https://doi.org/10.1007/978-3-031-14791-3_33

Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers. / Campanelli, Matteo; Engelmann, Felix Theodor; Orlandi, Claudio.
International Conference on Security and Cryptography for Networks. Vol. 2022 2022. p. 761–784.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers

AU - Campanelli, Matteo

AU - Engelmann, Felix Theodor

AU - Orlandi, Claudio

N1 - Conference code: 13

PY - 2022/9/15

Y1 - 2022/9/15

N2 - Commitments to key-value maps (or, authenticated dictionaries) are an important building block in cryptographic applications, including cryptocurrencies and distributed file systems. In this work we study short commitments to key-value maps with two additional properties: double-hiding (both keys and values should be hidden) and homomorphism (we should be able to combine two commitments to obtain one that is the “sum” of their key-value openings). Furthermore, we require these commitments to be short and to support efficient transparent zero-knowledge arguments (i.e., without a trusted setup). As our main contribution, we show how to construct commitments with the properties above as well as efficient zero-knowledge arguments over them. We additionally discuss a range of practical optimizations that can be carried out depending on the application domain. Finally, we formally describe a specific application of commitments to key-value maps to scalable anonymous ledgers. We show how to extend QuisQuis (Fauzi et al. ASIACRYPT 2019). This results in an efficient, confidential multi-type system with a state whose size is independent of the number of transactions.

AB - Commitments to key-value maps (or, authenticated dictionaries) are an important building block in cryptographic applications, including cryptocurrencies and distributed file systems. In this work we study short commitments to key-value maps with two additional properties: double-hiding (both keys and values should be hidden) and homomorphism (we should be able to combine two commitments to obtain one that is the “sum” of their key-value openings). Furthermore, we require these commitments to be short and to support efficient transparent zero-knowledge arguments (i.e., without a trusted setup). As our main contribution, we show how to construct commitments with the properties above as well as efficient zero-knowledge arguments over them. We additionally discuss a range of practical optimizations that can be carried out depending on the application domain. Finally, we formally describe a specific application of commitments to key-value maps to scalable anonymous ledgers. We show how to extend QuisQuis (Fauzi et al. ASIACRYPT 2019). This results in an efficient, confidential multi-type system with a state whose size is independent of the number of transactions.

KW - short commitments

KW - double-hiding

KW - homomorphic commitments

KW - zero-knowledge arguments

KW - scalable anonymous ledgers

KW - short commitments

KW - double-hiding

KW - homomorphic commitments

KW - zero-knowledge arguments

KW - scalable anonymous ledgers

U2 - 10.1007/978-3-031-14791-3_33

DO - 10.1007/978-3-031-14791-3_33

M3 - Article in proceedings

SN - 978-3-031-14790-6

VL - 2022

SP - 761

EP - 784

BT - International Conference on Security and Cryptography for Networks

T2 - International Conference on Security and Cryptography for Networks

Y2 - 12 September 2022 through 14 September 2022

ER -

Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this