WARP Accumulation Scheme Achieves Optimal Verifiable Computation Efficiency
The WARP accumulation primitive achieves linear proving and logarithmic verification time, fundamentally enabling truly scalable recursive zero-knowledge systems.
Generic Compiler Transforms Permissioned BFT into Accountable Proof-of-Stake Consensus
A novel compiler converts BFT protocols into stake-based systems, preserving liveness and adding cryptographic accountability for consistency violations.
Class Group Verifiable Delay Functions Secure Decentralized Time and Unbiasable Randomness
Class Group Verifiable Delay Functions establish provably sequential time-delay, enabling secure, low-energy consensus and unbiasable on-chain randomness.
Constant-Time Polynomial Commitment Unlocks Scalable ZK-SNARK Verification
This new Hyper-Efficient Polynomial Commitment scheme achieves constant-time verification, eliminating the primary bottleneck for on-chain zero-knowledge proof scalability.
Asynchronous Accountability Primitive Secures BFT Liveness and Cryptoeconomic Finality
This research introduces the Asynchronous Accountability Primitive, merging VDFs and state commitments to enable cryptoeconomic slashing for BFT liveness failures.
PVSS-BFT Protocol Secures Dynamic Consensus and Reduces Communication Latency
Integrating Publicly Verifiable Secret Sharing into BFT consensus achieves $4Delta$ latency and 50% fault tolerance in dynamic networks, solving the sleepy model's efficiency challenge.
Characterizing Off-Chain Influence-Proof Fee Mechanisms via a Burn Identity
Foundational mechanism design proves that off-chain influence-proof transaction fees are mathematically equivalent to a novel burn identity, securing transaction ordering.
Adjustable Block Size Mechanism Binds Miner Selfishness for Social Welfare
A novel adjustable block size mechanism quantifies and eliminates social welfare loss from selfish miners in decentralized order books, achieving optimal outcomes.
PoW Longest Chain Rule Offers Strongest Formal Security Guarantees over PoS
Formal analysis confirms PoW's superior security guarantees, requiring PoS designs to adopt hybrid approaches to balance safety and liveness.
