Sublinear Memory Zero-Knowledge Proofs Democratize Verifiable Computation
Introducing the first ZKP system with memory scaling to the square-root of computation size, this breakthrough enables privacy-preserving verification on edge devices.
Hierarchical Vector Commitments Enable Scalable Dynamic Data Authenticity
This work introduces Hierarchical Vector Commitments, a cryptographic primitive enabling constant-sized proofs for dynamic data authenticity across complex decentralized architectures.
Libra: Optimal Prover Time, Succinct Zero-Knowledge Proofs Achieved
Libra's linear-time GKR prover and efficient zero-knowledge masking reduce proof generation, enabling practical, scalable verifiable computation.
