Sublinear-Space Zero-Knowledge Proofs Enable Pervasive Verifiable Computation.
This research introduces the first sublinear-space zero-knowledge prover, transforming proof generation into a tree evaluation problem to unlock on-device verifiable computation.
OR-Aggregation Revolutionizes Zero-Knowledge Set Membership for IoT Networks
A novel OR-aggregation technique dramatically improves zero-knowledge set membership proofs, enabling scalable, privacy-preserving data management in resource-constrained IoT environments.
OR-Aggregation: Constant-Size ZKPs for Resource-Constrained Networks
This research introduces a novel OR-aggregation technique, fundamentally transforming privacy and verifiable computation efficiency in resource-constrained environments.
