L. Iván Carrasquel Ballesteros
student•
hace 19 días
¿Cómo crees que esto cambia la forma en que los desarrolladores deben abordar la auditoría de un contrato antes de lanzarlo, comparado con un software tradicional?
En el software tradicional, lanzas un parche si algo falla; en blockchain, el código es inmutable, así que la auditoría no es un paso final, es tu única oportunidad. Los desarrolladores pasan de "iterar rápido" a realizar una verificación formal exhaustiva, porque un error es permanente y costoso.
¿Qué crees que sucede cuando el costo de esa auditoría supera el valor de lo que el contrato protege?
