MEV Limits Blockchain Scaling, Demands Economic Solutions
MEV-driven spam consumes critical blockspace, creating economic scaling limits that technical upgrades alone cannot solve, necessitating new auction designs.
Revelation Mechanisms for Trustworthy Blockchain Consensus
This research introduces revelation mechanisms within Proof-of-Stake protocols, fundamentally addressing consensus disputes by incentivizing truthful block proposals.
Team Sprint Consensus: Sustainable Blockchain through Collaborative Proof
Proof of Team Sprint redefines blockchain consensus by replacing individual competition with collaborative cryptographic puzzle-solving, drastically reducing energy consumption.
Formally Defining Economic Security for Permissionless Consensus
This research establishes a foundational framework for analyzing the economic security of blockchain consensus protocols, quantifying attack costs to enable more robust designs.
ZKPoT: Private, Efficient Consensus for Federated Learning Blockchains
A novel Zero-Knowledge Proof of Training consensus validates federated learning contributions privately, overcoming traditional blockchain inefficiencies and privacy risks.
Ethereum Advances Layer 2 Scaling, Targeting Tenfold Throughput
Ethereum's architectural evolution prioritizes Layer 2 solutions to achieve a 10x scaling factor, enhancing network throughput and interoperability.
Sublinear ZKP Provers Unlock Ubiquitous Verifiable Computation
This breakthrough reconfigures ZKP generation as tree evaluation, enabling proofs on resource-limited devices and expanding verifiable computation's reach.
OR-Aggregation: Constant-Size ZKPs for Resource-Constrained Networks
This research introduces a novel OR-aggregation technique, fundamentally transforming privacy and verifiable computation efficiency in resource-constrained environments.
Sublinear Zero-Knowledge Provers Unlock Ubiquitous Verifiable Computation
This research pioneers a sublinear-space zero-knowledge prover, transforming ZKP accessibility for resource-constrained environments and expanding verifiable computation applications.
