Bytecode de contrato

¿Qué es el bytecode de contrato?

El bytecode de contrato es el código de bajo nivel legible por máquina que ejecuta una máquina virtual blockchain cuando se despliega o se llama a un contrato inteligente.

En el ámbito cripto, el término se utiliza sobre todo al hablar de contratos inteligentes en redes similares a Ethereum, donde el código fuente se compila en bytecode de Ethereum Virtual Machine antes de poder ejecutarse on-chain.

Los desarrolladores suelen escribir contratos inteligentes en un lenguaje de alto nivel, como Solidity, pero los validadores, los nodos y la máquina virtual no ejecutan directamente el código fuente original legible por personas.

En su lugar, el código fuente se compila en bytecode, que se convierte en la lógica del programa almacenada en la dirección del contrato inteligente.

La guía de Ethereum sobre la compilación de contratos inteligentes explica que un contrato debe estar en bytecode para que la EVM pueda ejecutarlo.

El bytecode de contrato es importante porque representa la versión on-chain definitiva de la lógica de un contrato, no un simple detalle técnico oculto en el editor de código del desarrollador.

Si el código fuente de un contrato dice una cosa, pero el bytecode desplegado hace otra, la blockchain seguirá el bytecode.

Por este motivo, el bytecode de contrato es fundamental para la verificación de contratos inteligentes, la seguridad blockchain, las auditorías de tokens, las aplicaciones descentralizadas y la confianza de los usuarios.

Cómo funciona el bytecode de contrato

Un contrato inteligente empieza como código fuente escrito por un desarrollador.

El desarrollador elige la versión del compilador, los ajustes del compilador, los ajustes de optimización, las bibliotecas, los argumentos del constructor y la versión de la máquina virtual de destino.

El compilador convierte el código fuente en bytecode que la máquina virtual de la blockchain puede entender.

Cuando se despliega el contrato, una transacción envía el código de creación a la red.

El código de creación se ejecuta una vez durante el despliegue y devuelve el bytecode de ejecución que permanecerá almacenado en la dirección del contrato.

Después del despliegue, los usuarios y otros contratos interactúan con el bytecode de ejecución desplegado.

La documentación de Ethereum Virtual Machine describe la EVM como el entorno que ejecuta el código de los contratos inteligentes de forma coherente en los nodos de Ethereum.

Como todos los nodos deben llegar al mismo resultado, la ejecución del bytecode es determinista.

Esto significa que la misma transacción, aplicada al mismo estado de la blockchain y bajo las mismas reglas del protocolo, debería producir el mismo resultado en todos los nodos válidos.

Esta coherencia permite que los contratos inteligentes sustenten tokens, mercados de préstamos, swaps, juegos, sistemas de gobernanza y otras aplicaciones cripto sin que un servidor central decida el resultado.

Bytecode de contrato frente a código fuente

El código fuente está escrito para las personas, mientras que el bytecode de contrato está escrito para la máquina virtual.

El código fuente puede incluir nombres de funciones y variables, comentarios, formato y patrones de diseño que facilitan la comprensión del contrato.

El bytecode suele mostrarse como una larga cadena hexadecimal que resulta difícil de leer directamente para la mayoría de los usuarios.

Una función sencilla del código fuente puede convertirse en muchas instrucciones de bytecode tras la compilación.

Estas instrucciones controlan las operaciones de pila, la memoria, el acceso al almacenamiento, la aritmética, las llamadas a contratos, los registros, los saltos, las reversiones y otros comportamientos de bajo nivel.

La referencia de opcodes de Ethereum enumera los códigos de operación que determinan el comportamiento del bytecode de la EVM.

El código fuente es más fácil de auditar, pero la blockchain ejecuta realmente el bytecode.

Por este motivo, una revisión exhaustiva del contrato suele comprobar si el código fuente publicado coincide realmente con el bytecode desplegado.

Una página con el código fuente verificado solo resulta útil cuando la salida del compilador puede cotejarse con el bytecode on-chain utilizando los ajustes correctos.

Bytecode de creación y bytecode de ejecución

El bytecode de contrato suele analizarse en dos formas principales: bytecode de creación y bytecode de ejecución.

El bytecode de creación es el código incluido en la transacción de despliegue.

