IMDEA Software

IMDEA initiative

Home > Events > Software Seminar Series > 2020 > Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage

Dimitris Kolonelos

Tuesday, November 24, 2020

11:00am Zoom3 - https://zoom.us/j/3911012202 (pass: s3)

Dimitris Kolonelos, PhD Student, IMDEA Software Institute

Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage

Abstract:

Vector commitments with subvector openings (SVC) [Lai-Malavolta, Boneh-Bunz-Fisch; CRYPTO’19] allow one to open a committed vector at a set of positions with an opening of size independent of both the vector’s length and the number of opened positions. We continue the study of SVC with two goals in mind: improving their efficiency and making them more suitable to decentralized settings. We address both problems by proposing a new notion for VC that we call incremental aggregation and that allows one to merge openings in a succinct way an unbounded number of times. We show two applications of this property. The first one is immediate and is a method to generate openings in a distributed way. For the second one, we use incremental aggregation to design an algorithm for faster generation of openings via preprocessing. We then proceed to realize SVC with incremental aggregation. We provide two constructions in groups of unknown order that, similarly to that of Boneh et al. (which supports only one-hop aggregation), have constant-size public parameters, commitments and openings. As an additional feature, for the first construction we propose efficient arguments of knowledge of subvector openings which immediately yields a keyless proof of storage with compact proofs. Finally, we address a problem closely related to that of SVC: storing a file efficiently in completely decentralized networks. We introduce and construct verifiable decentralized storage (VDS), a crypto-graphic primitive that allows to check the integrity of a file stored by a network of nodes in a distributed and decentralized way. Our VDS constructions rely on our new vector commitment techniques. This is joint work with Matteo Campanelli, Dario Fiore, Nicola Greco and Luca Nizzardo. It’ll appear next month at Asiacrypt but it’s not a strict rehearsal.