Quantum-Secure Zero-Knowledge Proofs via Extractable Homomorphic Commitments
A novel extractable homomorphic commitment primitive enables efficient lattice-based non-interactive zero-knowledge proofs provably secure against quantum adversaries.
Separable Homomorphic Commitment Achieves Constant Overhead for Verifiable Aggregation
The new Separable Homomorphic Commitment primitive reduces client-side overhead from logarithmic to constant time for verifiable, secure data aggregation.