Contiene las instrucciones necesarias para crear el contrato, ejecutar el constructor, gestionar la configuración inicial y devolver el bytecode de ejecución definitivo.

El bytecode de ejecución es el código almacenado en la dirección del contrato tras el despliegue.

Es el código que se ejecuta cuando alguien llama al contrato más adelante.

Esta diferencia importa porque el bytecode utilizado para desplegar un contrato no siempre es idéntico al que permanece on-chain.

Los argumentos del constructor pueden aparecer en los datos de despliegue, pero no necesariamente en la misma forma dentro del bytecode de ejecución definitivo.

Los metadatos del compilador también pueden afectar al bytecode exacto que genera una compilación.

La documentación de Solidity sobre metadatos explica cómo pueden incluirse metadatos en el bytecode de contrato y utilizarse con herramientas.

Al verificar un contrato, pueden ser relevantes el bytecode de creación, el bytecode de ejecución, los datos del constructor, las direcciones de las bibliotecas enlazadas y los ajustes del compilador.

Qué contiene el bytecode de contrato

El bytecode de contrato contiene instrucciones que indican a la máquina virtual qué debe hacer.

Estas instrucciones se llaman opcodes, abreviatura de códigos de operación.

Cada opcode tiene un significado específico conforme a las reglas de ejecución de la blockchain.

Por ejemplo, algunos opcodes realizan cálculos, otros leen datos de transacciones, escriben en el almacenamiento del contrato, generan registros o llaman a otros contratos.

El bytecode de la EVM también utiliza una ejecución basada en pilas: muchas operaciones extraen datos de una pila y devuelven los resultados a esa misma pila.

La EVM también dispone de memoria para datos temporales y de almacenamiento para el estado persistente del contrato.

El almacenamiento contiene datos duraderos del contrato, como saldos de tokens, registros de titularidad, valores de configuración y mappings.

La memoria es temporal y desaparece cuando finaliza la transacción.

Calldata contiene los datos de entrada enviados a la llamada del contrato, incluidos el selector de función y los argumentos codificados.

La especificación ABI de Solidity explica cómo se codifican las llamadas a contratos y los valores devueltos para interactuar con contratos inteligentes.

El bytecode de contrato no suele conservar los comentarios, los nombres de variables descriptivos ni toda la estructura que el usuario ve en el código fuente.

Esta es una de las razones por las que el código fuente verificado es valioso para usuarios, auditores, desarrolladores e investigadores de seguridad.

Por qué es importante el bytecode de contrato en el sector cripto

El bytecode de contrato es importante porque la lógica de los contratos inteligentes puede controlar directamente los activos cripto.

Un contrato de token utiliza bytecode para determinar cómo cambian los saldos, quién puede transferir tokens, cómo funcionan las autorizaciones y si existen permisos especiales.

Una aplicación descentralizada puede utilizar bytecode de contrato para gestionar depósitos, retiradas, comisiones, liquidaciones, recompensas, votaciones o ejecuciones automatizadas.

Si el bytecode contiene un error, este puede afectar a fondos reales.

Si contiene un permiso oculto, una función de administrador, una vía de actualización peligrosa o una regla de transferencia maliciosa, los usuarios pueden afrontar riesgos graves.

Como las transacciones blockchain suelen ser irreversibles una vez confirmadas, los usuarios deben considerar el bytecode de contrato como el reglamento efectivo del contrato.

La interfaz de un sitio web puede parecer sencilla, pero el bytecode de contrato determina lo que sucede realmente on-chain.

Por eso, las advertencias de las carteras, las etiquetas de verificación de contratos, los informes de auditoría y las simulaciones de transacciones son elementos importantes para operar con criptomonedas de forma más segura.

Bytecode de contrato y verificación de contratos inteligentes

La verificación de un contrato inteligente es el proceso de demostrar que el código fuente publicado coincide con el bytecode del contrato desplegado.

Su objetivo es permitir que los usuarios lean código fuente comprensible en lugar de confiar en una cadena hexadecimal ilegible.

La guía de Ethereum sobre verificación de contratos explica que el proceso consiste en recompilar el código fuente con la información original del despliegue y comparar el resultado con el bytecode on-chain.

