International Association for Cryptologic Research

International Association
for Cryptologic Research


PointProofs, Revisited

Benoît Libert , CNRS and ENS de Lyon
Alain Passelègue , ENS de Lyon and INRIA
Mahshid Riahinia , ENS de Lyon
Search ePrint
Search Google
Presentation: Slides
Conference: ASIACRYPT 2022
Abstract: Vector commitments allow a user to commit to a vector of length n using a constant-size commitment while being able to locally open the commitment to individual vector coordinates. Importantly, the size of position-wise openings should be independent of the dimension n. Gorbunov, Reyzin, Wee, and Zhang recently proposed PointProofs (CCS 2020), a vector commitment scheme that supports non-interactive aggregation of proofs across multiple commitments, allowing to drastically reduce the cost of block propagation in blockchain smart contracts. Gorbunov et al. provide a security analysis combining the algebraic group model and the random oracle model, under the weak n-bilinear Diffie- Hellman Exponent assumption (n-wBDHE) assumption. In this work, we propose a novel analysis that does not rely on the algebraic group model. We prove the security in the random oracle model under the n- Diffie-Hellman Exponent (n-DHE) assumption, which is implied by the n-wBDHE assumption considered by Gorbunov et al. We further note that we do not modify their scheme (and thus preserve its efficiency) nor introduce any additional assumption. Instead, we prove the security of the scheme as it is via a strictly improved analysis.
  title={PointProofs, Revisited},
  author={Benoît Libert and Alain Passelègue and Mahshid Riahinia},