Non-Interactive Verifiable Aggregation Secures Private Decentralized Data Computation
A new cryptographic primitive, NIVA, combines functional encryption and verifiable proofs to enable private, robust, and non-interactive data aggregation by untrusted servers.