AQQUA: Augmenting Quisquis with Auditability. - George Papadoulis; Danai Balla; Panagiotis Grontas; Aris Pagourtzis (IACR Cryptol. ePrint Arch., 2024)