Contrato inteligente
Código que vive numa blockchain e é executado por todos os nós quando alguém o chama. O termo foi cunhado por Nick Szabo em 1994; a Ethereum o tornou prático em 2015.
Geralmente escrito em Solidity, compilado para bytecode da EVM e imutável depois do deploy — daí os padrões de upgrade construídos com contratos proxy. "Code is law" (código é lei) durou até o hack da DAO em 2016, quando 3,6 milhões de ETH foram drenados por um bug de reentrância e a comunidade Ethereum fez um hard fork para desfazer o evento (o que sobrou é a Ethereum Classic). Classes comuns de vulnerabilidade: reentrância, overflow de inteiro (menos comum desde o Solidity 0.8), manipulação de oráculo, front-running. Cada linha custa gas, então otimização e segurança puxam para lados opostos.