Game-Theoretic Incentives Guarantee Provably Uniform Decentralized Randomness
A new Randomness Incentive Game (RIG) establishes a Nash Equilibrium where participants are compelled to submit provably uniform inputs, securing all decentralized randomness protocols.
Formal Security Comparison Reveals Proof-of-Stake Safety-Liveness Trade-Off
Formal security analysis confirms PoW's strong guarantees, necessitating hybrid PoS designs to balance safety and liveness trade-offs.
Distributed Non-Interactive Zero-Knowledge Proofs Secure Network State Privacy
Distributed Non-Interactive Zero-Knowledge (dNIZK) is a new cryptographic primitive enabling efficient, single-round, privacy-preserving certification of global network state properties.