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.
Compositional Formal Verification Secures Complex DAG Consensus Protocols
This framework modularizes DAG consensus proofs into reusable components, dramatically reducing verification effort and ensuring robust protocol safety.
Zero-Knowledge Proof of Training Secures Decentralized AI Consensus
A new Zero-Knowledge Proof of Training (ZKPoT) consensus mechanism leverages zk-SNARKs to cryptographically verify model performance, eliminating Proof-of-Stake centralization and preserving data privacy in decentralized machine 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 uses zk-SNARKs to verify decentralized model accuracy without revealing private data, solving the efficiency-privacy trade-off in federated learning.
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.
