La sesión de Devcon sobre agentes de programación pone la verificación en la agenda

Devcon anunció una charla de Mooly Sagiv, de Certora, en el escenario de Seguridad, titulada “Bug-Free Solidity Coding Agents”. La publicación del 19 de octubre presenta la verificación y el análisis de programas como formas de hacer más seguros los contratos inteligentes generados. Es el anuncio de una sesión, no evidencia de que todos los contratos generados estén libres de defectos.

Para los equipos que evalúan agentes de programación, la conversación útil empieza por las propiedades que quieren que el contrato preserve. ¿Qué nunca debe ocurrir con un saldo? ¿Quién puede cambiar una configuración crítica? ¿Qué se supone sobre otro contrato? Una demostración convincente debería hacer visibles esas preguntas, en vez de presentar una ejecución exitosa como toda la historia de seguridad.

Proponemos observar la sesión desde la relación entre la especificación y el programa terminado. Conviene preguntar qué cubren las comprobaciones, qué queda fuera de su alcance y cómo afecta al resultado una modificación posterior. Eso convierte un título ambicioso en preguntas concretas que un desarrollador puede incorporar a su proceso de revisión.