La verificación suele requerir la versión exacta del compilador, los ficheros fuente, los argumentos del constructor, los ajustes de optimización, las direcciones de las bibliotecas externas y la configuración de compilación.

Incluso una pequeña diferencia en los ajustes del compilador puede producir un bytecode distinto.

Que un contrato esté verificado no significa automáticamente que sea seguro.

Significa que el código fuente publicado puede cotejarse con el bytecode desplegado utilizando los ajustes indicados.

Los usuarios deben seguir revisando los permisos, la titularidad, la capacidad de actualización, las llamadas externas, el comportamiento del token y los resultados de las auditorías.

La verificación mejora la transparencia, pero no elimina el riesgo de los contratos inteligentes.

Bytecode de contrato y comisiones de gas

El bytecode de contrato afecta al coste de gas porque cada instrucción tiene un coste de ejecución según las reglas de la máquina virtual.

Algunas operaciones son baratas, mientras que las escrituras en el almacenamiento y ciertas interacciones con contratos pueden resultar caras.

Al desplegar un contrato, el tamaño y la complejidad del bytecode también pueden afectar al coste del despliegue.

Un bytecode más pequeño y eficiente puede reducir el consumo de gas, pero una optimización agresiva puede dificultar la comprensión del código.

El compilador de Solidity incluye ajustes de optimización que pueden modificar el bytecode generado.

La documentación del optimizador de Solidity explica cómo la optimización puede afectar al código generado y a la eficiencia de gas.

Los desarrolladores suelen equilibrar el ahorro de gas con la legibilidad, la facilidad de auditoría y la previsibilidad del comportamiento.

Los usuarios no necesitan leer bytecode en bruto para entender el gas, pero deben saber que el diseño del contrato afecta directamente al coste de interactuar con una aplicación cripto.

Bytecode de contrato y opcodes

Los opcodes son las instrucciones individuales que componen el bytecode de contrato.

En la EVM, hay instrucciones como ADD, CALL, SLOAD, SSTORE, JUMP, LOG, RETURN y REVERT.

Cada opcode modifica el estado de ejecución de una forma definida.

Por ejemplo, SLOAD lee del almacenamiento del contrato, mientras que SSTORE escribe en él.

CALL puede transferir el control a otro contrato; es una función potente, pero puede crear riesgos de seguridad si no se gestiona con cuidado.

REVERT detiene la ejecución y devuelve el gas restante en determinadas situaciones de error.

Las actualizaciones de la red pueden incorporar nuevos opcodes cuando cambia el protocolo.

Por ejemplo, EIP-3855 introdujo el opcode PUSH0, que añade el valor cero a la pila de forma más eficiente.

Como las reglas de los opcodes pueden cambiar con las actualizaciones del protocolo, los desarrolladores deben compilar los contratos para el entorno de destino correcto.

Por eso, el bytecode antiguo y el nuevo no siempre se basan en los mismos supuestos.

Bytecode de contrato y ABI

El bytecode de contrato y la ABI están relacionados, pero no son lo mismo.

El bytecode es el programa ejecutable almacenado on-chain.

La ABI, o Application Binary Interface, describe cómo los usuarios y las aplicaciones externos pueden llamar al contrato.

Una cartera, una interfaz, un script o una herramienta blockchain utiliza la ABI para codificar llamadas a funciones y decodificar los datos devueltos.

La ABI indica al software qué funciones existen, qué datos de entrada necesitan y cómo deben interpretarse los resultados.

Por lo general, los datos completos de la interfaz legible por personas de la ABI no se almacenan on-chain en la cuenta del contrato.

Esto significa que puede haber bytecode de un contrato on-chain aunque su ABI no esté disponible públicamente.

Cuando se verifica el código fuente, los exploradores de bloques y las herramientas de desarrollo suelen poder mostrar la ABI y facilitar la interacción con el contrato.

Sin una ABI verificada, es posible que los usuarios tengan que decodificar las llamadas manualmente o recurrir a herramientas de terceros, lo que aumenta la probabilidad de cometer errores.

Bytecode de contrato y descompilación

La descompilación es el proceso de intentar convertir el bytecode en un formato más legible.

