Decentralized Randomness Beacons Enhance Blockchain Security and Fairness
This work introduces an efficient distributed randomness beacon using threshold cryptography, enabling verifiable, unbiased randomness for decentralized systems.
Epidemic Consensus Protocol Enhances Decentralized Blockchain Scalability and Efficiency
A novel Blockchain Epidemic Consensus Protocol (BECP) achieves superior throughput and lower latency for extreme-scale decentralized systems by leveraging randomized communication and local computation.
Verifiable One-Time Programs Enable Near-Term Quantum Secure Computation
This research introduces verifiable one-time programs, enabling single-round secure computation with minimal quantum resources, accelerating practical quantum internet applications.
Cryptographic Analysis of Blockchain Security Vulnerabilities and Defenses
This review systematically maps cryptographic defenses against blockchain attack vectors across all architectural layers, enhancing system resilience.
Composable Formal Verification Secures DAG Consensus Protocols with Reusable Proofs
This research introduces a novel framework for formally verifying DAG-based consensus protocols, significantly enhancing their security and accelerating development through proof reuse.
ExClique: Boosting Proof-of-Authority Transaction Speed and Fairness
A novel consensus algorithm significantly accelerates transaction processing and mitigates network instability in Proof-of-Authority blockchains.
OR-Aggregation Enables Efficient ZKP Set Membership in IoT
A novel OR-aggregation approach dramatically enhances zero-knowledge proof efficiency for set membership, enabling scalable, privacy-preserving data management in IoT sensor networks.
Uncertified DAGs Achieve Optimal Latency in Byzantine Consensus
A novel commit rule for uncertified Directed Acyclic Graphs revolutionizes consensus, ensuring immediate transaction finality and optimal latency in distributed systems.
Zero-Knowledge Mechanisms: Private Commitment and Verifiable Execution without Mediators
This research introduces a cryptographic framework enabling mechanism designers to commit to and run hidden mechanisms, leveraging zero-knowledge proofs to ensure verifiable properties and outcomes without disclosing proprietary information or relying on trusted intermediaries.
