top of page

El impulso de Keone Hon a Ultrafuzz pone en foco las preocupaciones de OpSec de Monad

hace 1 hora
13 min de lectura

El cofundador de Monad, Keone Hon, insta a los desarrolladores a adoptar Ultrafuzz mientras advierte que la seguridad va más allá de encontrar errores en el código de los contratos. El impulso de Keone Hon a Ultrafuzz combina pruebas asistidas por IA con seguridad operacional, u OpSec, que protege las cuentas, los dispositivos y los procesos que rodean al software. La combinación importa porque un contrato seguro sigue dependiendo de quien tenga permiso para administrarlo.

Según crypto.news, Hon compartió recursos de seguridad el 30 de octubre y, por separado, animó a los desarrolladores a probar sus contratos con Ultrafuzz. Su llamamiento vuelve a centrar la atención en un proyecto de código abierto ya existente. No supone el lanzamiento de un producto nuevo ni valida de forma independiente la eficacia de la herramienta.

La tensión central se refiere a la investigación automatizada y a la responsabilidad operativa que sigue recayendo en los desarrolladores. Herramientas consolidadas como Echidna de Trail of Bits ya prueban el comportamiento de los contratos. Ultrafuzz añade coordinación mediante IA a ese trabajo, mientras que su propia documentación advierte contra ejecutar agentes sin restricciones cerca de credenciales valiosas. Los equipos que consideren adoptarlo deben evaluar tanto los hallazgos que produce como el entorno necesario para producirlos de forma segura.

El impulso de Keone Hon a Ultrafuzz renueva un esfuerzo de seguridad existente

La noticia inmediata es el renovado llamamiento de Hon a la adopción, no un producto de seguridad recién lanzado.

Crypto.news informó el 31 de octubre que Hon promovió las pruebas de contratos junto con orientación sobre dispositivos de empleados, credenciales, permisos administrativos y cuentas de terceros. Su cobertura reproduce su publicación del 30 de octubre y describe una invitación independiente a los desarrolladores para ejecutar Ultrafuzz. Esas recomendaciones de seguridad sitúan la revisión de software dentro de una disciplina operativa más amplia.

Esa distinción cambia cómo deben interpretar los lectores el anuncio. Una nueva versión plantearía preguntas sobre capacidades añadidas, requisitos de migración y cambios respecto a una versión anterior. Un llamamiento renovado plantea, en cambio, preguntas sobre adopción, utilidad práctica y si los recursos existentes llegan a los equipos que los necesitan.

El mensaje de Hon también reúne responsabilidades que las organizaciones a veces asignan a personas distintas. Los desarrolladores investigan el comportamiento de los contratos, mientras que otro personal administra cuentas, gestiona ordenadores y aprueba acciones sensibles. El resultado de seguridad depende de cómo se conectan esas responsabilidades, especialmente cuando una acción administrativa puede alterar el comportamiento del software.

Un contrato inteligente es software desplegado en una blockchain que se ejecuta conforme a sus reglas programadas. Algunos contratos también incluyen funciones privilegiadas para actualizaciones u otras tareas de gestión. Revisar las reglas y proteger el permiso para modificarlas aborda rutas de fallo diferentes. El éxito en una de esas áreas no acredita el éxito en la otra.

Por eso el material de OpSec aparece junto a la herramienta de pruebas en la historia. Las recomendaciones atribuidas a Hon cubren prácticas de trabajo habituales, en lugar de limitarse a una defensa especializada basada en IA. Su inclusión dirige la atención hacia las personas y los sistemas que respaldan un protocolo después de que su código haya sido revisado.

También existe un límite claro para la información. La publicación original de Hon en X no pudo recuperarse directamente durante esta revisión, por lo que sus comentarios recientes siguen atribuyéndose a la cobertura que los reproduce. La documentación pública de la herramienta aporta evidencia independiente de su existencia y su modelo operativo.

El llamamiento, por sí solo, no mide cuántos equipos han adoptado la orientación. Tampoco establece que los usuarios hayan cambiado sus prácticas de firma o corregido debilidades antes desconocidas. Publicación, promoción, uso y beneficio demostrado siguen siendo etapas distintas.

Para los lectores, el avance relevante es la solicitud combinada. Monad pide a los creadores que investiguen el software más exhaustivamente mientras examinan la autoridad que rodea a ese software. Que esas peticiones se traduzcan en cambios de comportamiento depende de un trabajo que va más allá de compartir una lista de recursos.

