ZKPs part 3
Today on ZKPs, we'll be looking at zk Rollups.
ZK Rollup is one of the options being developed for Layer 2 builds that improves scalability by doing bulk transfer processing in a single transaction. Plasma makes him one transaction for each transfer, whereas ZK Rollups he batches hundreds of transfers into one transaction. A smart contract deconstructs and verifies all transfers held in a single transaction.
uses a zero-knowledge proof approach to demonstrate and publicly record the validity of blocks on the Ethereum blockchain. ZK reduces computational and storage resources for block verification by reducing the amount of data held in a transaction. No knowledge of the entire data is required.
The ZK rollup scheme consists of two types of users:
transactions and relays. A transaction creates a transmission and sends that transmission to the network. Outgoing data consists of indexed "to" and "from" addresses, transaction values, network charges, and nonce. A truncated 3-byte indexed version of the address reduces the need for processing resources. Transaction values greater than zero or less than zero result in deposits or withdrawals respectively. Smart contracts record data in two Merkle trees. Specify the address in one Merkle tree and transfer the amount in another Merkle tree.
The Relayer collects large amounts of transfers and creates rollups. It is the intermediary's job to create the SNARK proof. A SNARK proof is a hash that represents a delta of the state of the blockchain. State refers to the state of being. SNARK Proof compares pre-transfer and post-transfer blockchain snapshots (i.e. wallet values) and only reports changes to mainnet with verifiable hashes.
