WARP: Linear Accumulation Unlocks Post-Quantum Scalable Verifiable Computation
Introducing WARP, a hash-based accumulation scheme achieving linear prover time and logarithmic verification, radically accelerating recursive proof systems.
Lattice-Based Argument Achieves Post-Quantum Succinctness and Transparency
Researchers introduce a new lattice-based succinct argument, solving the post-quantum ZKP trilemma to secure future decentralized systems.
Generic Compiler Upgrades Mild SNARKs to Fully Succinct, Transforming Verifiable Computation
A new cryptographic compiler generically transforms slightly succinct arguments into fully succinct SNARKs, simplifying trustless scaling architecture.
Field-Agnostic Polynomial Commitments Accelerate Multilinear Zero-Knowledge Proofs
A new polynomial commitment scheme, BaseFold, generalizes FRI using foldable codes, eliminating field restrictions and achieving 200x faster ZK prover times.
Transparent Constant-Size Zero-Knowledge Proofs Eliminate Trusted Setup
This breakthrough cryptographic primitive, based on Groups of Unknown Order, yields a truly succinct zk-SNARK without a trusted setup, unlocking scalable, trustless computation.
Lattice Polynomial Commitments Achieve Quantum-Safe, Transparent, Succinct Proofs
A new lattice-based polynomial commitment, secured by the SIS problem, delivers post-quantum SNARKs with smaller proofs and no trusted setup.
Universal Updatable Proofs Secure All Zero-Knowledge Circuits
A universal and continually updatable Structured Reference String eliminates per-circuit trusted setups, unlocking composable, production-ready ZK systems.
Lattice Commitments Secure Transparent Post-Quantum Zero-Knowledge Proofs
A new lattice-based polynomial commitment scheme secures zero-knowledge proofs against quantum attacks, eliminating the need for a trusted setup.
Isogeny-Based Commitments Enable Transparent Post-Quantum ZK Arguments
Isogeny-based polynomial commitments deliver the first transparent, quantum-resistant ZK-SNARK, securing all verifiable computation.
