Zero-Knowledge Proofs Achieve Sublinear Memory Scaling for Ubiquitous Verification
Research introduces the first sublinear memory ZKP system, reducing prover memory from linear to square-root complexity, enabling verifiable computation on mobile devices.
Distributed Verifiable Computation Secures Input Privacy and Fault Tolerance
A new distributed verifiable computation primitive guarantees input privacy and result recovery against colluding workers using cryptographic encoding.
Threshold Cryptography Secures Decentralized Fairness and Verifiable Privacy
Integrating Threshold Paillier Cryptosystems into decentralized work protocols ensures verifiable computation and dual fairness without compromising worker privacy.
Code-Based Homomorphic Encryption Achieves Quantum-Safe Privacy-Preserving Computation
Code-based homomorphic encryption leverages NP-hard decoding problems to construct quantum-resistant privacy primitives, securing future decentralized computation.
Sublinear Memory Zero-Knowledge Proofs Democratize Verifiable Computation for All Devices
Cryptographers achieved square-root memory scaling for ZKPs, solving the core resource bottleneck and enabling verifiable computation on mobile devices.
Zero-Knowledge Proof of Training Secures Decentralized Machine Learning
ZKPoT leverages zk-SNARKs to cryptographically validate model training contributions, resolving the core privacy-efficiency conflict in federated learning.
Zero-Knowledge Proofs Now Scale Square-Root Memory on Resource-Constrained Devices
A space-efficient tree algorithm cuts ZKP memory from linear to square-root complexity, democratizing verifiable computation on mobile and edge devices.
Zero-Knowledge Proof Consensus Secures Decentralized Machine Learning without Accuracy Trade-Offs
ZKPoT consensus uses zk-SNARKs to privately verify model training quality, resolving the efficiency-privacy trade-off in decentralized AI.
Sublinear Zero-Knowledge Proofs Democratize Verifiable Computation and Privacy
Sublinear memory scaling for ZKPs breaks the computation size bottleneck, enabling universal verifiable privacy on resource-constrained devices.
