Rollupy
Optimistic i ZK
Rollupy to bezpłatna lekcja Web3 & DApp Development Fundamentals na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Web3 & DApp Development Fundamentals, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Web3 & DApp Development Fundamentals zawiera 4 lekcji w sumie.
Części tej lekcji nie zostały jeszcze przetłumaczone i są wyświetlane po angielsku.
What Is a Rollup?
A rollup executes transactions on a Layer 2 and posts the transaction data (and a state commitment) back to Layer 1.
The L1 stores enough information to reconstruct and verify the L2 state, which is what gives rollups their security.
Two Main Types
There are two dominant rollup families:
- Optimistic Rollups — assume transactions are valid, allow challenges
- ZK Rollups — prove validity with cryptographic proofs
They differ in how they convince L1 the L2 state is correct.
Optimistic Rollups
Optimistic rollups assume every batch is valid by default — hence optimistic.
They post the new state to L1 without proving it immediately, relying on the threat of fraud proofs to keep operators honest.
Fraud Proofs and the Challenge Window
After a batch is posted, a challenge window (often ~7 days) opens. Anyone can submit a fraud proof showing the batch was invalid.
If a valid challenge succeeds, the bad batch is reverted and the dishonest operator is penalized.
post batch -> 7-day challenge window
no valid challenge -> finalized
valid fraud proof -> batch revertedWithdrawal Delays
The challenge window means withdrawing from an optimistic rollup back to L1 takes time (often a week).
Liquidity providers offer instant withdrawals for a fee by fronting the funds during the wait.
ZK Rollups
ZK rollups generate a cryptographic validity proof (a zero-knowledge proof) for each batch.
L1 verifies the proof mathematically, so there is no need to trust the operator or wait for a challenge period.
Validity Proofs
A validity proof (such as a SNARK or STARK) demonstrates that the new state was computed correctly from the old state and the transactions.
If the proof verifies, the state is definitively correct — no challenges needed.
proof = prove(oldState, txs, newState)
L1.verify(proof) == true
-> newState accepted instantlyFaster Finality on ZK
Because ZK proofs are verified immediately, ZK rollups offer fast finality and quick withdrawals.
The trade-off is that generating proofs is computationally expensive and historically harder for general smart contracts.
Optimistic vs ZK Trade-offs
Comparing the two:
- Optimistic: EVM-compatible, cheaper proving, slow withdrawals
- ZK: instant finality, fast withdrawals, complex proving
Both post data to L1, so both inherit Ethereum security.
Data Availability
Rollups must publish transaction data so anyone can reconstruct the state — this is data availability.
Posting data to L1 (calldata or blobs) is a major cost; innovations like EIP-4844 blobs made it much cheaper.
Putting It Together
Rollups execute off-chain and settle on L1. Optimistic rollups assume validity and use fraud proofs; ZK rollups prove validity cryptographically. Data availability anchors their security.
Next we look at moving assets between layers with bridges.
Quick Check
Test your rollup knowledge.
Recap: Rollups
You learned that:
- Rollups execute off-chain and settle data on L1
- Optimistic rollups use fraud proofs + a challenge window
- ZK rollups use validity proofs for instant finality
- Data availability on L1 anchors security
Next: bridging assets between layers.
Często zadawane pytania
Czy lekcja „Rollupy” jest bezpłatna?
Tak — pełny tekst „Rollupy” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Web3 & DApp Development Fundamentals, przejdź na CoddyKit PRO. Kurs Web3 & DApp Development Fundamentals zawiera 4 lekcji w sumie.
Co nauczysz się w „Rollupy”?
Optimistic i ZK Ćwiczysz Web3 & DApp Development Fundamentals z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.
Czy potrzebuję doświadczenia, aby zacząć Web3 & DApp Development Fundamentals?
Nie wymagamy żadnego doświadczenia. Web3 & DApp Development Fundamentals w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.
Ile czasu zajmuje lekcja „Rollupy”?
Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.
Czy mogę pisać i uruchamiać kod w tej lekcji Web3 & DApp Development Fundamentals?
Tak. Każda lekcja Web3 & DApp Development Fundamentals zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.