Bitcoin Checkpointing Resolves Proof-of-Stake Long-Range Attack Impossibility
A new protocol secures Proof-of-Stake history by anchoring succinct commitments to Bitcoin's Proof-of-Work, providing non-slashable long-range attack safety.
Zero-Knowledge Proof of Training Secures Decentralized AI Consensus
ZKPoT consensus leverages zk-SNARKs to cryptographically verify model contribution accuracy without revealing sensitive training data, enabling trustless federated learning.
Concurrent BFT Decouples Throughput and Latency, Eliminating Censorship
A new asynchronous BFT protocol concurrently executes dissemination and agreement, resolving the throughput-latency tradeoff and guaranteeing censorship resistance.
Zero-Knowledge Proof of Training Secures Decentralized Federated Learning Consensus
ZKPoT consensus leverages zk-SNARKs to cryptographically verify model performance, solving the fundamental trade-off between verifiable utility and data privacy in decentralized AI.
Social Capital Consensus Replaces Financial Stake for Equitable Decentralization
A new ZK-enabled protocol replaces financial stake with non-transferable social capital, fundamentally re-architecting consensus for true equity and Sybil resistance.
Dual-Layer Consensus Decouples Scalability and Finality for Secure Sharding
Dual-Layer Consensus introduces a BFT-typed finality committee to PoS sharding, achieving high concurrency and guaranteed deterministic finality.
Threshold Cryptography Secures Byzantine Consensus with Strong Order-Fairness
Themis introduces a threshold-encrypted commit-and-reveal scheme to enforce transaction order based on submission time, mitigating front-running with optimal linear complexity.
Deterministic Causal Structure Decouples Ledger Correctness from Ordering Policy
This theory introduces a Deterministic Causal Structure (DCS) where the ledger is a policy-agnostic DAG, resolving the entanglement of correctness and ordering.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Learning
ZKPoT consensus verifiably proves model contribution quality via zk-SNARKs, fundamentally securing private, scalable decentralized AI.
Formalizing Accountable Finality Quantifies Proof-of-Stake Reorganization Economic Cost
The new Accountability Gadget formally quantifies the economic cost of PoS reorganizations, transforming finality from a social consensus into a provable, suicidal economic guarantee.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Consensus
ZKPoT is a new cryptographic primitive using zk-SNARKs to verify model contribution without revealing private data, unlocking decentralized AI.
Signature-Free Asynchronous Byzantine Agreement Achieves Optimal Communication Complexity
This new signature-free asynchronous Byzantine agreement protocol achieves the theoretical optimal communication complexity for unauthenticated consensus.
Zero-Knowledge Proof of Training Secures Private Decentralized Machine Learning Consensus
Zero-Knowledge Proof of Training (ZKPoT) leverages zk-SNARKs to validate collaborative model performance privately, enabling scalable, secure decentralized AI.
Formal Sidechain Consensus Achieves Provable Safety and Liveness for Scaling
Introducing Cumulus, a formally proven sidechain consensus protocol that uses mainchain smart contracts to enforce block finality, ensuring scalable and secure interoperability.
Hybrid Synchronous BFT Model Achieves Low Latency by Separating Message Sizes
AlterBFT introduces a hybrid synchronous model, relying on small, timely coordination messages to drastically reduce consensus latency.
Asymmetric Quorums Enable Provable Subjective Trust in DAG Consensus
A new model for asynchronous consensus replaces the universal trust assumption with subjective node-specific quorums, enabling formally verifiable safety in flexible, open networks.
Proof-of-Thought Secures Decentralized AI Coordination against Byzantine Malice
Proof-of-Thought, a novel consensus primitive, secures multi-agent LLM systems by rewarding the quality of reasoning, mitigating Byzantine collusion.
SPARC Mechanism Mitigates Proof-of-Stake Centralization through Non-Linear Rewards
SPARC introduces a non-linear, tier-based reward mechanism for Proof-of-Stake, strategically incentivizing smaller operators to enhance network decentralization and security.
Revelation Mechanisms Enforce Truthful Consensus in Proof-of-Stake Protocols
Game theory-based revelation mechanisms create a unique, truthful equilibrium for PoS consensus, fundamentally securing block proposal against economic attack.
Weighted Verifiable Random Functions Scale Proof-of-Stake Randomness
Cryptographers introduce Weighted VRFs to provide cost-independent, autonomous, and fresh on-chain randomness for weighted Proof-of-Stake systems, solving a critical scalability bottleneck.
Shared Sequencers Mitigate Cross-Rollup MEV, Enabling Atomic L2 Transactions
A new shared sequencing mechanism uses decentralized consensus to enforce atomic transaction ordering across multiple rollups, neutralizing cross-rollup MEV.
Single Slot Finality Protocol Unlocks Instantaneous Economic Finality for Scalable Blockchains
New single-vote total order broadcast constructions overcome the 15-minute finality delay, establishing instantaneous economic security for the rollup ecosystem.
Differential Privacy Enforces Transaction Ordering Fairness in State Machine Replication
A breakthrough links Differential Privacy to fair transaction ordering, repurposing noise mechanisms to eliminate algorithmic bias in State Machine Replication and mitigate MEV.
Revelation Mechanisms Enforce Strategy-Proof Consensus in Proof-of-Stake
A novel mechanism design uses staked assets to cryptoeconomically guarantee validator honesty, solving the foundational problem of fork coordination and untruthful block proposals.
Optimal-Complexity Asynchronous Byzantine Agreement Achieves Near-Optimal Resilience
A novel hash-based protocol simultaneously achieves constant-time consensus and near-optimal Byzantine fault tolerance, resolving a core distributed systems tradeoff.
Neuromorphic Consensus Leverages Neural Dynamics for Scalable, Energy-Efficient Blockchain Finality
This new neuromorphic consensus, Proof-of-Spiking-Neurons, uses biological neural synchronization to enable parallel, energy-efficient, and highly scalable distributed systems.
Formalizing Weak Subjectivity Secures Proof-of-Stake against Long-Range Attacks
State-Locked Finality formally defines the trust window for PoS clients, eliminating long-range attacks and securing chain history.
Bitcoin Proof-of-Stake Security via External PoW Checkpointing
The Babylon protocol anchors Proof-of-Stake finality to Bitcoin's Proof-of-Work, transforming long-range attacks into economically slashable offenses.
Decentralized Coin-Weighted Checkpointing Foils Proof-of-Stake History Rewrites
Winkle introduces a decentralized checkpointing primitive, leveraging the entire coin supply to cryptographically secure PoS history against long-range attacks.