La presión recae sobre los equipos que separan las auditorías de las operaciones diarias

El llamamiento de Hon sitúa la responsabilidad en la organización que opera un protocolo, incluidas las personas que controlan cuentas y acceso administrativo.

Una revisión de contratos investiga un objetivo de software definido. Una organización sigue cambiando alrededor de ese objetivo mediante rotación de personal, nuevas dependencias, cambios de permisos y prácticas de trabajo revisadas. Tratar una revisión completada como un estado de seguridad permanente pasa por alto esas decisiones continuas.

Consideremos un protocolo con código revisado y una cuenta autorizada para aprobar actualizaciones. Si una persona no autorizada obtiene el control de esa cuenta, la revisión no puede imponer el proceso de aprobación de la organización. Este supuesto ilustra un límite entre el comportamiento correcto del software y el uso legítimo de una autoridad privilegiada.

El mismo razonamiento se aplica al ordenador de un empleado. Un desarrollador puede trabajar cuidadosamente en la lógica de un contrato mientras maneja software y comunicaciones no relacionados en la misma máquina. La exposición resultante pertenece al entorno de trabajo, incluso cuando el contrato se comporta exactamente según lo previsto.

La guía descrita en la cobertura aborda ese entorno circundante mediante separación de dispositivos, prácticas de credenciales y comprobaciones antes de firmar transacciones. Sus recomendaciones no dependen de una capacidad novedosa de IA. Exigen que los equipos hagan explícitas las responsabilidades habituales y las mantengan durante el trabajo cotidiano.

Eso genera presión sobre fundadores y responsables de ingeniería tanto como sobre desarrolladores individuales. Alguien debe decidir quién puede aprobar acciones sensibles, qué dispositivos respaldan esas acciones y cómo se informa de actividad sospechosa. Esas decisiones requieren responsables, no otro análisis automatizado.

La IA cambia el debate porque Hon presenta a atacantes más capaces como motivo para reforzar las defensas. Esa es su justificación declarada, no evidencia de que la IA haya causado un incidente concreto. Establecer la participación de IA en un ataque requiere evidencia sobre el propio ataque.

La implicación operativa sigue siendo útil sin esa atribución más sólida. Si un equipo adopta automatización para aumentar el volumen de trabajo de seguridad que realiza, aún necesita reglas claras sobre el acceso. Más investigaciones no reducen automáticamente la autoridad expuesta a través de cuentas, dispositivos o procedimientos de firma.

La presión también alcanza a compradores y socios que evalúan un protocolo. Una afirmación de que el software recibió pruebas automatizadas responde a una pregunta más limitada que si la organización puede operarlo de forma segura. Los revisores deben entender qué se examinó y qué responsabilidades quedaron fuera de ese examen.

Por ejemplo, un informe sobre el comportamiento de un contrato no establece que el proceso de recuperación de un empleado esté protegido. Una afirmación sobre cuentas protegidas no establece que la lógica contable gestione correctamente secuencias inusuales de transacciones. Ambas afirmaciones pueden ser útiles cuando su alcance se mantiene claro.

Esto hace que el mensaje combinado de Hon sea más exigente que una petición para probar una herramienta. Pide a los equipos alinear la investigación técnica con la responsabilidad operativa. La pregunta práctica pasa a ser si alguien asume los riesgos entre esas actividades, especialmente cuando cada especialista presupone que otra persona se ocupa de ellos.

Ultrafuzz coordina la investigación en torno a métodos de prueba consolidados

La propuesta de Ultrafuzz se refiere a organizar el trabajo de seguridad, incluidas las preguntas que investigan los agentes y la evidencia que transmiten entre etapas.

El lanzamiento de código abierto de Monad del 10 de septiembre describe soporte para Solidity y Vyper, lenguajes de programación utilizados para escribir contratos inteligentes. Afirma que la experiencia de más de 20 ejecuciones en el ecosistema influyó en el lanzamiento. Se trata de afirmaciones de desarrollo de la fundación, no de una medida independiente de protección.

El fuzzing, una técnica de prueba que genera entradas variadas para buscar comportamientos inesperados, forma parte del flujo de trabajo. Un invariante es una condición que debería mantenerse verdadera en todos los estados a los que llega un sistema. Definir esas condiciones da a una investigación una pregunta concreta que poner a prueba.

La decisión de diseño importante llega antes de generar entradas. Un sistema necesita una descripción útil del comportamiento previsto, los usuarios relevantes y las condiciones de fallo significativas. Si esa descripción está incompleta, unas pruebas exhaustivas pueden investigar minuciosamente la pregunta equivocada.