Los descompiladores pueden ayudar a los investigadores a comprender un contrato no verificado, pero no pueden reconstruir a la perfección el código fuente original.

Los comentarios, los nombres de variables, el formato, la estructura de los ficheros y muchas decisiones de diseño de alto nivel suelen perderse durante la compilación.

Algunas optimizaciones del compilador también reorganizan la lógica de maneras que dificultan la comprensión del resultado descompilado.

Aun así, la descompilación puede revelar indicios importantes, como selectores de funciones, uso del almacenamiento, llamadas externas, registros de eventos y patrones sospechosos.

Sin embargo, los usuarios no deben considerar el código descompilado equivalente al código fuente verificado.

Es una representación del bytecode obtenida mediante ingeniería inversa, no el fichero fuente original del desarrollador.

Bytecode de contrato y contratos actualizables

Los contratos actualizables complican el análisis del bytecode, porque la dirección con la que interactúa un usuario puede no contener toda la lógica de la aplicación.

Muchos sistemas actualizables utilizan un contrato proxy que reenvía las llamadas a un contrato de implementación.

La dirección del proxy puede mantener el estado visible para los usuarios, mientras que la dirección de implementación contiene el bytecode de la lógica.

Si cambia la dirección de implementación, el comportamiento del contrato visible para el usuario puede cambiar sin modificar la dirección del proxy.

Esto puede ser útil para corregir errores o añadir funciones, pero también introduce riesgos de gobernanza y confianza.

Al revisar el bytecode de un contrato actualizable, los usuarios deben comprobar el proxy, la implementación, el administrador de actualizaciones y las reglas de actualización.

Un proxy verificado no basta si el contrato de implementación no está verificado o depende de un administrador con controles arriesgados.

El análisis del bytecode de un contrato debe tener en cuenta siempre si el código es permanente, actualizable o depende de otro contrato.

Bytecode de contrato y auditorías de seguridad

Las auditorías de seguridad suelen centrarse en el código fuente, pero el bytecode sigue siendo importante porque es la versión desplegada y efectiva.

Un informe de auditoría puede perder utilidad si el código fuente auditado no coincide con el bytecode desplegado.

Los auditores pueden comparar el código fuente, la salida compilada, las transacciones de despliegue, las versiones de las dependencias y el bytecode verificado para confirmar que la versión revisada coincide con la versión on-chain.

La revisión del bytecode también puede detectar patrones difíciles de apreciar únicamente en el código fuente.

Por ejemplo, el análisis del bytecode puede revelar código inalcanzable, comportamientos de salto inusuales, llamadas de bajo nivel, patrones de autodestrucción, reenvío mediante proxy o selectores de funciones ocultos.

Las herramientas de investigación analizan a menudo directamente el bytecode de la EVM porque muchos contratos desplegados no están verificados.

La investigación sobre servicios de verificación de contratos inteligentes destaca la importancia de cotejar el código fuente con el bytecode on-chain para generar confianza en el ecosistema de contratos inteligentes.

La enseñanza práctica para los usuarios es sencilla: no hay que confiar en un contrato únicamente porque tenga un sitio web cuidado o un nombre de token conocido.

Bytecode de contrato e inmutabilidad

Una vez desplegado, normalmente es difícil cambiar en la misma dirección el bytecode de ejecución estándar de un contrato inteligente.

Esta inmutabilidad es uno de los motivos por los que los contratos inteligentes pueden ofrecer reglas transparentes y ejecución automatizada.

Sin embargo, los usuarios deben tener presente que la inmutabilidad no siempre significa que el comportamiento de una aplicación sea completamente fijo.

Un contrato puede llamar a otros contratos cuyas direcciones pueden cambiar mediante gobernanza o configuración.

Un proxy puede delegar la ejecución en otra implementación.

Un administrador puede tener permiso para pausar funciones, cambiar comisiones, acuñar tokens, incluir direcciones en listas negras, actualizar la lógica o retirar determinados activos.

Algunos contratos también pueden depender de firmas off-chain, datos de oráculos o keepers externos.

Por tanto, la inmutabilidad del bytecode debe evaluarse junto con los permisos, las dependencias y el diseño de actualización.

Cómo pueden consultar los usuarios el bytecode de un contrato

