Optimal Prover Time and Succinct Zero-Knowledge Proofs Simultaneously Achieved
Libra achieves linear prover complexity with polylogarithmic verification time, unlocking practical, scalable zero-knowledge computation.
Post-Quantum Signatures from Symmetric-Key ZKPs Halve Proof Size
The ZKB++ protocol converts symmetric-key primitives into post-quantum non-interactive ZK signatures, drastically reducing proof size for future security.
zk-STARKs and Accumulators Secure Scalable Private Decentralized Identity
This framework leverages zk-STARKs for private credential disclosure and cryptographic accumulators for scalable revocation, enabling a trusted, post-quantum data economy.
