Vitalik Buterin: las cadenas de bloques están entrando en una nueva era de cómputo En la Cumbre Global de Blockchain (Semana de Blockchain de Shanghái), Vitalik Buterin explicó cómo las pruebas ZK, la verificación formal y la IA están a punto de reconfigurar la arquitectura de las cadenas de bloques. Su punto central: el modelo antiguo —donde cada nodo vuelve a ejecutar el mismo cálculo— está siendo descartado. Con SNARKs/STARKs, una parte realiza el cálculo y lo prueba, mientras que todos los demás simplemente verifican. Los STARKs recursivos (vinculados a su propuesta EIP-8288) podrían agrupar múltiples pruebas en una sola, reduciendo los datos y costos en cadena. Combinados con EIP-8141 (dividiendo las transacciones en acciones paralelizables) y FOCIL (construcción descentralizada de bloques), el objetivo es una tubería de cómputo completa —desde la ejecución en dispositivos locales hasta mempools, agregación de pruebas, L2 y L1— que escala sin sacrificar la descentralización. Sobre la IA, Buterin la ve como infraestructura esencial para la próxima etapa: escribir/auditar código, generar especificaciones y ejecutar verificación formal a una escala que los humanos no pueden lograr manualmente —lo que, según él, es clave para solucionar las brechas de seguridad actuales en L2. Invita a los desarrolladores a dejar de diseñar para un mundo donde la criptografía avanzada y la verificación automatizada no eran prácticas —porque esa restricción está desapareciendo rápidamente. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto