Riesgo de los contratos inteligentes: código, oráculos, gobernanza y claves de actualización

Un panel puede hacer que el riesgo de los contratos inteligentes parezca un único evento. Sin embargo, definir derechos e invariantes, auditar el sistema desplegado y responder y gobernar son cambios de estado distintos, gestionados por participantes diferentes. Esos traspasos que no se ven son el punto donde entran en juego el tiempo, los costos y los riesgos.

El riesgo de los contratos inteligentes es la posibilidad de que el código, las dependencias o la gobernanza produzcan un resultado financiero distinto del que esperan los usuarios. La superficie de ataque incluye la lógica de negocio, los controles de acceso, la aritmética y la contabilidad, los oráculos, los tokens, la componibilidad, las interfaces de usuario, las claves privadas, las actualizaciones y las promesas legales que rodean al código.

Una auditoría es evidencia de una revisión delimitada, no una garantía. Es posible desplegar código fuente correcto con otros parámetros, actualizarlo más adelante o hacer que interactúe con un oráculo manipulado. El código inmutable reduce el riesgo de cambios solo cuando tanto el comportamiento inmutable como sus dependencias son seguros.

Para situar el riesgo de los contratos inteligentes dentro de la cobertura más amplia de Securities.io, consulta Modelo de referencia de la pila DeFi, Empresas de auditoría de contratos inteligentes y Seguridad de los contratos inteligentes e IA. En conjunto, estas guías muestran cómo cambia una misma cuestión sobre la infraestructura de los activos digitales cuando cambian el emisor, el activo, los derechos del inversor o la infraestructura operativa.

De definir derechos e invariantes a responder y gobernar: la cadena de riesgos de los contratos inteligentes

La etapa de definición de derechos e invariantes establece los saldos, la autoridad, los límites y las condiciones que siempre deben cumplirse. El resultado pasa entonces a la etapa de implementación y pruebas, en la que se usan componentes revisados y pruebas unitarias, de integración, de propiedades y de adversarios. Ese traspaso es el primer punto en que se debe comprobar el riesgo de los contratos inteligentes: la parte receptora debe poder distinguir un cambio de estado completado de un mensaje, una estimación o un registro provisional. La misma comprobación se aplica en cada flecha posterior, hasta que la etapa de respuesta y gobernanza produce un resultado que puede conciliarse de forma independiente.

Lee el diagrama en sentido inverso, empezando por responder y gobernar. El estado final debe conducir a la especificación, el código fuente y el código de bytes desplegados, las pruebas y auditorías, los parámetros y las funciones administrativas, el mapa de oráculos y dependencias, los eventos supervisados, la respuesta a incidentes y la asignación de pérdidas; después, a la autoridad empleada para operar y supervisar, la exposición creada al auditar el sistema desplegado y los datos de entrada aceptados al definir los derechos e invariantes. Si esa cadena se rompe, un error de control de acceso puede parecer una transacción completada, incluso cuando una parte no autorizada obtiene permisos para acuñar, retirar, pausar o actualizar. Este análisis inverso centra la atención en la invariante financiera prometida y en cada dependencia de código, datos y gobernanza que pueda modificarla, en lugar de en la etiqueta de un proveedor o el estado de una interfaz.

¿Quién controla los registros críticos en el riesgo de los contratos inteligentes?

El desarrollador del protocolo y el auditor ocupan posiciones distintas en la cadena operativa. El desarrollador del protocolo diseña e implementa la lógica económica y técnica, mientras que el auditor revisa una versión cuyo alcance está definido y comunica sus hallazgos. Sus registros —la especificación, el código, las pruebas, las confirmaciones, las dependencias y la implementación, por un lado, y el alcance, los métodos, los supuestos, la gravedad, las correcciones y el riesgo residual, por otro— deberían coincidir en cuanto al mismo evento, sin ser copias de una base de datos de un único proveedor. El oráculo o protocolo externo, la gobernanza y los titulares de claves, y el usuario o integrador aportan decisiones o pruebas distintas; tratar esas funciones como si fueran intercambiables oculta dónde intervienen la discrecionalidad, la liquidez o la responsabilidad legal.

