Parte I · 2 — Conceitos e o trilema
Quatro ideias sustentam toda blockchain: o encadeamento que dá imutabilidade, o problema dos generais bizantinos que o consenso resolve, o trilema que limita todo desenho, e o modelo de transação que define o estado. Domine-as e o resto do compêndio se encaixa.
2.1 O encadeamento e a imutabilidade
Cada bloco carrega o hash do bloco anterior no seu cabeçalho. Como o hash (Parte II da Cripto) muda completamente com qualquer alteração na entrada, mudar um bloco antigo muda seu hash — o que invalida o ponteiro do bloco seguinte, e do seguinte, em cascata.
Adulterar a história, então, exigiria recomputar todos os blocos posteriores e ainda superar o trabalho de toda a rede honesta — economicamente inviável. Daí a imutabilidade.
Imutabilidade não é absoluta. É resistência prática a adulteração, não impossibilidade matemática: um hard fork coordenado pode reescrever a história (como o fork do The DAO em 2016 no Ethereum). A garantia é econômica e social, não só criptográfica.
Dentro de cada bloco, as transações são resumidas numa árvore de Merkle — uma estrutura de hashes que permite provar que uma transação está no bloco sem baixar o bloco inteiro. É o que viabiliza clientes leves.
2.2 O problema dos generais bizantinos
Por que o consenso é difícil? O problema dos generais bizantinos (Lamport, 1982) é a metáfora canônica: vários generais cercam uma cidade e precisam concordar em atacar ou recuar, comunicando-se só por mensageiros — sabendo que alguns generais podem ser traidores enviando mensagens contraditórias. Como chegar a um acordo confiável apesar de participantes maliciosos?
Uma blockchain enfrenta exatamente isso: nós espalhados pelo mundo, alguns honestos, alguns maliciosos, precisam concordar na mesma ordem de transações sem um coordenador. Um sistema é tolerante a faltas bizantinas (BFT) se chega a consenso mesmo com uma fração de nós agindo de forma arbitrária. A inovação do Bitcoin (2008) foi resolver isso em escala aberta, com incentivos — tema da Parte II (em construção).
A consequência prática é a finalidade (finality): quando uma transação se torna irreversível. Pode ser probabilística (no Bitcoin, cada bloco a mais a torna exponencialmente mais segura) ou determinística (em sistemas BFT, um bloco finalizado nunca volta).
2.3 O trilema da escalabilidade
O trade-off central de todo desenho de blockchain, articulado por Vitalik Buterin: é fácil ter duas das três propriedades abaixo — difícil ter as três ao mesmo tempo.
- Descentralização — qualquer um pode participar e validar com hardware
modesto (sem barreira de entrada).
- Segurança — resistir a ataques caros (controlar a rede deve custar muito).
- Escalabilidade — alta vazão de transações.
O Bitcoin e o Ethereum L1 priorizam descentralização + segurança, sacrificando escalabilidade (daí 7–15 TPS). Cadeias muito rápidas costumam sacrificar descentralização (poucos validadores potentes). É esse trilema que as camadas L2 (Parte III) tentam contornar — escalar sem abrir mão da segurança da L1.
2.4 Modelos de transação e carteiras
Há duas formas de representar o estado do ledger:
| Modelo | Como funciona | Usado por |
|---|---|---|
| UTXO | o saldo é o conjunto de "saídas não gastas"; cada tx consome umas e cria outras (como notas de dinheiro) | Bitcoin |
| Conta | cada endereço tem um saldo e armazenamento, atualizados a cada tx (como conta bancária) | Ethereum |
Em ambos, a identidade é uma chave (Parte II da Cripto): o endereço deriva de uma chave pública; gastar exige assinar com a privada. Uma carteira não guarda moedas — guarda chaves. Perder a chave privada é perder os fundos, sem recuperação: a contrapartida brutal de não haver uma autoridade central para "resetar a senha".
Referência densa: vocabulário completo, propriedades, CAP/FLP, modelos de tx e topologia de rede em
02-fundamentos. Fim da Parte I. A Parte II — Consenso (em construção) abre a caixa-preta: Proof of Work, Proof of Stake, e como o acordo bizantino acontece de fato.