Tournament Algorithm Establishes Fair Leader Election for Decentralized Consensus
PureLottery introduces a single-elimination tournament model, leveraging VDFs to achieve provably fair, bias-resistant leader election critical for PoS security.
Distributed Verifiable Random Function Secures Decentralized Unpredictable Public Randomness
A Distributed Verifiable Random Function combines threshold cryptography and zk-SNARKs to generate public, unpredictable, and bias-resistant randomness.
Cryptographic Fair Ordering Secures Decentralized Sequencers against MEV Extraction
A Byzantine-Fault-Tolerant protocol uses zero-knowledge proofs to enforce transaction ordering based on network latency, mitigating sequencer MEV and censorship.
Hierarchical Aggregate VRFs Decouple Consensus Scalability from Overhead
Introducing Hierarchical Aggregate Verifiable Random Functions (HAVRFs), a primitive that compresses multiple VRF proofs into a single, constant-size proof, enabling scalable and secure committee-based consensus.
Incremental Proofs Maintain Constant-Size Sequential Work for Continuous Verification
This new cryptographic primitive enables constant-size proofs for arbitrarily long sequential computations, fundamentally solving the accumulated overhead problem for VDFs.
Rondo Protocol Achieves Scalable, Dynamic Distributed Randomness Beacon
The Rondo protocol introduces Batched Asynchronous Verifiable Secret Sharing with Partial Output, enabling dynamic node membership and optimal $O(n)$ message complexity for scalable, unpredictable randomness.
Post-Quantum Verifiable Delay Functions Eliminate Trusted Setup
Isogeny-based Verifiable Delay Functions leverage endomorphism rings for quantum-secure, trustless, and efficiently verifiable sequential computation.
Social Capital Consensus Replaces Financial Stake with Trust and ZK-Proofs
This new protocol uses non-transferable social capital as stake, integrating ZK-proofs to decouple consensus security from financial wealth, democratizing validation.
Delivery-Fairness Secures Decentralized Randomness Beacons against Time-Advantage Attacks
Introducing delivery-fairness, a new formal property, rigorously quantifies and mitigates the time-advantage vulnerability in randomness beacons, ensuring protocol-level fairness.
