Vector-OLE Enables Efficient Zero-Knowledge Proofs over Integer Rings
A new Vector-OLE protocol provides maliciously secure, high-speed Zero-Knowledge Proofs over the integer ring $mathbb{Z}_{2^k}$, fundamentally aligning verifiable computation with modern CPU arithmetic.
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.