Los usuarios pueden consultar el bytecode de un contrato mediante exploradores de blockchain, consultas a nodos, herramientas de desarrollo o plataformas de seguridad para carteras.

Un explorador de blockchain puede indicar si un contrato está verificado y mostrar el código fuente, los ajustes del compilador, la ABI, la transacción de creación y el bytecode desplegado.

Algunos exploradores también muestran coincidencias con bytecodes similares, lo que puede ayudar a identificar contratos creados a partir del mismo código o de uno muy parecido.

La guía de la pestaña de código del contrato explica cómo pueden aparecer el código fuente, la ABI, el bytecode y los datos de verificación en la página de un contrato.

Los usuarios avanzados pueden consultar un nodo mediante métodos que devuelven el código almacenado en la dirección de un contrato.

Los desarrolladores también pueden compilar el código fuente localmente y comparar el bytecode de ejecución resultante con el código on-chain.

Si falla la verificación de un contrato, los usuarios deben actuar con cautela, ya que puede que el código fuente legible no esté disponible o no coincida con el bytecode desplegado.

Señales de alerta habituales al revisar el bytecode de un contrato

Un contrato sin código fuente verificado puede ser más difícil de evaluar para los usuarios habituales.

Que un contrato no esté verificado no significa necesariamente que sea malicioso, pero plantea un problema de transparencia.

Un contrato de token con capacidad de acuñación oculta, restricciones de transferencia, controles de lista negra o una lógica de comisiones inusual puede exponer a sus titulares a riesgos importantes.

Un contrato que dependa de un proxy actualizable debe revisarse junto con su implementación y los controles de administración.

Un contrato que realice llamadas externas en funciones sensibles puede requerir una revisión adicional de los riesgos de reentrada y de permisos.

Conviene evitar un contrato que presente similitudes sospechosas con patrones de estafa conocidos, salvo que una revisión cualificada demuestre lo contrario.

Los usuarios deben actuar con cautela ante un contrato que solicite autorización para gastar una cantidad ilimitada de tokens, sobre todo si es nuevo, no está verificado o no ha sido auditado.

El bytecode de contrato no permite que un principiante lo sepa todo, pero puede ayudar a las herramientas de seguridad a detectar patrones de riesgo antes de que firme una transacción.

Bytecode de contrato en los lanzamientos de tokens

Durante el lanzamiento de un token, el bytecode del contrato controla las reglas efectivas del token.

Los materiales promocionales pueden describir una oferta fija, una distribución justa, comisiones bajas o la ausencia de permisos especiales de administración, pero los usuarios deben comprobar si el contrato respalda esas afirmaciones.

El bytecode puede definir funciones de acuñación y quema, reglas de impuestos, controles de liquidez, permisos de titularidad, límites de transferencia y controles de emergencia.

Si el código fuente está verificado, los usuarios y auditores pueden inspeccionar estas reglas con mayor facilidad.

Si el código fuente no está verificado, quizá los usuarios necesiten herramientas de análisis de bytecode o deban evitar interactuar hasta que haya más transparencia.

Para quienes compran tokens, entender el bytecode a grandes rasgos ayuda a comprender por qué la dirección del contrato importa más que el nombre o el símbolo del token.

Distintos contratos pueden utilizar el mismo símbolo, y un token falso puede imitar el nombre de un activo legítimo.

El bytecode del contrato en la dirección oficial es lo que define el comportamiento real on-chain.

Bytecode de contrato y redes Layer 2

Muchas redes Layer 2 admiten bytecode compatible con EVM, lo que permite a los desarrolladores desplegar contratos inteligentes similares en distintas redes.

La compatibilidad con EVM puede facilitar el desarrollo, pero los usuarios no deben suponer que todas las redes tienen las mismas características de ejecución, comisiones, bridges o seguridad.

Algunas redes pueden admitir comportamientos distintos de los opcodes, precompilados, esquemas de gas, modelos de cuenta o calendarios de actualización.

Antes de desplegar bytecode en varias cadenas, los desarrolladores deben consultar la documentación de la red de destino.

Los usuarios también deben confirmar que interactúan con la dirección de contrato correcta en la red adecuada.

