Vitalik: la verificación formal con IA será la forma definitiva del código
El encuadre de Buterin eleva una disciplina de seguridad de nicho hasta convertirla en un flujo de trabajo por defecto para Ethereum, ZK y la criptografía, con el matiz de que el código verificado tampoco es infalible.