Una interrupción que afecte a la gobernanza y a los titulares de claves pone a prueba, en la práctica, la rendición de cuentas en materia de riesgo de los contratos inteligentes. Pueden cambiar parámetros, pausar, actualizar o transferir activos. La cuestión es si el desarrollador del protocolo y el auditor aún pueden reconstruir la situación a partir de los roles, el quórum, el bloqueo temporal, las votaciones, la custodia de claves y el historial de eventos. Los contratos pueden asignar tareas, pero la parte responsable de la promesa al cliente, del activo o de la obligación no puede sustituir las pruebas por una cláusula de externalización. Un diseño resiliente especifica cuál es el registro alternativo y quién está autorizado a resolver una discrepancia.

Cómo cambia de estado en la práctica el riesgo de los contratos inteligentes

1. Especificar derechos e invariantes: definir el estado inicial del riesgo de los contratos inteligentes

Definir los saldos, las facultades, los límites y las condiciones que siempre deben cumplirse. En esta parte del riesgo de los contratos inteligentes, este paso establece las condiciones en las que pueden basarse la implementación y las pruebas. El desarrollador del protocolo ocupa un papel central porque diseña e implementa la lógica económica y técnica. El registro de trabajo debería conservar la especificación, el código, las pruebas, las confirmaciones, las dependencias y la implementación.

El fallo que debe detectarse en esta etapa es un error de control de acceso: una persona que no debería hacerlo obtiene facultades para acuñar, retirar, pausar o actualizar. Para probar esta etapa, registra el resultado usando el mismo momento, alcance y condiciones aplicables; luego, modifica un supuesto antes de la implementación y las pruebas. En materia de riesgo de los contratos inteligentes, un traspaso defendible identifica quién lo aprobó, qué registro cambió, qué sigue siendo reversible y quién asume las pérdidas si el siguiente participante rechaza las pruebas.

2. Implementar y probar: identificar la regla de decisión en el riesgo de los contratos inteligentes

Usar componentes revisados y pruebas unitarias, de integración, de propiedades y adversariales. En esta parte del riesgo de los contratos inteligentes, este paso evalúa las condiciones en las que puede basarse la auditoría del sistema desplegado. El auditor ocupa un papel central porque revisa una versión cuyo alcance está definido y comunica sus hallazgos. El registro de trabajo debería conservar el alcance, los métodos, los supuestos, la gravedad, las correcciones y el riesgo residual.

El fallo que debe detectarse en esta etapa es un exploit contable: el redondeo, la reentrada, la valoración de las participaciones o el orden de los cambios de estado generan valor de la nada. Para probar esta etapa, vuelve a calcular el resultado usando el mismo momento, alcance y condiciones aplicables; luego, modifica un supuesto antes de auditar el sistema desplegado. En materia de riesgo de los contratos inteligentes, un traspaso defendible identifica quién lo aprobó, qué registro cambió, qué sigue siendo reversible y quién asume las pérdidas si el siguiente participante rechaza las pruebas.

3. Auditar el sistema desplegado: medir la transferencia del riesgo en los contratos inteligentes

Verificar el código fuente, el código de bytes, los parámetros, las dependencias, las claves y los controles operativos. En esta parte del riesgo de los contratos inteligentes, este paso reasigna las condiciones en las que pueden basarse la operación y la supervisión. El oráculo o protocolo externo ocupa un papel central porque proporciona precios, mensajes, tokens o liquidez. El registro de trabajo debería conservar las fuentes, las actualizaciones, la resistencia a la manipulación, la administración y los incidentes.

El fallo que debe detectarse en esta etapa es la manipulación del oráculo: un precio temporal o de un mercado con poca liquidez determina los préstamos, los intercambios o las liquidaciones. Para probar esta etapa, somete el resultado a pruebas de estrés usando el mismo momento, alcance y condiciones aplicables; luego, modifica un supuesto antes de operar y supervisar. En materia de riesgo de los contratos inteligentes, un traspaso defendible identifica quién lo aprobó, qué registro cambió, qué sigue siendo reversible y quién asume las pérdidas si el siguiente participante rechaza las pruebas.

4. Operar y supervisar: conciliar el registro autorizado del riesgo de los contratos inteligentes

