Decoupling Prover and Sequencer Roles for Decentralized ZK Rollups
A new Prover-Validator Separation mechanism uses a sealed-bid auction to decentralize zero-knowledge proof generation, mitigating rollup centralization and MEV risk.
Uncertified DAG Consensus Protocol Achieves Theoretical Minimum Latency
Introducing Mysticeti-C, a BFT protocol using uncertified DAGs and a novel commit rule to achieve the theoretical 3-round message latency limit, enabling sub-second finality.
HyperNova Recursion System Enables Practical Zero-Knowledge Virtual Machines
HyperNova, a novel recursive proof system, drastically reduces overhead for high-degree constraint computations, making efficient zkVMs a reality.
Protected Order Flow Secures Transactions, Aligning Validator Incentives
PROF introduces an incentive-compatible mechanism that enforces private transaction ordering within PBS, mitigating harmful MEV while preserving validator profitability.
Distributed Proving Protocol Scales Zero-Knowledge Rollups
The Pianist protocol fundamentally re-architects zero-knowledge proof generation, enabling distributed computation across many machines with minimal communication overhead to solve the zkRollup scalability bottleneck.
Post-Quantum Signatures Secure Blockchains, Benchmarking Performance Exceeds Current Standards
Benchmarking NIST-PQC algorithms reveals minimal overhead and superior verification speed, securing blockchain authenticity against future quantum threats.
ZKBag Cryptographic Primitive Solves RAM Program Zero-Knowledge Expressiveness Tradeoff
The ZKBag primitive, built on homomorphic commitments, fundamentally resolves the expressiveness-performance dilemma for verifiable computation, unlocking scalable ZK-VMs.
Bayesian Transaction Fee Mechanism Achieves Optimal Miner Revenue and Strategy-Proofness
A new Bayesian Transaction Fee Mechanism leverages a soft second-price auction to achieve optimal miner revenue while preserving strategy-proofness.
Cryptographically Enforced Governance Bridges On-Chain Policy and Off-Chain Execution
A zero-trust framework leverages on-chain governance to cryptographically enforce authorized code versions within Trusted Execution Environments, securing decentralized application lifecycles.
