Parte III · 3 — L2 e a escala

draft

O trilema diz que não dá para ter tudo numa camada só. A resposta moderna: não force o L1 a escalar — mova a execução para uma camada acima e use o L1 só como âncora de segurança. É a tese dos rollups.


3.1 Por que L2

Aumentar a vazão do L1 (blocos maiores, mais rápidos) sacrifica descentralização — menos gente consegue rodar um nó. A saída que preserva o trilema é separar os papéis:

  • Execução sai para uma camada 2, que processa milhares de transações barato.
  • Segurança e liquidação ficam no L1, que apenas verifica o resultado.

O L2 herda a segurança do L1 sem herdar seu gargalo. É o mesmo princípio das camadas da Parte I: trabalhe na camada certa.

Rollup: executa as transações no L2 e ancora a prova no L1


3.2 Rollups: comprimir e provar

Um rollup executa as transações fora do L1 e publica no L1 um resumo comprimido do resultado, mais uma garantia de que ele está correto. Há duas formas de dar essa garantia — a distinção central das L2:

Rollup otimista (prova de fraude) × ZK-rollup (prova de validade)

Rollup otimista ZK-rollup
Garantia assume correto; contestável prova matemática de validade (zk)
Mecanismo prova de fraude (fraud proof) numa janela de disputa prova de validade (validity proof) verificada no L1
Saque para o L1 lento (~7 dias de janela) rápido (prova já verificada)
Custo/maturidade mais simples, maduro (Arbitrum, Optimism) mais complexo; provar é caro (zkSync, Starknet)

O otimista confia até que alguém prove fraude; o ZK não pede confiança — entrega uma prova de que a execução foi correta. Ambos dependem de a L1 ter os dados disponíveis para verificar.


3.3 Disponibilidade de dados e a tese modular

Para qualquer um poder verificar (ou contestar) o L2, os dados das transações precisam estar acessíveis — é a disponibilidade de dados (DA). Era o maior custo dos rollups, até o EIP-4844 (2024) criar os blobs: espaço de bloco barato e temporário no Ethereum, dedicado a dados de L2 (cortou as taxas dos rollups em ordens de grandeza).

Isso consolidou a tese modular: em vez de uma cadeia fazer tudo, o sistema se parte em camadas especializadas — execução (rollups), liquidação (L1), consenso e disponibilidade de dados (camadas DA dedicadas, como Celestia). Cada uma evolui e escala separadamente. É a mesma lógica de camadas da criptografia e da própria blockchain, levada ao topo da pilha.


Referência densa: taxonomia de L2, optimistic/ZK rollups, state channels, validium, EIP-4844 e a tese modular/restaking em 07-l2-scaling. Fim da Parte III — temos as cadeias e como escalá-las. A Parte IV — DeFi e aplicações (em construção) sobe para o que se constrói em cima: contratos financeiros, NFTs e RWA.