Supervisar el valor, las anomalías, los oráculos, las acciones privilegiadas y los cambios en las dependencias. En esta parte del riesgo de los contratos inteligentes, este paso concilia las condiciones en las que pueden basarse la respuesta y la gobernanza. La gobernanza y los titulares de claves ocupan un papel central porque pueden cambiar parámetros, pausar, actualizar o transferir activos. El registro de trabajo debería conservar los roles, el quórum, el bloqueo temporal, las votaciones, la custodia de claves y el historial de eventos.

El fallo que debe detectarse en esta etapa es un fallo de dependencia: un token, un puente, un fondo de liquidez o una cadena se comporta de manera distinta de lo previsto. Para probar esta etapa, compara el resultado usando el mismo momento, alcance y condiciones aplicables; luego, modifica un supuesto antes de responder y ejercer la gobernanza. En materia de riesgo de los contratos inteligentes, un traspaso defendible identifica quién lo aprobó, qué registro cambió, qué sigue siendo reversible y quién asume las pérdidas si el siguiente participante rechaza las pruebas.

5. Responder y ejercer la gobernanza: poner a prueba el resultado final del riesgo de los contratos inteligentes

Pausar, actualizar, compensar, migrar o aceptar la inmutabilidad bajo la autoridad divulgada. En esta parte del Riesgo de los contratos inteligentes, este paso cierra las condiciones de las que puede depender el resultado registrado. El usuario o el integrador ocupa un lugar central porque acepta la exposición al código y a las dependencias. El registro de trabajo debe conservar la dirección, la versión, las autorizaciones, la simulación de la transacción, los límites y la salida.

El fallo que debe evitarse en esta etapa es el abuso de la llave de emergencia: un mecanismo de recuperación se convierte en la vía de ataque o no está disponible durante una crisis. Para poner a prueba esta etapa, demuestre el resultado usando el mismo momento, alcance y condiciones aplicables; después, cambie una hipótesis antes de registrar el resultado. En el Riesgo de los contratos inteligentes, un traspaso justificable identifica quién lo aprobó, qué registro cambió, qué sigue siendo reversible y quién asume la pérdida si el siguiente participante rechaza las pruebas.

Tres estados que suelen confundirse en el riesgo de los contratos inteligentes

El riesgo del código significa que la implementación incumple las invariantes previstas o gestiona mal un caso límite. En cambio, el riesgo de oráculos y de composición significa que el código local es correcto, pero depende de un precio, mensaje, comportamiento del token o estado externo incorrecto. El riesgo de gobernanza y de actualización añade una tercera condición: los actores privilegiados pueden alterar el comportamiento, los parámetros o los activos después de la revisión. Estas distinciones importan porque dos usuarios pueden ver una confirmación similar y, sin embargo, tener derechos distintos, enfrentarse a plazos diferentes o depender de instituciones diferentes. En el Riesgo de los contratos inteligentes, una comparación útil identifica el registro autorizado y quién asume la pérdida en cada estado.

Compare el riesgo del código, el riesgo de oráculos y de composición, y el riesgo de gobernanza y de actualización con una misma base: importe, tiempo, liquidez consumida, reversibilidad, reclamación legal y pérdida residual. En el Riesgo de los contratos inteligentes, una etiqueta más rápida no indica necesariamente un estado más definitivo, y un rendimiento declarado más estable no implica automáticamente un riesgo económico menor. Usar un mismo marco de medición evita confundir las diferencias de plazos o de contabilidad con mejoras reales.

Costos, incentivos y efectos en el balance del riesgo de los contratos inteligentes

El gasto en seguridad debe ajustarse al valor máximo y a la irreversibilidad, no al precio del token ni a la visibilidad de marketing. Las auditorías, los métodos formales, la supervisión y las recompensas por detectar errores son capas complementarias con distintos alcances.

La componibilidad genera valor de red porque los contratos pueden reutilizar liquidez y servicios. También genera dependencias correlacionadas: el fallo de un oráculo o de un token puede propagarse por numerosos protocolos antes de que la gobernanza reaccione.

