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.
Silently Verifiable Proofs Achieve Constant Communication Batch Zero-Knowledge Verification
Silently Verifiable Proofs introduce a zero-knowledge primitive that enables constant-cost batch verification, unlocking massive private data aggregation and rollup scaling.
