A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications | Publicación