Cryptographic Liveness Proofs Secure Proof-of-Stake against Long-Range Attacks
A new Verifiable Liveness Proof primitive enables non-interactive, cryptographic slashing for censorship and downtime, hardening PoS finality.
Lattice-Based Polynomial Commitments Unlock Post-Quantum Succinct Zero-Knowledge Proofs
Greyhound, a new lattice-based polynomial commitment scheme, achieves sublinear verification and 8000X smaller proofs, ensuring quantum-safe scalability.
FairDAG Achieves High-Throughput, Resilient Transaction Ordering Using Multi-Proposer Causal Design
FairDAG introduces a two-layer DAG-based consensus to decouple block proposal from final ordering, fundamentally constraining adversarial MEV manipulation while boosting throughput.
Adaptive Byzantine Agreement Optimizes Communication Complexity by Fault Count
This new BFT protocol dynamically scales communication cost based on actual faults, fundamentally improving the efficiency and practicality of decentralized consensus.
Error Correction Codes Achieve ASIC-Resistant Decentralized Proof-of-Work Consensus
ECCVCC leverages time-varying syndrome decoding puzzles to fundamentally suppress ASIC efficiency, sustaining long-term blockchain decentralization.
Lattice zkSNARKs Achieve Post-Quantum Succinctness with Designated-Verifier Speed
A novel lattice-based zkSNARK design slashes post-quantum proof size by over 10x, enabling practical, quantum-safe verifiable computation for private systems.
Decentralized DPoS Sequencing Eliminates Rollup Centralization Risk
DPoS consensus decentralizes Layer 2 sequencers, replacing single points of failure with an elected committee and FCFS ordering for transaction fairness.
Minimmit Decouples Consensus Quorums for Lower Latency Finality
Minimmit introduces dual quorum thresholds for view progression and transaction finality, fundamentally reducing Byzantine consensus latency by over 10%.
Sublinear Vector Commitments Enable Stateless Client Scalability
Developing a new vector commitment scheme that achieves sublinear complexity for both update information and proof maintenance, fundamentally optimizing stateless client operation.
