Restaking Sybil-Proofness: An Impossibility Theorem Limits Slashing Mechanisms
A formal proof establishes that no single slashing mechanism can simultaneously deter both single and multi-identity Sybil attacks, revealing a foundational trade-off in economic security.
Formalizing Liveness Accountability Requires Honest Majority and Majority Synchrony
New theoretical framework precisely defines when and how consensus protocols can cryptographically blame nodes for stalling transaction finality.
Formalizing Economic Security with Expensive to Attack in Absence of Collapse
A new EAAC property formally quantifies the economic security of consensus, proving that targeted slashing is only possible under strong synchronous network assumptions.
Zero-Knowledge Oracles Secure Cross-Chain Communication with Quantum Randomness and Restaking
V-ZOR integrates ZKPs, quantum entropy, and restaking to enable cryptographically verifiable, trust-minimized off-chain data delivery across decentralized systems.
Accountable Finality Signatures Secure Proof-of-Stake against Equivocation
A novel Accountable Finality Signature primitive transforms probabilistic Proof-of-Stake safety into mathematically provable, self-slashing accountability.
Formalizing Shared Security Risk via Adaptive Slashing Mechanisms
Adaptive Slashing Bonds formally quantify systemic risk in shared security protocols, enabling provably secure restaking architectures.
Accountable Liveness Secures Consensus against Transaction Delay Attacks
This research extends accountable safety to liveness, introducing 'certificates of guilt' to cryptographically punish nodes that intentionally stall transaction finality.
Accountable Liveness Formalizes Proof-of-Stake Slashing for Network Stalling
A new theoretical model proves the conditions for formally punishing validators who stall transaction finality, strengthening PoS security foundations.
Layered Commit-Reveal Protocol Secures Decentralized Randomness Beacons
Commit-Reveal Squared uses randomized reveal order and a hybrid architecture to cryptographically secure decentralized randomness, eliminating last-revealer bias.
