Lattice zkSNARKs Achieve Practical Succinctness for Post-Quantum Security
New lattice-based zkSNARKs drastically shrink proof size, making quantum-resistant, privacy-preserving computation viable for next-generation decentralized systems.
Verifiable Decryption Secures Proposer-Builder Separation against Censorship
A new two-tiered architecture incorporates publicly verifiable decryption, resolving the censorship vulnerability inherent in existing block-building separation models.
Collaborative SNARKs Enable Private Shared State Computation without Revealing Secrets
Collaborative SNARKs merge ZKPs and MPC to allow distributed parties to jointly prove a statement over private inputs, unlocking secure data collaboration.
Batched Identity-Based Encryption Enables Selective, Efficient, and Privacy-Preserving Data Access
The new Batched IBE primitive allows public aggregation of decryption rights for specific data subsets, unlocking private, auditable data batching on-chain.
Linear-Time Field-Agnostic SNARKs Unlock Massively Scalable Verifiable Computation
Brakedown introduces a practical linear-time encodable code, enabling the first $O(N)$ SNARK prover, fundamentally scaling verifiable computation and ZK-Rollups.
Decoupled Vector Commitments Enable Sublinear Stateless Client Verification
A new Decoupled Vector Commitment primitive fundamentally lowers client verification cost from linear to sublinear time, enabling true stateless decentralization.
Verifiable Entropy Functions Secure Optimal Decentralized Randomness Extraction
The Verifiable Entropy Function, a new primitive, guarantees maximal unbiased randomness from distributed inputs, fundamentally securing Proof-of-Stake consensus.
New Zero-Knowledge Model Circumvents Impossibility for Perfect Soundness
By introducing a security definition based on logical independence, this breakthrough achieves non-interactive, transparent zero-knowledge proofs with perfect soundness, eliminating the need for trusted setups.
Binary GKR Proof System Accelerates ZK-EVM Computation by Optimizing Keccak Hashing
Binary GKR introduces a new ZK proof system optimized for bitwise operations, fundamentally unlocking the speed required for practical ZK-EVMs.
