Nova: Efficient Recursive Zero-Knowledge Proofs for Incremental Computation
Nova introduces a novel protocol for incrementally verifiable computation using folding schemes, dramatically reducing proof size and verifier overhead for sequential computations.
Sublinear-Space Zero-Knowledge Proofs Enable Efficient On-Device Verification
This research introduces the first sublinear-space zero-knowledge prover, reframing proof generation as a tree evaluation problem to unlock on-device verifiable computation.
KuCoin Web3 Wallet Partners Boundless for ZKC Airdrop Event
This strategic collaboration integrates zero-knowledge technology into a major Web3 wallet, enhancing user efficiency and driving ecosystem adoption through a targeted airdrop.
Zero-Knowledge Proofs: Applications, Infrastructure, and Future Directions
This comprehensive survey illuminates how Zero-Knowledge Proofs enable privacy and scalability across diverse digital systems, from blockchain to AI.
Post-Quantum Identity-Based Blind Signatures Enhance Privacy and Verifier Honesty
A novel identity-based blind signature scheme leverages post-quantum cryptography and zero-knowledge proofs for secure, private, and efficient authentication.
General-Purpose Zero-Knowledge Proofs Enhance Verifiable Credential Privacy
This research leverages zk-SNARKs to enable flexible, privacy-preserving verification logic for digital identities, fundamentally transforming data minimization in decentralized systems.
Folding Schemes Enable Efficient Recursive Zero-Knowledge Arguments
A new cryptographic primitive, the folding scheme, dramatically reduces recursive proof overhead, unlocking practical incrementally verifiable computation.
Folding Schemes Revolutionize Recursive Zero-Knowledge Arguments for Efficient Verifiable Computation
Folding schemes enable highly efficient recursive proof composition, fundamentally advancing scalable and verifiable computation for decentralized systems.
Affine One-Wayness: Post-Quantum Temporal Verification for Distributed Systems
Affine One-Wayness (AOW) is a novel post-quantum cryptographic primitive, securing verifiable temporal ordering in distributed systems without trusted clocks.
