L2 škálování: Architektonické srovnání optimistic a zk rollupů

Proč L2: motivace, metriky a designový prostor

Layer 2 (L2) řešení vznikla jako odpověď na omezenou propustnost a vysoké poplatky na L1 (zejména Ethereum). Cílem je přesunout většinu výpočtů a části konsenzu mimo L1, přičemž L1 zůstává zdrojem pravdy (data availability a konečná arbitráž sporů). Klíčové metriky škálování jsou: bezpečnost (ekvivalentní L1 nebo odvozená), latence finality, náklady na transakci (rozdělené na DA a výpočetní), kompatibilita s EVM, decentralizace sekvenceru a komplexita klientského softwaru.

Rollup paradigma: společný rámec pro optimistic i zk

Rollup publikuje na L1 data o transakcích (nebo kompaktní commitments) a L1 slouží jako vyrovnávací a DA vrstva. Výpočty probíhají na L2, kde sekvencer určuje pořadí a produkuje bloky. Bezpečnostní model stojí na tom, že L1 vždy umožní rekonstrukci a verifikaci stavu L2 (ať již přes fraud proof při optimistic, nebo validity proof při zk).

Optimistic rollupy: předpoklad správnosti + okno pro námitky

Optimistic rollup (ORU) publikuje state root a data transakcí na L1 s předpokladem, že jsou správná. Během challenge period (typicky dny) může kterýkoli watcher zpochybnit tvrzení a předložit fraud proof. L1 vynutí interaktivní nebo jednorázovou verifikaci sporného segmentu výpočtu a v případě podvodu penalizuje pachatele (slashing bond).

Výhody: jednodušší produkce bloků, okamžitě nízké náklady na produkci, přirozená EVM kompatibilita na bázi bytecode nebo zdrojového kódu.
Nevýhody: dlouhé výběrové lhůty přes nativní most (L2→L1), potřeba nepřetržité ekonomické motivace pro pozorovatele, složité řešení single-step proofs a fault proof pipelines.

ZK rollupy: kryptografická správnost s nulovými znalostmi

zk rollup (ZKR) k každému batchi transakcí vytváří validity proof (SNARK/STARK), kterým dokazuje, že přechod stavu je korektní vzhledem k publikovaným datům. L1 ověří krátký důkaz v konstantním čase a tím finalizuje dávku bez čekací lhůty na spory.

Výhody: rychlá finalita po potvrzení důkazu na L1, bez potřeby challenge okna, lepší odolnost vůči dlouhému řetězení sporů.
Nevýhody: nákladná produkce důkazů (proving), specifická VM a překladače (zkEVM/zkVM), potenciální potřeba trusted setupu (SNARK), vyšší inženýrská složitost.

Data availability (DA) a nákladový rozklad transakce

Náklady L2 transakce lze přibližně rozdělit na: DA náklady (publikování dat nebo závazků na L1), výpočetní náklady (exekuce a prover/verifier) a sekvencování. U rollupů dominuje DA komponenta, protože L1 calldata nebo blob při publikaci batchů stojí gas. Snížení DA (komprese, blobspace, alternativní DA sítě) přímo snižuje cenu transakcí.

Finalita: ekonomická, kryptografická a percepční

U ORU má uživatel rychlou percepční finalitu (sekvencer potvrdí blok), avšak ekonomická finalita na L1 nastává až po vypršení challenge okna, pokud spoléháme na nativní most. U ZKR se finalita posouvá na čas ověření důkazu na L1 (obvykle minuty), poté jsou výběry okamžitě proveditelné přes nativní most.

EVM kompatibilita: plný ekvivalent vs. transpilační přístupy

Pro adopci je kritické, do jaké míry se L2 chová jako Ethereum:

Optimistic: často dosahuje bytecode-level kompatibility (EVM ekvivalence), což minimalizuje rozdíly v tooling a auditech.
zk: spektrum od zkEVM Type 1 (plná ekvivalence, pomalejší důkazy) po Type 3–4 (odchylky a custom VM pro rychlejší proving). Kompromis: rychlost důkazů vs. věrnost EVM.

Bezpečnostní modely: kdo a co musí být „poctivé“

Optimistic: alespoň jeden poctivý pozorovatel musí být online a schopný podat fraud proof. Rizika: nedostupnost dokazovacího kanálu, chyby ve fault-proof implementaci, cenzura sekvencerem během okna.
zk: spoléhání se na korektnost kryptografie a implementace proveru. Rizika: chyby v cirkitech, trusted setup (pokud existuje), potenciálně centralizované klíče proving infrastruktury.

Latence a UX: rychlost potvrzení vs. rychlost výběru

Pro koncové uživatele je důležité rozlišovat:

Confirm time: čas, kdy sekvencer potvrdí transakci (obvykle ~sekundy).
L1 finality: čas, kdy je batch neodvolatelně finalizován na L1.
Exit time: čas, kdy lze bez protistrany překlenout aktiva L2→L1 přes nativní most (dlouhé u ORU, krátké u ZKR).

Mosty a likvidita: nativní vs. likviditní (rychlé) výběry

Nativní most dědí bezpečnost L1, ale u ORU trpí dlouhým odchodem. Likviditní mosty (market-maker nebo AMM model) poskytují okamžité výběry za poplatek a riziko proti straně. U ZKR jsou nativní výběry rychlé, avšak likviditní mosty zůstávají důležité pro mezireťazcovou interoperabilitu a agregaci likvidity.

MEV, pořadí transakcí a sekvencování

Rollupy dnes typicky používají jediného sekvencera. To přináší MEV a riziko cenzury. Strategické směry zahrnují decentralizované sekvencery, shared sequencing, enklávové fair ordering nebo PBS-inspirované

