F-acc — Accumulator, vector commitment

F-acc (Accumulator, vector commitment) is part of Commitments and Proofs in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

The paper introducing this functionality also proves its equivalence with the earlier game-based accumulator definitions.

References:

• Baldimtsi, Canetti, and Yakoubov. Universally composable accumulators. In Topics in Cryptology – CT-RSA 2020, volume 12006 of LNCS, pages 638–666, 2020.