Helger Lipmaa. A Unified Framework for Non-Universal SNARKs. In Goichiro Hanaoka, editor, PKC 2022, volume ? of Lecture Notes in Computer Science, pages ?–?, Yokohama, Japan, March 7–11, 2022. Springer, Cham