A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications

Publication
In CRYPTO 2025