Ethereum tiene un límite de gas. ¿Pero podemos probar matemáticamente el trabajo computacional máximo requerido para verificar cualquier bloque válido? Sorprendentemente, aún no tenemos un límite superior finito certificado para el modelo de desafío completo. Ese es el problema que @yukonresearch, @zksecurityXYZ y @Veritylab están abordando con https://t.co/w9Ti86Tqsj. Hoy, los validadores de Ethereum ejecutan transacciones de forma independiente para verificar bloques. A medida que Ethereum avanza hacia la validación basada en zkEVM, el desafío va más allá de ejecutar transacciones correctamente. También necesitamos comprender el costo computacional en el peor de los casos. ¿Por qué importa esto? Un bloque de Ethereum podría ser válido y aún así requerir un cálculo inusualmente costoso. Si los costos de prueba se vuelven impredecibles, la prueba ZK en tiempo real podría convertirse en un cuello de botella para la escalabilidad de Ethereum. https://t.co/w9Ti86Tqsj presenta una competencia abierta para establecer límites superiores certificados matemáticamente sobre el cálculo de validación de bloques. Las implicaciones son significativas: → Cargas de trabajo de ejecución y prueba más predecibles. → Fundamentos más sólidos para la prueba ZK en tiempo real. → Mayor confianza para aumentar los límites de gas de Ethereum. → Una vía hacia la validación en hardware más accesible. Por supuesto, acotar los pasos de ejecución no garantiza automáticamente pruebas ZK rápidas. Pero es una base importante. El próximo desafío de escalabilidad de Ethereum no es solo hacer más rápido la ejecución. Es hacer predecible y demostrable el costo computacional en el peor de los casos. Y a medida que los rollups de Ethereum como @puffer_unifi avanzan hacia menor latencia y composición sincrónica, este tipo de investigación se vuelve cada vez más relevante. https://t.co/SwPS2w3ic1