Glosario cripto

Verificación de contratos

Definición

La verificación de contratos publica el código fuente de un contrato y demuestra que compila al bytecode desplegado, para que cualquiera pueda leer qué hace.

Un contrato desplegado no es más que bytecode. Para verificarlo, el desarrollador envía el código fuente, la versión del compilador y los ajustes a un servicio como Etherscan, Blockscout o Sourcify, que lo recompila y comprueba que el resultado coincide con el bytecode de la dirección. Si cuadra, el explorador muestra el código legible, una marca de verificado y una interfaz para llamar directamente a las funciones de lectura y escritura.

Es una señal básica de transparencia en cripto. Auditores, investigadores y usuarios la necesitan para comprobar qué puede hacer un token o un protocolo, por ejemplo si el dueño puede acuñar, pausar o bloquear direcciones. Los contratos sin verificar son una alerta habitual en los escáneres de tokens, y muchas integraciones y herramientas de seguridad solo funcionan con código verificado.

Verificado no significa seguro. Muchos tokens fraudulentos están verificados, y la lógica maliciosa puede estar a la vista de todos. En los proxies actualizables, el proxy puede estar verificado mientras la implementación a la que apunta cambia después, así que hay que revisar la actual. Tampoco dice nada de las claves de administrador ni del comportamiento del equipo.

Ejemplo

Antes de comprar un token nuevo, una usuaria lo abre en un explorador, ve que el contrato está verificado y encuentra una función que permite al dueño impedir la venta a cualquier dirección.

Términos relacionados