Transparent Polynomial Commitments Achieve Practical Constant-Size Proofs
New aggregation techniques slash transparent polynomial commitment proof size by 85%, enabling practical, trustless, constant-sized ZK-SNARKs.
Inner Product Arguments Eliminate Trusted Setup for Data Availability Sampling
Inner Product Arguments enable trustless data availability sampling by replacing complex trusted setups with a transparent, discrete log-based commitment scheme.
Binius and Ligero Unlock Efficient Post-Quantum Client-Side Zero-Knowledge Proving
Benchmarking Binius and Ligero identifies the most efficient post-quantum, transparent ZKPs for mobile devices, enabling secure, scalable decentralized identity.
Transparent Constant-Sized Polynomial Commitments Enable Practical Trustless zk-SNARKs
Dew introduces the first transparent polynomial commitment scheme with constant proof size and logarithmic verification, eliminating the trusted setup barrier for succinct verifiable computation.
Lattice-Based Functional Commitments Secure All Functions with Transparent Post-Quantum Setup
New lattice-based functional commitments secure all functions, enabling post-quantum verifiable computation without a trusted setup.
Lattice ZKPs Match CRHF Proof Size for Post-Quantum Security
Researchers achieved lattice-based ZKPs with proof sizes comparable to hash-based systems, enabling practical, post-quantum private computation.
Vega Achieves Practical Low-Latency Zero-Knowledge Proofs without Trusted Setup
A new ZKP system, Vega, uses fold-and-reuse proving and lookup-centric arithmetization to deliver sub-second credential verification, resolving the identity privacy-latency trade-off.
FRI Proximity Tests Enable Transparent Logarithmic Data Availability Sampling
FRI-based Data Availability Sampling provides a transparent, post-quantum path to scalable light client verification with logarithmic communication overhead.
Holographic Vector Commitments Enable Logarithmic State Verification for Stateless Clients
This new holographic commitment primitive radically reduces state proof size to logarithmic complexity, enabling trustless, efficient validation on any device.
