Mechanism Design Enforces Truthful Consensus Using Staked Collateral
A novel revelation mechanism leverages staked assets to ensure validators' truthfulness, resolving consensus disputes by making block proposal honesty the unique subgame perfect equilibrium.
Proof-of-Learning Achieves Incentive Security for Decentralized AI Computation Market
A novel Proof-of-Learning mechanism replaces Byzantine security with incentive-security, provably aligning rational agents to build a decentralized AI compute market.
Lattice Zero-Knowledge Proofs Secure Scalable Blockchains Post-Quantum
Lattice cryptography enables a quantum-secure ZK proof system, future-proofing on-chain privacy and scalability against cryptographic collapse.
Mechanism Design Establishes Rigorous Contract Equilibria for Decentralized Resource Allocation
A new mechanism design framework formally proves the existence of "contract equilibria" and introduces a decentralized algorithm to ensure efficient, fair resource allocation via smart contracts.
Zero-Knowledge Proof of Training Secures Federated Learning Consensus
ZKPoT uses zk-SNARKs to verify model contributions privately, eliminating the trade-off between decentralized AI privacy and consensus efficiency.
Formalizing Maximal Extractable Value for Provable Security against Economic Attacks
This research formalizes MEV using an abstract blockchain model, establishing a rigorous theoretical basis for provable security against transaction-ordering attacks.
Bitcoin Checkpointing Secures Proof-of-Stake against Long-Range Attacks
A new protocol anchors Proof-of-Stake history to Bitcoin's Proof-of-Work, providing an external trust source to cryptoeconomically secure PoS against long-range attacks.
PoS Security via PoW Checkpointing Protocol Achieves Historical Finality
A novel checkpointing protocol embeds Proof-of-Stake finality into Proof-of-Work, providing provable, non-slashable security against long-range attacks.
GPU Acceleration Decouples ZKP Proving from Computation Latency
Research unlocks 800x speedups for ZKP proving by autotuning GPU kernels, collapsing the computational barrier to verifiable scale.
