El anuncio de las pruebas en tiempo real de ayer es un gran hito, y @VitalikButerin trae a colación algunos puntos positivos sobre el trabajo adicional que se requerirá. PERO creo que estamos más cerca en todos estos puntos de lo que la gente podría darse cuenta... 1. En el peor de los casos, la prueba en tiempo real se puede resolver con simples cambios en el horario de gas de Ethereum: hoy, ~ 94% de los bloques se pueden probar en < 12 segundos, el 99% de los bloques se pueden probar en < 13 segundos. Para los valores atípicos restantes, deberían bastar con simples ajustes en el calendario de gas de Ethereum (actualmente, las precompilaciones bn254, bls12-381 están infravaloradas en relación con sus costes de prueba). Además, el EIP que limita el uso máximo de gas de una sola transacción ayudará a garantizar que no haya vectores DDOS (ya que probamos subbloques de transacciones en paralelo para lograr nuestra baja latencia). 2. La verificación formal para SP1 ya está en marcha: Convenientemente, hemos tenido 2 anuncios en la última semana sobre la verificación formal para SP1, ¡trabajando con @NethermindEth y @VeridiseInc! Tenemos una línea de visión clara para verificar formalmente todos nuestros AIR principales en los próximos meses. 3. No es necesario probar en casa con redes de proveedores descentralizadas: En este momento, RTP requiere ~ 160 GPU, que es muy pequeño para cualquier centro de datos, pero tal vez un poco grande para una configuración en casa. Sin embargo, con los próximos lanzamientos de redes de probadores descentralizadas, no estoy seguro de que debamos aspirar a probar en casa. La red incentivará económicamente que siempre haya probadores en línea listos para probar en tiempo real. 4. La prueba paralelizada de subbloques significa que 100 veces el límite de gas no es un problema para la latencia: estoy a favor de 100 veces el límite de gas y esto no será un problema para nosotros. Nuestra implementación de prueba en tiempo real utiliza un enfoque de subbloques, en el que tomamos un bloque y lo dividimos en subbloques más pequeños de unas pocas transacciones. Estos subbloques se prueban en paralelo y luego se agregan en 1 prueba al final. Incluso si el límite de gas aumenta en 100x, aún podemos paralelizar la prueba de los subbloques (solo que hay más de ellos), lo que significa que la latencia no se verá afectada. Cree en algo real. Cree en la demostración en tiempo real.