É assim que uma operação básica em Solidity funciona por baixo dos panos. Pegue uma expressão simples como uint c = a + b — parece straightforward quando a escreve, mas o compilador traduz isso para algo bastante diferente ao nível do bytecode.

Uma vez compilado, obtém-se opcodes que parecem mais ou menos assim:
PUSH1 a
PUSH1 b
ADD

Isso é o EVM a falar. Cada instrução é executada uma após a outra. O cliente processa cada opcode sequencialmente, empurrando valores para a pilha, realizando operações e passando para a próxima instrução. Sem atalhos, sem magia — apenas uma série determinística de passos que transforma o seu código de alto nível em operações executáveis pela máquina.

É por isso que a otimização de gás é tão importante no desenvolvimento blockchain. Cada opcode tem um custo, e entender qual bytecode é gerado a partir do seu Solidity faz toda a diferença entre contratos inteligentes eficientes e contratos que desperdiçam recursos.