Contas e estado global

Curiosidade

1. Por que rastrear a riqueza como um conjunto de saídas não gastas torna difícil escrever programas de uso geral?
2. Qual consequência mecânica decorre de permitir que qualquer transação leia e escreva todo o armazenamento da rede?
3. Como um modelo baseado em contas altera o custo de verificar o histórico em comparação com um conjunto de UTXO?

Explorar

1. O Bitcoin acompanha o valor por meio dos outputs de transações não gastas, ou UTXOs. Cada transação consome inputs específicos e cria novos outputs; a validação verifica apenas as moedas que estão sendo gastos (lição 2.2.1). Esse modelo é local e discreto. O Ethereum, lançado em julho de 2015 por Vitalik Buterin e cofundadores como Gavin Wood, adota uma máquina de estados baseada em contas. Cada endereço possui um saldo que é atualizado diretamente nele. Toda a história da rede é compactada em um único objeto de estado global: os saldos atuais de todas as contas e os espaços de armazenamento de todos os contratos implementados.
2. Neste modelo, existem dois tipos de contas: contas de propriedade externa (EOAs), controladas por chaves privadas, e contas de contrato, controladas por código. Uma EOA inicia transações; um contrato executa lógica somente quando invocado. A função de transição de estado leva em consideração o estado global atual e uma transação, produzindo então um novo estado global. Como cada nó calcula essa transição de forma determinística a partir do mesmo ponto de partida, o consenso surge sem necessidade de confiança. Essa estrutura torna possível o cálculo de uso geral, já que qualquer conta pode armazenar dados arbitrários em seu espaço de armazenamento.
3. A expressividade do modelo de conta permite aplicações complexas como exchanges descentralizadas e protocolos de empréstimo. Um contrato pode ter um valor de bilhões e executar lógicas intricadas com base em condições globais. No entanto, esse poder introduz fragilidades. Como o estado é mutável e compartilhado, um único erro no código de um contrato pode esvaziar todo o seu saldo ou corromper contratos relacionados. A vulnerabilidade de reentrância explorada no hack do The DAO (junho de 2016) demonstrou como uma falha local poderia afetar o estado global, levando a um fork conduzido pela comunidade.
4. O crescimento do estado é uma consequência inerente desse design. O conjunto de UTXO do Bitcoin também cresce, mas cada entrada é pequena e é excluída quando gasta; o armazenamento dos contratos do Ethereum acumula dados. Cada operação `SSTORE` adiciona informações que permanecem por tempo indeterminado, a menos que sejam zeradas explicitamente (o que ainda custa “gas”). Esse crescimento ilimitado faz com que a execução de um nó completo se torne cada vez mais pesada em termos de espaço em disco e memória. Os nós precisam manter todo o estado global para validar transações, criando um trade-off entre a capacidade computacional e o custo de verificação.
5. O Ethereum Yellow Paper formaliza isso como uma função de transição de estado determinística. A EVM processa instruções em uma máquina de pilha, onde operações como `ADD` ou `SLOAD` modificam o contexto de execução local, atualizando potencialmente o armazenamento global das contas. Essa arquitetura permite a completude de Turing, mas requer “gas” para garantir seu término. Cada operação consome “gas”, evitando laços infinitos e delimitando o custo computacional de qualquer transação em relação ao limite de “gas” do bloco.
6. Abra um explorador de blocos como o Etherscan e analise uma interação recente com um contrato. Observe a aba “Storage” na página do contrato; ela lista pares chave-valor que constituem o estado persistente da conta. Note como esses valores mudam após cada transação envolvendo esse endereço. Essa visualização revela a realidade concreta do estado global: o código não é apenas executado, mas também armazenado, com seus dados persistindo ao longo das transações e crescendo com o tempo.

Fatos-chave

Exercício nove, seis, três, um

Verificação de fatos

Datas, números e afirmações verificados com as fontes publicadas listadas abaixo.

• G. Wood, 'Ethereum: A Secure Decentralised Generalised Transaction Ledger' (Yellow Paper, 2014)
• V. Buterin, 'Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform' (2013/2014)
• A. M. Antonopoulos & D. A. Harding, Mastering Bitcoin, 3rd ed. (2023)