Constant-Time Vector Commitment Decouples Prover Work from Circuit Size
This new Constant-Time Vector Commitment scheme shifts prover complexity to pre-processing, enabling $O(1)$ online proofs for massive circuits.
Efficient Non-Malleable Zero-Knowledge via Instance-Based Commitment Primitive
A new commitment primitive enables the first practical non-malleable zero-knowledge proofs, securing concurrent protocols without performance loss.
Vanishing Polynomials Enable Post-Quantum Recursive Zero-Knowledge Scaling
Introducing vanishing polynomial commitments to construct the first lattice-based recursive folding scheme with polylogarithmic verifier complexity.
Efficient Post-Quantum Polynomial Commitments Unlock Scalable Zero-Knowledge Cryptography
Greyhound, a lattice-based polynomial commitment scheme, delivers post-quantum security and vastly smaller proof sizes, enabling practical, future-proof zk-SNARKs.
Lattice-Based Ring Signatures Achieve Post-Quantum Anonymity and Verification Efficiency
ChipmunkRing introduces Acorn Verification, a lattice-based zero-knowledge primitive, to deliver quantum-safe, anonymous transactions with 17x faster validation.
