Linear Prover Time Unlocks Scalable Zero-Knowledge Proof Generation
Orion achieves optimal linear prover time and polylogarithmic proof size, resolving the ZKP scalability bottleneck for complex on-chain computation.
Quantum-Secure Zero-Knowledge Proofs via Extractable Homomorphic Commitments
A novel extractable homomorphic commitment primitive enables efficient lattice-based non-interactive zero-knowledge proofs provably secure against quantum adversaries.
Two-Step Algorithm Decentralizes ZK-Rollup Proving, Securing Finality and Incentives
A new two-step submission algorithm for zero-knowledge proofs fundamentally decentralizes the ZK-Rollup prover role, eliminating single-node failure risk and distributing economic rewards.
Zero-Overhead Data Availability Protocol Enables Trustless Scalability
ZODA introduces a tensor code-based proof of encoding that eliminates sampler communication overhead, fundamentally democratizing data availability verification for light nodes.
Post-Quantum Non-Malleable Commitment from One-Way Functions
A novel cryptographic commitment scheme achieves post-quantum security and constant-round efficiency using only one-way functions, establishing a new foundational primitive for secure computation.
FRIDA Formalizes Data Availability Sampling with Transparent Cryptographic Proofs
FRIDA introduces the first formal cryptographic primitive for Data Availability Sampling, enabling trustless, scalable block data verification for modular blockchains.
Distributed Verifiable Random Function Secures Decentralized Randomness Beacons
Implementing a Distributed VRF with zk-SNARKs and NI-DKG creates a publicly verifiable, unbiased, and unmanipulable source of network randomness.
HyperNova Recursion System Enables Practical Zero-Knowledge Virtual Machines
HyperNova, a novel recursive proof system, drastically reduces overhead for high-degree constraint computations, making efficient zkVMs a reality.
ZKBag Cryptographic Primitive Solves RAM Program Zero-Knowledge Expressiveness Tradeoff
The ZKBag primitive, built on homomorphic commitments, fundamentally resolves the expressiveness-performance dilemma for verifiable computation, unlocking scalable ZK-VMs.