La posibilidad de actualizar conserva la opción de corregir defectos y adaptarse, pero los usuarios pagan una prima de riesgo de gobernanza. Los bloqueos temporales, la diversidad de firmantes en esquemas multifirma, los roles restringidos, los límites y los eventos transparentes pueden reducir esa prima sin afirmar que no existen administradores.

Dónde falla el riesgo de los contratos inteligentes y qué probar primero

• Error de control de acceso: Una persona no autorizada obtiene permisos para acuñar, retirar fondos, pausar o actualizar. Detenga la actividad y especifique los derechos y las invariantes mientras el desarrollador del protocolo mantiene sus obligaciones habituales; después, compruebe si el riesgo del código sigue teniendo el significado descrito anteriormente.
• Explotación contable: El redondeo, la reentrada, la valoración de participaciones o el orden de los estados genera valor de la nada. Detenga la actividad, implemente y pruebe mientras el auditor mantiene sus obligaciones habituales; después, compruebe si el riesgo de oráculos y de composición sigue teniendo el significado descrito anteriormente.
• Manipulación de oráculos: Un precio temporal o de un mercado poco líquido determina los préstamos, los intercambios o las liquidaciones. Detenga la actividad y audite el sistema desplegado mientras el oráculo o el protocolo externo mantiene sus obligaciones habituales; después, compruebe si el riesgo de gobernanza y de actualización sigue teniendo el significado descrito anteriormente.
• Fallo de dependencias: Un token, puente, fondo de liquidez o cadena se comporta de forma distinta a la prevista. Interrumpa la operación y la supervisión mientras la gobernanza y los titulares de las claves mantienen sus obligaciones habituales; después, compruebe si el riesgo de código sigue teniendo el significado descrito anteriormente.
• Abuso de claves de emergencia: Un mecanismo de recuperación se convierte en la vía de ataque o no está disponible durante una crisis. Interrumpa la respuesta y la gobernanza mientras el usuario o el integrador mantiene sus obligaciones habituales; después, compruebe si el riesgo de oráculos y composición sigue teniendo el significado descrito anteriormente.

Una prueba de resistencia útil del riesgo de los contratos inteligentes combina un fallo de control de acceso con la manipulación de un oráculo, en lugar de evaluar cada problema de forma aislada. Congele o retrase la auditoría del sistema desplegado, deje indisponibles la gobernanza y los titulares de las claves, y exija al usuario o al integrador que concilie el resultado a partir de la dirección, la versión, los permisos concedidos, la simulación de transacciones, los límites y la salida. El diseño solo supera la prueba si la respuesta y la gobernanza conducen a un único estado explicable, preservan los derechos asociados al riesgo de oráculos y composición y asignan cualquier déficit según reglas establecidas antes de la interrupción.

Ejemplo práctico: seguimiento integral de un incidente de riesgo de contratos inteligentes

Se audita un contrato de préstamo, pero el precio de su garantía procede de un único fondo de liquidez con poca profundidad. Un atacante altera temporalmente el precio de ese fondo, toma prestado más de lo que vale realmente la garantía y se retira antes de que el oráculo corrija el precio. El código del préstamo funcionó exactamente según lo previsto; el sistema falló porque los supuestos sobre la fiabilidad del oráculo y la liquidez no eran seguros. Una revisión sólida modelaría el grafo completo de dependencias y limitaría la exposición a garantías cuyo precio pueda manipularse.

El ejemplo puede refutarse cambiando el supuesto controlado durante la implementación y las pruebas, o eliminando las pruebas aportadas por el oráculo o el protocolo externo. Siga el cambio a través de la auditoría del sistema desplegado, la operación y supervisión, y la respuesta y gobernanza; no pase directamente del dato de entrada al resultado principal. Si el nuevo resultado de riesgo de los contratos inteligentes no puede reproducirse a partir de la especificación, el código fuente y el bytecode desplegados, las pruebas y auditorías, los parámetros y roles de administrador, el mapa de oráculos y dependencias, los eventos supervisados, la respuesta a incidentes y la asignación de pérdidas, el proceso depende de un juicio o registro no documentado.

Por qué importa ahora el riesgo de los contratos inteligentes