Enviar fondos o conceder autorizaciones en la red incorrecta puede provocar pérdidas o confusiones, incluso si el bytecode del contrato parece conocido.

Por qué es difícil leer el bytecode de contrato

El bytecode de contrato es difícil de leer porque está diseñado para máquinas, no para personas.

Normalmente se muestra en formato hexadecimal, en el que cada byte representa datos o una instrucción.

La EVM utiliza una arquitectura basada en pilas, por lo que entender el bytecode suele exigir seguir los valores de la pila a través de numerosas instrucciones.

Las instrucciones de salto pueden dificultar el seguimiento del flujo de control.

La optimización del compilador puede comprimir y reorganizar aún más la lógica.

Las bibliotecas, los proxies, los metadatos, los argumentos del constructor y las direcciones enlazadas también pueden influir en la interpretación.

Por eso, la mayoría de los usuarios confían en el código fuente verificado, las auditorías, las advertencias de las carteras y las herramientas de desarrollo fiables, en lugar de intentar leer directamente el bytecode en bruto.

Aun así, el concepto es importante porque el bytecode es la autoridad definitiva para la ejecución on-chain.

Preguntas frecuentes

¿Qué significa bytecode de contrato?

El bytecode de contrato es el código compilado y legible por máquina que ejecuta una máquina virtual blockchain para un contrato inteligente.

¿El bytecode de contrato es lo mismo que el código fuente de un contrato inteligente?

No. El código fuente es legible por personas, mientras que el bytecode es la forma compilada que se ejecuta on-chain.

¿Por qué es importante el bytecode de contrato?

Es importante porque controla el comportamiento real de un contrato inteligente desplegado y puede afectar directamente a los activos cripto.

¿Pueden los usuarios leer el bytecode de un contrato?

A la mayoría de los usuarios les resulta difícil leer el bytecode en bruto, pero los desarrolladores y las herramientas de seguridad pueden desensamblarlo o analizarlo.

¿Qué es el bytecode de ejecución?

Es el código almacenado en la dirección del contrato después del despliegue y ejecutado cuando se llama al contrato.

¿Qué es el bytecode de creación?

Es el código de despliegue que se ejecuta una vez para crear el contrato y devolver el bytecode de ejecución.

¿Que el código fuente esté verificado significa que un contrato es seguro?

No. Que el código fuente esté verificado solo significa que el código publicado puede cotejarse con el bytecode desplegado; la seguridad sigue dependiendo de la lógica y los permisos del contrato.

¿Se puede modificar el bytecode de contrato después del despliegue?

El bytecode de ejecución estándar suele permanecer fijo tras el despliegue, pero los diseños con proxies actualizables pueden cambiar el comportamiento de la aplicación al apuntar a un nuevo bytecode de implementación.

¿Qué es un opcode?

Un opcode es una instrucción de bajo nivel incluida en el bytecode que indica a la máquina virtual que realice una operación concreta.

¿Por qué importa la versión del compilador para el bytecode?

La versión del compilador importa porque distintas versiones y ajustes pueden generar bytecode diferente a partir del mismo código fuente.

Conclusión

El bytecode de contrato es la forma ejecutable de un contrato inteligente en una máquina virtual blockchain.

Se genera al compilar el código fuente y se convierte en la lógica efectiva que ejecutan los nodos cuando los usuarios interactúan con un contrato.

Para los usuarios de criptomonedas, el bytecode importa porque puede controlar tokens, fondos, autorizaciones, derechos de gobernanza, comisiones, actualizaciones y otras acciones de gran valor.

Para los desarrolladores, importa porque los ajustes del compilador, las opciones de optimización, los argumentos del constructor, los metadatos y las reglas de la red de destino pueden afectar al resultado final del despliegue.

Para los auditores e investigadores de seguridad, importa porque es la realidad on-chain que debe coincidir con el código fuente declarado y el alcance de la auditoría.

Un contrato inteligente puede tener un nombre sencillo, un sitio web atractivo y una interfaz simple, pero la blockchain sigue realmente el bytecode.

Entender el bytecode de contrato ayuda a los usuarios de criptomonedas a tomar decisiones más seguras, comprender por qué importa la verificación y evaluar mejor los riesgos de cada interacción con un contrato inteligente.