Briefing
The core research problem in Layer 2 scaling is the inevitable state bloat and validator centralization caused by maintaining a global state on-chain. This work introduces a novel stateless zkRollup architecture that fundamentally re-engineers state management by pushing both state preservation and proof generation to the client-side. This mechanism allows aggregators to commit only inclusion proofs and aggregated signatures, thereby achieving sublinear state growth and near-zero data availability overhead. The most important implication is the realization of truly horizontal scalability for execution layers, decoupling network throughput from the physical constraints of state storage and verification cost.
Context
Prior to this work, even the most advanced zero-knowledge rollups were constrained by the necessity of maintaining a complete, global state on the Layer 1 or by a centralized sequencer, which forces validators to constantly process and store an ever-growing ledger. This established paradigm created an unavoidable trade-off → increased transaction throughput directly correlated with increased storage overhead, ultimately limiting validator decentralization and raising the long-term cost of full node operation.
Analysis
The breakthrough is the client-side state model. Instead of the rollup network storing the global state, each user is responsible for preserving their own state, such as an account balance. When a user submits a transaction, they include a zero-knowledge proof that cryptographically attests to the validity of their local state change.
The network’s aggregators then only need to verify the succinct proof and commit a root hash representing the inclusion of the transaction, effectively transforming the on-chain state from a massive, ever-growing ledger into a constant-sized commitment root. This fundamentally differs from previous models by making state verification an O(1) operation on the Layer 1, regardless of the total number of users or transactions.
Parameters
- State Growth Metric → Sublinear state growth. The system’s storage requirement increases slower than the number of transactions, contrasting with the linear growth of traditional rollups.
- Data Availability Cost → Ultra-low data availability costs. The design minimizes the amount of transaction data that must be posted to the Layer 1 for security.
- Verification Complexity → Constant-time verification. The Layer 1 only verifies a succinct proof, making the cost independent of the computation’s complexity.
Outlook
This foundational shift to a stateless, client-centric model unlocks the potential for next-generation, high-frequency applications like global payment infrastructure and decentralized exchanges that were previously infeasible due to state bloat. Future research will focus on formally integrating this stateless model with more complex smart contract logic beyond simple payments and optimizing the recursive zero-knowledge proof aggregation process to maintain constant verification costs across massive transaction volumes.
Verdict
The introduction of a stateless, client-side state model fundamentally redefines the scalability ceiling for zero-knowledge rollups, moving the industry toward a truly horizontally scalable execution architecture.
