International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups

Authors:
Dario Catalano , University of Catania
Dario Fiore , IMDEA Software institute
Rosario Gennaro , Protocol Labs
Emanuele Giunta , IMDEA Software institute
Download:
Search ePrint
Search Google
Presentation: Slides
Conference: TCC 2022
Abstract: Vector Commitments allow one to (concisely) commit to a vector of messages so that one can later (concisely) open the commitment at selected locations. In the state of the art of vector commitments, {\em algebraic} constructions have emerged as a particularly useful class, as they enable advanced properties, such as stateless updates, subvector openings and aggregation, that are for example unknown in Merkle-tree-based schemes. In spite of their popularity, algebraic vector commitments remain poorly understood objects. In particular, no construction in standard prime order groups (without pairing) is known. In this paper, we shed light on this state of affairs by showing that a large class of concise algebraic vector commitments in pairing-free, prime order groups are impossible to realize. Our results also preclude any cryptographic primitive that implies the algebraic vector commitments we rule out, as special cases. This means that we also show the impossibility, for instance, of succinct polynomial commitments and functional commitments (for all classes of functions including linear forms) in pairing-free groups of prime order.
BibTeX
@inproceedings{tcc-2022-32552,
  title={On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups},
  publisher={Springer-Verlag},
  author={Dario Catalano and Dario Fiore and Rosario Gennaro and Emanuele Giunta},
  year=2022
}