Proof-Carrying Data from Acumulation Schemes
https://eprint.iacr.org/2020/499.pdf