Silently Verifiable Proofs Achieve Constant-Cost Private Batch Aggregation
A novel proof system enables verifiers to check countless independent, secret-shared computations with a single, constant-sized message exchange, drastically scaling private data aggregation.