El recorrido técnico de Antonio Viggiano del 21 de septiembre remonta el proyecto a ayudar a un equipo a prepararse para una revisión externa de seguridad. Describe una carencia en las pruebas de fuzzing y un esfuerzo por automatizar partes del trabajo. Su relato presenta Ultrafuzz como apoyo para una intervención de seguridad.

El flujo de trabajo traza participantes y acciones antes de investigar propiedades. En una aplicación de préstamos, por ejemplo, prestatarios, prestamistas y liquidadores interactúan mediante operaciones diferentes. Comprender esas relaciones ayuda a un investigador a razonar sobre fallos que involucran secuencias en lugar de acciones aisladas.

Esa secuencia importa porque una condición puede cumplirse tras una operación individual y fallar después de varias interacciones. Una investigación útil debe tener en cuenta el estado cambiante del sistema. Generar una explicación convincente de un fallo sigue siendo distinto de producir evidencia de que el fallo ocurre.

Las herramientas de prueba consolidadas ya abordan partes de este problema. Trail of Bits describe Echidna como un fuzzer basado en propiedades y Medusa como un fuzzer paralelo de contratos inteligentes. Sus herramientas de prueba de contratos también incluyen Slither, que examina código sin ejecutar la aplicación completa.

Por tanto, la comparación trata sobre el alcance del flujo de trabajo más que sobre una simple competencia de sustitución. Echidna se centra en probar propiedades proporcionadas. Ultrafuzz intenta coordinar una investigación más amplia en torno a un objetivo, incluida la preparación y la interpretación. Una organización aún debe evaluar la calidad de las propiedades y de la evidencia resultante.

El relato de Viggiano también analiza dificultades cuando los agentes dependen de la salida de agentes anteriores. Eso importa porque un flujo de trabajo coordinado hereda errores además de información útil. Una suposición equivocada al inicio del proceso puede influir en el trabajo posterior, salvo que otra etapa la cuestione.

Para quienes lo adopten, la pregunta clave es si esta coordinación produce resultados revisables con menos esfuerzo especializado. La respuesta exige examinar campañas reales. Un informe extenso o un diagrama elaborado del flujo de trabajo no pueden establecer que la investigación cubrió las rutas de fallo más relevantes del protocolo.

Los hallazgos automatizados aún necesitan evidencia reproducible

La evidencia necesaria para confiar en un hallazgo de seguridad es más específica que la evidencia necesaria para generar una advertencia plausible.

Un informe generado por IA puede describir un fallo realista sin establecer que el objetivo lo permita. A la inversa, una investigación puede pasar por alto un fallo porque sus supuestos excluyen el comportamiento relevante. Evaluar una herramienta exige prestar atención tanto a hallazgos sin respaldo como a debilidades omitidas.

Un reproductor es una prueba o procedimiento que demuestra de forma fiable un fallo informado bajo condiciones declaradas. Para un revisor, conecta una explicación con un comportamiento observable. Sin esa conexión, un equipo debe dedicar esfuerzo adicional a decidir si la advertencia se aplica.

La revisión objetivo también importa. El software cambia durante el desarrollo, y un hallazgo sobre una versión anterior podría dejar de describir la versión prevista para el despliegue. Un informe necesita suficiente contexto para que otro revisor pueda identificar qué código y supuestos produjeron el resultado.

Estos requisitos se aplican tanto a revisiones humanas como a sistemas de IA. La automatización añade presión porque puede generar más hallazgos potenciales de los que un equipo puede investigar de inmediato. El valor de esa salida depende, en parte, de cuán claramente distinga entre fallos establecidos y sospechas sin resolver.

Por ello, una evaluación útil pregunta qué ocurrió después de que apareciera un hallazgo. ¿Un desarrollador logró reproducirlo? ¿El equipo aceptó el problema subyacente? ¿Una corrección abordó el comportamiento demostrado? Estas preguntas conectan el descubrimiento automatizado con un resultado de ingeniería.

Las comparaciones entre herramientas requieren límites igualmente cuidadosos. Distintos objetivos, elecciones de modelo, prompts y recursos disponibles pueden cambiar los resultados. Una comparación que modifica varias condiciones a la vez no aísla qué decisión de diseño produjo la mejora aparente.

La investigación independiente ofrece contexto para el problema de adopción. El estudio Human Side of Fuzzing examinó 381 incidencias de GitHub relacionadas con Echidna y Foundry, un kit de herramientas para el desarrollo de contratos inteligentes. Investigó las dificultades de los profesionales al usar estos sistemas. El estudio no evalúa Ultrafuzz.

