Popular Science | Extended Blockchain: ZK-Rollup
Author: Jordi Baylina
Source: Ethereum enthusiasts
Editor's note: This article introduces ZKRollup's scalable solution for Jendi Baylina, technical director of iden3, and introduces all aspects of ZKRollup. For easy reading, the editor divided the chapters according to the content.
Introduction to the basic attributes of ZK-Rollup, including how ZK-Rollup achieves scalability, concise verifiability, and data availability ("We don't need to form consensus on the data, we just need to ensure that the data is always publicly available.")
Introduce ZK-Rollup's state transition method and transaction structure. It also introduces the different types and processing methods of transactions, as well as the withdrawal mechanism for funds.
This section introduces ZK-Rollup's operator and network architecture, including design of verifier shuffle, parallel proof construction, and verifier confiscation measures. Interestingly, the scheme used by iden 3 will use the confiscated funds as a security bounty to motivate developers to break the cryptographic components used in the scheme.
This section introduces the design that is closely related to the transaction, including the format of the transaction, the way of on-chain / off-chain hashing, the method of charging fees, the method of signature verification, and so on.
This section talks about the ZK scheme used by iden 3 and the cost (performance) estimation.
This section introduces the difference between the Merkel tree (sparse Merkel tree) used to represent the state and the common Merkel tree, and explains how to verify and update the state in the sparse Merkel tree mode.