Recursive Proof Composition Unlocks Complexity-Preserving Succinct Arguments
The breakthrough uses recursive composition and Proof-Carrying Data to transform resource-intensive SNARKs into complexity-preserving systems, enabling scalable verifiable computation.
Equifficient Polynomial Commitments Achieve Smallest SNARK Proof Size
Introducing Equifficient Polynomial Commitments, this work minimizes proof size to 160 bytes and enables free linear gates, dramatically lowering on-chain costs.
Sublinear Commitment Scheme Secures Modular Blockchain Data Availability
A new Succinct Data Availability Commitment enables verifiably secure data publishing without full downloads, radically optimizing modular blockchain scaling.
Concurrent Dual-Path Consensus Achieves Single-Round Block Finality
Votor, a new dual-path consensus mechanism, achieves block finality in a single network round-trip, dramatically reducing settlement latency by 32x.
Decentralized Rollup Sequencers Achieve Liveness and Censorship Resistance via Set Consensus
The Arranger primitive, built on Set Byzantine Consensus, eliminates the L2 centralization bottleneck, securing transaction ordering and liveness.
Linear-Time BFT Achieves Optimal Communication Complexity with Aggregate Signatures
A novel aggregate signature scheme compresses BFT agreement from quadratic to linear complexity, enabling scalable, high-throughput decentralized consensus.
Proof-of-Useful-Work Secures Consensus by Outsourcing Zero-Knowledge Proof Generation
This protocol merges blockchain security with cryptographic utility, using client-outsourced zk-SNARK generation as the Proof-of-Useful-Work consensus mechanism.
Mechanism Design Solves Sybil-Resistance and Utilitarian Efficiency Trade-Off
A novel deposit-and-transfer mechanism leverages Bayesian game theory to achieve Sybil-proof, utilitarian governance without external identity systems.
Cross-Chain Arbitrage Centralizes MEV, Threatening Liveness and Finality Risks
Empirical analysis reveals cross-chain arbitrage drives vertical integration of sequencing, concentrating economic power and escalating systemic risks.
