Lunar: a Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions. - Matteo Campanelli; Antonio Faonio; Dario Fiore 001; Anaïs Querol; Hadrián Rodríguez (IACR Cryptol. ePrint Arch., 2020)