Brakedown Achieves Post-Quantum Sublinear Polynomial Commitment without Trusted Setup
This new polynomial commitment scheme combines Reed-Solomon codes with Merkle trees, enabling post-quantum security and sublinear proof size.
Proof-of-Social-Capital Replaces Financial Stake for Decentralized Consensus
A new consensus protocol replaces financial stake with social capital, leveraging zk-proofs to democratize block production and mitigate wealth-based centralization.
Decentralized Identity Protocols Achieve Mainstream Validation through Real-World Partnerships
DID is transitioning from a theoretical primitive to a foundational layer, leveraging biometric proof-of-personhood to secure platform economies and user data.
Zkspeed Hardware Dramatically Accelerates HyperPlonk Proving for Ubiquitous Verifiable Computation
A dedicated hardware accelerator for HyperPlonk achieves $801times$ speedup, fundamentally resolving the ZKP prover time bottleneck for scalable decentralized systems.
Mechanism Design Secures Decentralized Zero-Knowledge Prover Networks
Research translates ZK proving from a centralized bottleneck into a competitive, permissionless market, ensuring modular stack liveness and cost efficiency.
Decentralizing ZK-Rollup Proving with Verifiable Stake-Weighted Auctions
A Verifiable Prover Auction leverages stake and randomness to decentralize ZK-Rollup proof generation, mitigating censorship and single-point-of-failure risks.
Post-Quantum Signatures from Symmetric-Key ZKPs Halve Proof Size
The ZKB++ protocol converts symmetric-key primitives into post-quantum non-interactive ZK signatures, drastically reducing proof size for future security.
Proof-Carrying Messages Decouple ZK Verifiability and Cross-Chain Interoperability
Introducing Proof-Carrying Interchain Messages and a Verifier Router to achieve composable, stateless, and proof-agnostic cross-domain verifiability.
Proof of Useful Work Unifies Consensus Security and Verifiable Computation Marketplace
A novel Proof of Useful Work protocol embeds SNARK generation into consensus, solving energy waste and creating a decentralized verifiable computation market.
