3

Lighthouse: Single-Server Secure Aggregation with O(1) Server-Committee Communication at Scale
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