La verificación formal, la supervisión continua, las recompensas por detectar errores, el aislamiento modular y una mejor simulación en las carteras están mejorando la seguridad de los contratos inteligentes. Al mismo tiempo, los proxies actualizables y las dependencias entre cadenas amplían el riesgo de gobernanza. La información más útil identifica el código desplegado, los privilegios, la ruta del oráculo, los límites de valor y el plan de asignación de pérdidas en un lenguaje que los usuarios puedan verificar.

La lección perdurable sobre el riesgo de los contratos inteligentes es que definir derechos e invariantes no es lo mismo que responder y gobernar. Las decisiones intermedias determinan cuál es el invariante financiero prometido y qué dependencias de código, datos y gobernanza pueden modificarlo; además, el desarrollador del protocolo y el usuario o integrador pueden tener acceso a distintas partes del registro. La automatización es valiosa cuando facilita la verificación de esas decisiones; es peligrosa cuando las reduce a un único estado que oculta el abuso de las claves de emergencia.

Pruebas que respaldan el análisis del riesgo de los contratos inteligentes

Las principales fuentes sobre el riesgo de los contratos inteligentes son el Marco de Ciberseguridad del NIST, el BIS: Riesgos para la estabilidad financiera de las DeFi y el Informe sobre DeFi del Comité Asesor de Tecnología de la CFTC. Considérelas como capas complementarias: normas y definiciones, estructura institucional o de mercado, y pruebas operativas necesarias para evaluar una afirmación concreta. Ninguna debe sustituir los documentos del producto, las cuentas ni los registros de transacciones descritos anteriormente.

Preguntas que conviene hacerse antes de confiar en los contratos inteligentes

• ¿Puede el desarrollador del protocolo demostrar la especificación, el código, las pruebas, las confirmaciones de cambios, las dependencias y el despliegue antes de implementar y probar?
• ¿Qué registro prevalece si el auditor y la gobernanza y los titulares de las claves no están de acuerdo?
• ¿Quién financia o absorbe la exposición que se genera al auditar el sistema desplegado?
• ¿Qué diferencia al riesgo de oráculos y composición del riesgo de código en términos jurídicos y económicos?
• ¿Cómo detectaría el sistema un ataque que explota fallos contables antes de responder y gobernar?
• ¿Qué ocurre cuando el oráculo o el protocolo externo no están disponibles o sus pruebas han quedado desactualizadas?
• ¿Puede un revisor independiente conciliar el resultado con la especificación, el código fuente y el bytecode desplegados, las pruebas y auditorías, los parámetros y roles de administrador, el mapa de oráculos y dependencias, los eventos supervisados, la respuesta a incidentes y la asignación de pérdidas?

En el caso del riesgo de los contratos inteligentes, sustituya expresiones como «la plataforma se encarga» por cuentas, contratos, marcas de tiempo, reglas de aprobación y entidades responsables identificables. Una respuesta completa debe permitir que un revisor retroceda desde la respuesta y la gobernanza hasta la definición de derechos e invariantes, identifique quién es responsable de cada registro y calcule quién asume las pérdidas antes de que se produzca una excepción.

El principio fundamental del riesgo de los contratos inteligentes

El riesgo de los contratos inteligentes se entiende mejor cuando el análisis sigue el invariante financiero prometido y todas las dependencias de código, datos y gobernanza que pueden modificarlo a lo largo de las cinco etapas operativas, y verifica el resultado frente a la especificación, el código fuente y el bytecode desplegados, las pruebas y auditorías, los parámetros y roles administrativos, el mapa de oráculos y dependencias, los eventos supervisados, la respuesta ante incidentes y la asignación de pérdidas. El flujo explica qué cambia; la tabla de participantes identifica quién puede autorizar ese cambio; la comparación de los tres estados evita confundir afirmaciones que no son comparables; y el mapa de fallos muestra dónde debería disminuir la confianza. Esta combinación permite distinguir una mejora real de la fricción o del riesgo trasladado a una capa menos visible.

Fuentes primarias sobre los riesgos de los contratos inteligentes

• Marco de Ciberseguridad del NIST
• BIS: riesgos de DeFi para la estabilidad financiera
• Informe sobre DeFi del Comité Asesor de Tecnología de la CFTC