Utilizamos cookies para oferecer melhor experiência. Com a sua permissão, também usamos cookies de análise, para melhorar o produto, e de marketing, para o programa de indicação. Saiba mais na Política de Privacidade.
Automação, oráculos e auditorias: saiba o que os smart contracts resolvem e quando não usá-los.
O contrato assinado, válido e registrado que ninguém cumpriu: o custo real da execução manual — advogados, cartórios, mediadores — a fricção contratual como custo econômico invisível e a pergunta que define o curso: dá para um contrato executar sozinho?
Uma ideia de 1994 que o mundo levou 20 anos para implementar: o conceito original de Nick Szabo, o “if this, then that” como lógica de execução automática, por que não funcionou antes da blockchain e o que ela adicionou — execução neutra, imutável e auditável.
O contrato assinado, válido e registrado que ninguém cumpriu: o custo real da execução manual — advogados, cartórios, mediadores — a fricção contratual como custo econômico invisível e a pergunta que define o curso: dá para um contrato executar sozinho?
Uma ideia de 1994 que o mundo levou 20 anos para implementar: o conceito original de Nick Szabo, o “if this, then that” como lógica de execução automática, por que não funcionou antes da blockchain e o que ela adicionou — execução neutra, imutável e auditável.
Por que “smart” e “contract” são os dois adjetivos mais imprecisos do Web3: a definição exata — um programa que vive na blockchain, tem estado e executa funções quando chamado — sua estrutura sem código e por que o Ethereum domina (e quando outra plataforma faz sentido).
O contrato que travou US$ 150 milhões por um bug de uma linha, sem como desfazer: as limitações estruturais (não acessam internet, não executam sozinhos, não têm julgamento), a imutabilidade como faca de dois gumes e a expectativa certa a comunicar a um stakeholder.
Do código ao contrato vivo: o que acontece no deploy, como endereço e ABI tornam o contrato uma entidade na rede, o estado on-chain como coração de qualquer aplicação descentralizada e o gas como linguagem econômica do design.
Um seguro que paga quando chove — mas o contrato não sabe se choveu: os oracles como ponte com o mundo real (e Chainlink como infraestrutura dominante), a composabilidade “money legos” que torna o DeFi possível e o risco de cascata quando um protocolo depende de outro.
US$ 100 bilhões emprestados sem banco, gerente ou análise de crédito humana: como o DeFi lending de Aave e Compound automatiza crédito colateralizado, como DEX e AMM (Uniswap) substituem livros de ordem por pools, e o contrato de emissão por trás da tokenização.
Uma fazenda recebendo no momento em que o caminhão atravessa o portão: seguros paramétricos que pagam quando um índice é atingido (sem perito), supply chain com liquidação por entrega verificada e NFTs como contratos que automatizam royalties a cada revenda.
Uma organização com US$ 10 bilhões sob gestão, sem CEO nem sede: como as DAOs automatizam votação, aprovação de gastos e execução de decisões, o que pode e o que ainda não pode ser automatizado e o que elas revelam sobre o futuro das organizações.
O The DAO hack: US$ 60 milhões drenados em 2016 por uma falha de três linhas e o hard fork que dividiu a comunidade. O mecanismo do reentrancy attack, os flash loan attacks e a oracle manipulation, e a diferença entre bug de segurança e bug de lógica.
O protocolo auditado por duas firmas e hackeado três meses depois: o que uma auditoria faz (revisão, análise estática, fuzzing), o que ela não garante (bugs de lógica, mudanças de contexto, ataques a dependências) e os trade-offs da upgradeabilidade via proxies.
O projeto que gastou R$ 2 milhões num smart contract que um banco de dados resolveria por R$ 50 mil: o framework de 5 perguntas que define quando o contrato é a ferramenta certa e um exercício final com três casos — sim, não e “depende”.