¿Qué es un contrato inteligente?

Un contrato inteligente es código desplegado en una blockchain. Tiene una dirección, puede contener fondos, y cualquiera puede llamar a sus funciones. Cuando se le llama, se ejecuta de forma determinista: cada nodo lo ejecuta y llega al mismo resultado.

«Exactamente como está escrito» es la frase clave, y funciona en ambos sentidos. No hay juez, no hay intención, no hay apelación. Si el código contiene un fallo, ese fallo es el comportamiento del contrato, y un atacante que lo explota está haciendo precisamente lo que el código permite. Los fondos drenados de esta forma normalmente son irrecuperables.

La mayoría de los contratos también son inmutables una vez desplegados, así que los fallos no se pueden simplemente parchear. Algunos son actualizables mediante claves administrativas, lo cual resuelve ese problema e introduce otro, ya que quien posea esas claves puede cambiar las reglas.

Las auditorías reducen el riesgo, pero no lo eliminan. Muchos contratos auditados han sido explotados, y una auditoría es una revisión puntual hecha por humanos falibles, no una prueba de corrección.