3

BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper
A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
Split Prover Zero-Knowledge SNARKs
Threshold Encryption with Silent Setup
Distributed Broadcast Encryption from Bilinear Groups