Hyperproofs: Faster Merkle proof aggregation without SNARKs vector commitments (VCs) inner product arguments (IPAs) Nov 18, 2022 tl;dr: For now, see our Hyperproofs paper1. $$ \def\Adv{\mathcal{A}} \def\Badv{\mathcal{B}} \def\vect#1{\mathbf{#1}} $$ Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments, by Shravan Srinivasan and Alexander Chepurnoy and Charalampos Papamanthou and Alin Tomescu and Yupeng Zhang, in 31st USENIX Security Symposium (USENIX Security 22), 2022, [URL] ↩ PREVIOUSAre there cryptographic accumulators without trusted setup?NEXTPairings or bilinear maps