zkSync uses a powerful ZK tech stack, including an LLVM-based Solidity compiler, our award-winning GPU prover, and soon the innovative Redshift proof system created by Matter Labs to reduce the cost of an average transaction to a fraction of a penny.
zkSync's design allows for unlimited computation in each block, enabling new types of dapps that can process significantly more data on-chain than was previously possible.
By only publishing final storage state updates, zkSync allows you to take maximum advantage of the cheap computation, for example for making oracle updates more frequent, transactions with large input data more affordable, and the verification of ZK proofs significantly cheaper.
zkSync offers cheap storage, reducing costs compared to L1 by multiple times, with the upcoming EIP-4844 expected to further reduce costs by an order of magnitude.
zkSync’s architecture also includes zkPorter; a decentralized storage option with reduced security but much lower costs. Unlike alternative storage extensions, zkPorter supports synchronous atomic transactions between users and smart contracts on ZK-rollups, enabling shared liquidity and other unique use cases.
Just like all of the Internet traffic cannot be processed by a single server or even data center, all of the world’s value transactions can’t be handled by a single monolithic blockchain.
This is why zkSync introduces the concept of hyperchains: sovereign ZK-chains on Ethereum, connected with a network of cheap and fully trustless Hyperbridges. Anyone can deploy their own Hyperchain with custom consensus, validator set or data availability policy — yet all of them will inherit security and finality from the underlying L1.
While the throughput of each individual hyperchain will be limited by the capacity and decentralization of its nodes, together Hyperchains remove any cap on the total throughput the zkSync ecosystem can achieve.
For more information, see the Hyperscaling FAQ.