Su relevancia radica en la distinción entre una técnica disponible y un flujo de trabajo utilizable. Una herramienta puede abordar una necesidad técnica real y, aun así, exigir trabajo de configuración, interpretación y mantenimiento. La coordinación con IA debe evaluarse frente a esas cargas, además de los resultados de descubrimiento.

Esto crea un estándar justo para Ultrafuzz. Sus desarrolladores pueden presentar evidencia útil sin afirmar cobertura completa ni superioridad universal. Ejemplos con un alcance claramente definido, fallos reproducibles y descripciones francas de ejecuciones fallidas ayudarían a terceros a determinar dónde contribuye el flujo de trabajo.

La postura escéptica correspondiente no exige desestimar la investigación asistida por IA. Exige resistir el salto de «este sistema encontró problemas» a «este sistema garantiza la seguridad». Estas afirmaciones tienen exigencias probatorias distintas, y la segunda va más allá de cualquier campaña individual.

Para los equipos que evalúan el impulso de Keone Hon en torno a Ultrafuzz, la consecuencia práctica es sencilla. La adopción debe producir artefactos que otra persona pueda inspeccionar y cuestionar. La confianza debe surgir de esos artefactos y de su resolución, en lugar de depender del número de agentes involucrados.

Los agentes sin restricciones hacen que el entorno operativo forme parte de la evaluación

La propia advertencia de Ultrafuzz convierte el aislamiento en una condición para una evaluación responsable, no en un detalle que considerar después de iniciar las pruebas.

La advertencia de seguridad para agentes del proyecto recomienda máquinas virtuales desechables y aisladas, ordenadores basados en software separados de la estación de trabajo habitual. Afirma que los agentes operan con permisos sin restricciones. También advierte contra entornos que contengan datos valiosos o credenciales.

Esa advertencia cambia el significado de probar la herramienta. Un desarrollador permite que el software ejecute acciones dentro de un entorno, en lugar de limitarse a solicitar comentarios sobre código pegado. Los permisos disponibles en ese entorno pasan a formar parte de la evaluación.

El aislamiento aborda las consecuencias de acciones no intencionadas. No establece que cada hallazgo generado sea correcto ni que se preste atención a cada comportamiento relevante del contrato. La contención operativa y la precisión analítica siguen siendo requisitos distintos, incluso cuando ambas afectan a la utilidad de una campaña.

La distinción también se aplica al código confidencial. Una máquina aislada puede limitar el acceso a archivos no relacionados y, al mismo tiempo, contener material sensible del proyecto necesario para el análisis. Un equipo debe comprender cómo se gestiona ese material en toda la configuración elegida.

Esto es especialmente relevante cuando una organización ya cuenta con normas para revisar software externo. Una herramienta de seguridad debe pasar por el mismo proceso de decisión que otro software con acceso a un repositorio. Su propósito defensivo no elimina la necesidad de entender sus permisos.

No hay base aquí para afirmar que Ultrafuzz haya comprometido la estación de trabajo de un usuario. La advertencia documentada establece un riesgo declarado y un límite de despliegue. No debe convertirse en una acusación de que se produjo un evento dañino específico.

La interpretación más útil se refiere a la responsabilidad. Alguien debe preparar el entorno, decidir qué entra en él y revisar los artefactos resultantes. Las etapas automatizadas de la campaña no eliminan esas responsabilidades. Hacen más importante la transferencia entre la actividad de la máquina y el juicio humano.

Aquí es donde la herramienta y el llamamiento a la OpSec se encuentran de forma más directa. Un equipo que adopta IA para investigar contratos debe aplicar disciplina operativa a esa investigación. De lo contrario, corre el riesgo de tratar el flujo de trabajo de seguridad como una excepción a las prácticas que exige en otros ámbitos.

También hay una implicación de adquisición para las organizaciones que evalúan productos similares. Los requisitos de despliegue deben formar parte de la comparación junto con los lenguajes compatibles y las funciones de elaboración de informes. La utilidad de una herramienta depende, en parte, de si la organización puede operarla dentro de sus requisitos de acceso y confidencialidad.

La disyuntiva resultante es concreta. Una mayor autonomía permite a los agentes realizar más trabajo sin intervención constante, mientras que el entorno debe limitar las consecuencias de esa autonomía. La evaluación adecuada considera toda la campaña, incluida la preparación, la ejecución, la revisión y la eliminación.

