Así funciona una operación básica de Solidity por debajo del capó. Toma una expresión sencilla como uint c = a + b — parece simple cuando la escribes, pero el compilador la traduce en algo bastante diferente a nivel de bytecode.

Una vez compilada, obtienes opcodes que se ven aproximadamente así:
PUSH1 a
PUSH1 b
ADD

Eso es el EVM hablando. Cada instrucción se ejecuta una tras otra. El cliente procesa cada opcode secuencialmente, empujando valores en la pila, realizando operaciones y pasando a la siguiente instrucción. Sin atajos, sin magia — solo una serie determinista de pasos que transforma tu código de alto nivel en operaciones ejecutables por la máquina.

Por eso la optimización de gas es tan importante en el desarrollo en blockchain. Cada opcode tiene un coste, y entender qué bytecode se genera a partir de tu Solidity es la diferencia entre contratos inteligentes eficientes y contratos que desperdician recursos.