What I understand to be validation of a transaction in L1 involves things like recovering the public key, checking the nonce to be sequential (or no duplicates), checking that the transaction is in the RLP format, chain ID (EIP155), whether the gas limit is great enough, whether the content hasn't been tampered with, etc.
Could someone explain how transaction validation works in ZK-rollups like ZkSync? Without getting into math, what does it exactly mean when a batch of transactions are verified through ZK-SNARK particularly light of the L1's way of verification mentioned above? I do have a minimal understanding of prover/verifier, but I don't think I'm understanding what exactly the zkRollup validator, or the sequencer as they call it, is doing.
Who is the prover and the verifier? What is the proof that the prover is providing to the verifier for? What is the zero knowledge aspect when we can see the details of all the transactions?
[link] [comments]
You can get bonuses upto $100 FREE BONUS when you:
💰 Install these recommended apps:
💲 SocialGood - 100% Crypto Back on Everyday Shopping
💲 xPortal - The DeFi For The Next Billion
💲 CryptoTab Browser - Lightweight, fast, and ready to mine!
💰 Register on these recommended exchanges:
🟡 Binance🟡 Bitfinex🟡 Bitmart🟡 Bittrex🟡 Bitget
🟡 CoinEx🟡 Crypto.com🟡 Gate.io🟡 Huobi🟡 Kucoin.
Comments