Por tanto, el impulso de Keone Hon en torno a Ultrafuzz no puede juzgarse únicamente por si los desarrolladores inician campañas. Una señal de adopción más sólida mostraría a los equipos siguiendo los límites documentados y conservando una responsabilidad clara sobre los resultados. Ejecutar el software es solo una parte de utilizarlo bien.

Esté atento a hallazgos verificados, uso sostenido y cambios operativos

La siguiente evidencia debería conectar la investigación automatizada con correcciones, uso repetido y un control más sólido de las operaciones sensibles.

La primera señal que conviene observar son hallazgos reproducibles de forma independiente. Durante los próximos meses, divulgaciones detalladas podrían mostrar qué objetivo se examinó, qué comportamiento falló y cómo otro revisor lo confirmó. Esa evidencia reforzaría el argumento de que el flujo de trabajo aporta más que la generación de advertencias potenciales.

Las correcciones aceptadas añadirían otra conexión útil. Un hallazgo publicado puede ser interesante sin afectar al sistema desplegado. La evidencia de que los desarrolladores comprendieron y corrigieron el problema mostraría cómo el descubrimiento se tradujo en trabajo de ingeniería.

La ausencia de divulgaciones públicas no demostraría un fracaso. Los equipos podrían mantener los hallazgos confidenciales mientras los corrigen, y el momento de la divulgación puede variar. Sin embargo, dejaría a los observadores externos con menos evidencia para evaluar la eficacia de manera independiente.

La segunda señal es el uso sostenido más allá de una prueba inicial. Un equipo que vuelve a utilizar la herramienta tras cambios en el código ofrecería una señal de adopción diferente a la de una demostración puntual. El uso repetido sugeriría que el flujo de trabajo encaja en un proceso de desarrollo continuo.

Esa señal se fortalece cuando los usuarios explican el esfuerzo requerido. Los relatos sobre dificultades de configuración, campañas fallidas, tiempo de revisión y resultados útiles ayudarían a otros equipos a evaluar la idoneidad. Los elogios sin matices ofrecen menos información práctica que una explicación clara de dónde ayudó el flujo de trabajo.

La atención al repositorio por sí sola no puede responder a esas preguntas. El interés público puede reflejar curiosidad, promoción o investigación, en lugar de uso en producción. Las afirmaciones de adopción se vuelven más informativas cuando describen la tarea completada y a las personas responsables de revisar el resultado.

La tercera señal es el cambio operativo junto con las pruebas técnicas. Los equipos que sigan el llamamiento más amplio de Hon revisarían el acceso privilegiado, los acuerdos de firma y la separación del trabajo sensible. Esas acciones respaldarían el argumento de que el mensaje llegó más allá del análisis de contratos.

Un informe de campaña no puede demostrar que tales cambios se produjeron. La evidencia tendría que provenir de las organizaciones que operan los protocolos, con la debida cautela respecto a detalles sensibles. Una propiedad claramente definida y procesos documentados serían más significativos que afirmaciones generales sobre tomarse la seguridad en serio.

Estas señales ponen a prueba distintas partes de la misma proposición. Los hallazgos verificados evalúan la utilidad analítica. El uso sostenido evalúa el ajuste práctico. Los cambios operativos evalúan si unas pruebas más sólidas van acompañadas de un control más fuerte sobre los sistemas que administran el software.

Para los desarrolladores, la acción inmediata es definir qué evidencia justificaría adoptar el flujo de trabajo antes de iniciar una campaña. Identifique quién revisará los hallazgos, cómo se reproducirán los fallos y qué entorno satisface los requisitos operativos del proyecto. Para compradores y socios, pregunte qué cubre realmente el informe resultante y qué responsabilidades quedan fuera de él. El impulso de Keone Hon en torno a Ultrafuzz ofrece una razón útil para retomar estas preguntas. Lea los límites documentados, compárelos con las prácticas de su organización y pregúntese si el próximo ejercicio de seguridad producirá tanto mejor evidencia como una responsabilidad más clara sobre los riesgos que esa evidencia no puede resolver.

 
 

Empieza gratis

Un asistente de IA local-first con gestión del conocimiento personal

Para ofrecer una mejor experiencia con la IA,

actualmente remio solo es compatible con Windows 10+ (x64) y M-Chip Macs.

Tu aliado de IA para el trabajo
Haz más con remio

Planifica. Crea. Entrega.
Todo en un solo lugar.

bottom of page