EVENTO DE PALABRA PRINCIPAL: Aquí hay 5 ideas clave del discurso de @thejonanshow en ETHDenver 2025.

1. Importancia de la Verificación Formal
Jonan enfatizó que la verificación formal proporciona pruebas matemáticas del comportamiento del programa, lo cual puede ser crucial para sistemas complejos. Señaló que aunque no garantiza la corrección de todo el programa, permite a los desarrolladores afirmar ciertos invariantes dentro de sus sistemas. Por ejemplo, afirmar que el saldo colectivo de un banco nunca debería caer por debajo de cero ejemplifica cómo se pueden verificar reglas específicas para mantener la integridad del sistema.

2. Iniciativa de Código Abierto por Certora
Jonan compartió noticias emocionantes sobre la empresa para la que trabaja, Certora, que recientemente ha abierto su verificador para la verificación formal. Esta iniciativa tiene como objetivo simplificar el proceso de verificación formal, haciendo la herramienta más accesible para los desarrolladores de software. Él animó a los asistentes a probarla, destacando su facilidad de uso y los beneficios potenciales para mejorar la fiabilidad del software.

3. Conceptos erróneos sobre la Verificación Formal
De acuerdo con Jonan, muchas personas fuera del espacio Web3 tienen conceptos erróneos sobre la verificación formal, a menudo creyendo que es poco práctico basado en puntos de vista obsoletos. Él enfatizó que las aplicaciones modernas pueden beneficiarse significativamente de los métodos formales, citando que aunque probar cada aspecto de un sistema complejo no siempre es factible, los invariantes esenciales pueden y deben ser verificados para evitar errores significativos.

4. Cambio Hacia la Programación Declarativa
Jonan argumentó a favor de un cambio de la programación imperativa a la declarativa, enfatizando que los ingenieros de software a menudo programan de una manera detallada y procedimental en lugar de definir los resultados deseados. Este cambio podría permitir que el software determine cómo lograr los resultados especificados, potencialmente reduciendo la complejidad y facilitando una mejor integración con las tecnologías de IA que podrían asistir en el desarrollo de software.

5. El Impacto de la IA en el Desarrollo de Software
Jonan señaló la creciente integración de la IA en los flujos de trabajo de desarrollo de software. Si bien reconoció la eficiencia que puede aportar la IA, planteó preocupaciones sobre la tendencia de la IA a "alucinar" o producir resultados inesperados. Él argumentó por la necesidad de métodos robustos de verificación formal para detectar discrepancias que pueden surgir al usar la IA, manteniendo que los invariantes claros podrían proteger contra tales errores.

Puedes ver nuestras ideas completas aquí, 100% gratis: https://t.co/bQ2B2KBeCc