Disclosure: The views and opinions expressed right here belong solely to the creator and don’t characterize the views and opinions of crypto.information’ editorial.
For years, web3 builders have struggled to make their programs scalable. When new applied sciences hit the scene, they sometimes launch in a monolithic style, the place every thing is included in a single stack. Nevertheless, as these applied sciences mature, they grow to be extra specialised, and completely different firms hone numerous points of the stack in an effort to improve scalability.
That is now occurring with blockchains. Every layer within the stack is being optimized in a modular style, and web3 builders are adopting these modular options to cut back their prices and enhance the effectivity and maintainability of their programs.
As an illustration, execution is more and more being dealt with by L2s comparable to Arbitrum and Optimism, which permit for a lot greater throughput and decrease charges than executing on Ethereum’s L1. Likewise, the information availability layer is being optimized by modular initiatives like Celestia and EigenDA.
Because the web3 ecosystem matures, it turns into more and more clear that the longer term lies in specialization and optimization at every layer of the stack. By permitting specialised groups to good completely different parts of the stack, we will obtain ranges of scalability and cost-efficiency that have been merely not potential with monolithic designs.
ZK-rollups because the endgame for blockchain scalability
The journey to scalability actually begins coming into focus when factoring within the rise of ZK-based applied sciences like zero-knowledge rollups.
ZK-rollups have emerged because the optimum scaling answer for blockchains as a result of they use zero-knowledge proofs (ZKPs) to validate transactions with out revealing delicate data, however most significantly, they will additionally validate transactions quicker and with minimal gasoline charges, offered they’re constructed with the appropriate instruments. zkVerify, a device we’ve constructed for this precise function, is an ideal instance of this.
With a ZK-rollup L2 chain, many transactions are batched collectively on the L2 after which despatched to the L1 as a single transaction. This aggregated transaction additionally comprises cryptographic proof, which might effectively confirm the complete batch.
ZKPs are costly and computationally intensive
Proper now, the most important hindrance for ZK-systems is to effectively confirm and settle the ZKPs. “Proof verification” is a necessary step that ensures a ZKP is cryptographically legitimate, and it’s required for ZK-rollups to settle transactions on the L1.
Proof verification isn’t required for optimistic rollups as a result of they depend on a distinct proof system referred to as fraud proofs. All transactions are assumed to be legitimate by default, and to make sure safety, there’s a difficult interval throughout which anybody can submit proof of fraud in the event that they detect invalid transactions. Nevertheless, the problem interval can last as long as seven days, which slows down the finality of transactions. Regardless of this draw back, optimistic rollups have grow to be the preferred blockchain scaling answer at this time.
However, ZK-rollups submit the batched transaction together with state knowledge to the underlying L1 for verification. The L1 verifies the proof onchain and updates the rollup’s state, guaranteeing all transactions are legitimate whereas offering speedy finality. This strategy considerably will increase transaction throughput and maintains stronger safety ensures with out the necessity for a prolonged problem interval.
Modular ZKP verification is the answer
Fortunately, modularity can lengthen past the bottom layer. The identical modular strategy that has considerably improved L1 chains, like Ethereum, may also be utilized to ZK-rollups.
How does this work in apply? Similar to how Celestia handles knowledge availability on a devoted blockchain, a standalone chain can deal with the proof verification course of for ZK-rollups (and usually, for all programs counting on ZKPs), whereas nonetheless settling these batched transactions on the principle L1 chain.
By outsourcing proof verification to a modular supplier, ZK-rollups can simply concentrate on execution and consumer expertise. The proof verification chain operates in parallel with the ZK-rollup, whereas remaining an unbiased chain.
This strategy reduces prices by greater than 90% and makes them extra secure over time. As an alternative of getting a value construction depending on Ethereum (ETH) gasoline costs—which might be risky and unpredictable—ZK-rollups can offload the proof verification to a different layer with out these fluctuations.
Moreover, this modular proof verification layer might be up to date past the present limits of Ethereum L1, which has sure constraints round what sorts of precompiles you should use. In layman’s phrases, which means that a modular proof verification service can combine the most recent cryptographic improvements inside a number of weeks, whereas these updates would possibly take years to be accessible on Ethereum.
Modular proof verification might be utilized to different ZK applied sciences as effectively, together with any dApp that depends on zero-knowledge proofs. That is the fantastic thing about a modular answer—it may be harnessed in any system that wants it.
By standardizing the costliest step in constructing programs that use ZKPs, all blockchains can profit, transferring us one step nearer to a scalable and interoperable future.
So, what occurs with out modularity?
If we have a look at the projected progress of web3 over the approaching years, the price of proof verification for ZK-rollups is anticipated to skyrocket.
At Horizen Labs, we estimate that $47 million was spent on proof verification for ZK-rollups on Ethereum in 2023, and it’s projected that the complete proof verification market will likely be value $1.5 billion or extra by 2028. By 2030, it’s been estimated that 90 billion proofs will likely be generated by decentralized functions alone.
The most costly step in a ZK-rollup, proof verification, must be innovated, or else it will likely be extraordinarily difficult for ZK know-how to scale to a billion customers. There isn’t any motive for ZK-rollups and ZK-based functions to incur such an expense, and we shouldn’t place pointless calls for on blockchains that hinder their improvement.
With modular proof verification, the price of verifying a single proof can drop from round $20 (contemplating a Groth16 proving scheme, gasoline value at 30 gwei, and Ethereum value at $3000) to round $1.80. This huge price financial savings will unlock new frontiers of innovation in web3, together with new ZK-apps, Bitcoin ZK-rollups, proving programs, and extra. Any ZK-based chain or utility can profit from offloading its proof verification to a modular answer.
As extra zero-knowledge proofs are generated in web3, these proofs will even should be verified. And because the complete web3 panorama turns into extra modular, it solely is smart to use that strategy to ZKPs as effectively.
