NIZK from SNARGs. - Kitagawa, Fuyuki; Matsuda, Takahiro; Yamakawa, Takashi (Journal of Cryptology, 2023)