Zero-knowledge techniky: SNARKy, STARKy a rekurze

Volba důkazového systému je kompromis mezi rychlostí proveru, velikostí důkazu, nutností trusted setupu a náklady verifikace na L1:

SNARK: malé důkazy a rychlé ověření, často vyžaduje trusted setup.
STARK: transparentní (bez trusted setupu), větší důkazy, rychlý prover, dobrá rekurze.
Rekurzivní důkazy umožňují agregovat množství transakčních poddůkazů do jednoho L1 důkazu, čímž se zlepšuje škálovatelnost.

Ekonomika poplatků: kde vzniká úspora

Poplatek L2 je přibližně DA náklad na transakci + amortizovaný proving/sekvencování. Úspora vzniká ve dvou osách: (1) komprese a levnější publikování dat (např. blobspace), (2) výpočetní efektivita (rychlejší prover, optimalizované VM). V optimistickém světě jsou výpočetní náklady nízké, ve zk světě klesají s technologickým pokrokem a specializovaným HW.

Limity optimistic přístupu

Challenge window: UX a kapitálové náklady pro dlouhé výběry, složité „fast withdrawal“ schémata.
Závislost na pozorovatelích: vyžaduje alespoň jednoho aktivního a solventního challengera.
Komplexní fault proofy: úplná produkční provozní implementace důkazů EVM je inženýrsky náročná; zpoždění ohrožují bezpečnostní garance.

Limity zk přístupu

Nákladný proving: při špičce může být úzkým hrdlem. Potřebná horizontální škálovatelnost proverů a off-chain infrastruktury.
Kompatibilita: plná EVM ekvivalence zpomaluje důkazy; custom VM vyžaduje portování nástrojů a auditů.
Trusted setup: pokud existuje, přináší dlouhodobá procedurální rizika; nutná multi-party ceremonie a řízení klíčů.

Úloha blobspace a komprese dat

Samostatný prostor pro data rollupů (blobspace) dramaticky snižuje DA náklady a odděluje je od běžného calldata. Kompresní techniky (RLP → binární formáty, delta/merkelizace, state diffs) dále snižují jednotkové náklady na transakci. Výsledkem je řádové zlepšení TPS při zachování bezpečnosti L1.

Kompozicionalita a fragmentace: L2, L3 a app-specific rollupy

Rollupy přinášejí fragmentaci likvidity. Více L2/L3 snižuje atomickou kompozicionalitu známou z jedné L1. Řešení zahrnují layered bridging, shared sequencing, interoperabilní důkazy a intenty s off-chain matcherami, kteří hledají atomické cross-domain vykonání.

Privacy vs. veřejná transparentnost

zk techniky umožňují selektivní soukromí (např. skryté množiny vstupů, důkazy o správnosti bez zveřejnění detailů). V rollup kontextu je však povinnost DA – alespoň dostatečný otisk transakcí či state diffs musí být dostupný, aby klienti mohli verifikovat stav. Design tak balancuje mezi škálováním a soukromím.

Node a klienti: co musí ověřovat uživatel

Plnohodnotný klient L2 potřebuje přístup k batchi dat a schopnost lokálně přepočítat stav nebo ověřit důkaz (u ZKR). Lehký klient spoléhá na L1 ověření závazků a případně na validity proofs, čímž získává bezpečnostní garance bez plné re-exekuce.

Decentralizace sekvencera a cenzura

Centralizovaný sekvencer je rychlý, ale cenzurovatelný. Cesty k decentralizaci zahrnují rotující výběr, commit-reveal na pořadí, fair ordering, specializované consensus vrstvy pro L2 a fallback mechanismy, kde uživatelé mohou force-inklúzi transakce přímo přes L1.

Porovnání v praxi: kde vyniká optimistic a kde zk

Vysokofrekvenční DeFi a okamžitý exit: výhoda ZKR v rychlé L1 finalitě a nativních rychlých výběrech.
Široká EVM kompatibilita a nízká komplexita vývoje: výhoda ORU, kde je portování existujících dApps triviální.
Nákladová efektivita při velkých batchech: ZKR benefitují z rekurze a amortizace důkazů; ORU z extrémně levné produkce bloků, pokud je DA levná.

Testování, monitoring a incident response

Spolehlivý provoz rollupu vyžaduje formalizované specifikace, fuzzer pro L2 VM, on-chain monitoring L1 kontraktů, sledování DA publikace a připravené incident playbooky pro cenzuru sekvencera, výpadek prover infrastruktury nebo chyby v mostě. Audity se musí týkat nejen smart kontraktů, ale i klientů, cirkitů a orchestrací infrastruktury.

Likvidita a ekosystémové efekty

Síťové efekty DeFi tlačí kapitál do míst s nejnižším třením: levné transakce, rychlá finalita, bohatá nabídka derivátů a stabilní mostový ekosystém. Rollup, který kombinuje levnou DA, rychlý proving a spolehlivý sekvencer, získává konkurenční výhodu a přitahuje market makery i integrátory.

Regulační a provozní úvahy

Rozhraní mezi L2 a centralizovanými subjekty (sekvencery, prover farmami) může vytvářet regulační body tlaku (KYC/AML na branách, dohled nad MEV aukcemi). Design s permissionless rolujícími komponenty a otevřeným přístupem k produkci důkazů snižuje systémová rizika.

Budoucí směřování: modulární štěpení úloh

Modulární architektura odděluje exekuci (L2 VM), DA (L1 blobspace nebo alternativní DA sítě), settlement (ověřování důkazů na L1) a sekvencování (decentralizované). Kombinace těchto modulů umožní různé profily: nízké poplatky pro platby, vysokou propustnost pro hry, deterministické pořadí pro finanční trhy.