Un documento muy importante. Vamos a repasar este "objetivo" uno a uno. Empezaremos con las máquinas tragaperras rápidas y la finalización rápida. Espero que reduzcamos el tiempo en franjas de forma incremental, por ejemplo, Me gusta la fórmula de "2 sqrt(2) a la vez" (12 -> 8 -> 6 -> 4 -> 3 -> 2, aunque los dos últimos pasos son más especulativos y dependen de una investigación exhaustiva). Aquí es posible ir más rápido o más despacio; Pero a gran escala veremos el tiempo de slot como un parámetro que ajustamos a la baja cuando estamos seguros de que es seguro, similar al objetivo de la mancha. Las tragaperras rápidas están en su propio carril en la parte superior de la hoja de ruta y realmente no parecen conectar con nada. Esto se debe a que el resto de la hoja de ruta es bastante independiente del tiempo de franja: tendríamos que hacer más o menos lo mismo, ya sea que el tiempo de franja sea de 2 segundos o 32 segundos Sin embargo, hay algunas zonas de intersecciones. Una de ellas son las mejoras p2p. @raulvk ha estado trabajando recientemente en una capa p2p optimizada para Ethereum, que utiliza codificación de borrado para mejorar enormemente la frontera entre ancho de banda y latencia. En términos generales: en el diseño actual, cada nodo recibe un cuerpo de bloque completo de varios pares, y es capaz de aceptarlo y retransmitirlo tan pronto como recibe el primero. Si el "ancho" (número de pares que te envían el bloque) es bajo, entonces un par defectuoso puede retrasar mucho cuando recibes el bloque. Si el ancho es alto, hay mucha sobrecarga de datos innecesaria. Con la codificación de borrado, puedes elegir una configuración de k de n, por ejemplo: divide cada bloque en 8 piezas para que, con cualquier 4 de ellas, puedas reconstruir el bloque completo. Esto te da gran parte de los beneficios de redundancia de un ancho alto, sin la sobrecarga. Tenemos estadísticas que muestran que esta arquitectura puede reducir considerablemente el tiempo de propagación de bloques en el percentil 95, haciendo viables ranuras más cortas sin compromisos de seguridad (excepto por una mayor complejidad del protocolo, aunque aquí la relación rendimiento-ganancia por línea de código es bastante favorable) Otra zona de intersección es la estructura de ranuras más compleja que viene con ePBS, FOCIL y la regla de confirmación rápida. Estos tienen beneficios importantes, pero disminuyen la latencia máxima segura de ranura/3 a ranura/5. Hay investigaciones en curso para intentar hacer pipelines mejor y minimizar las pérdidas (también ten en cuenta: el tiempo de slot está limitado no solo por la latencia de ranura, sino también por la parte de coste fijo de la latencia del demostrador ZK), pero hay algunos compromisos aquí. Una forma que estamos explorando para compensar esto es cambiar a una arquitectura donde solo entre ~256 y 1024 atestadores seleccionados aleatoriamente firmen en cada ranura. Para una función de elección de bifurcación (no finalizante), esto es totalmente suficiente. El menor número de firmas nos permite eliminar la fase de agregación, acortando los espacios. La finalización rápida es más compleja (el protocolo definitivo es, en mi opinión, más sencillo que el Gasper de statu quo, pero el camino de cambio es complejo). Hoy en día, la finalidad dura de media 16 minutos (12 ranuras * 32 épocas tragamonedas * 2,5 épocas). El objetivo es desacoplar ranuras y finalización, así que permítenos razonar sobre ambos por separado, y nuestro objetivo es usar un algoritmo BFT de finalidad de una ronda (una variante de Minimmit) para finalizar. Así que el tiempo de finalización final podría ser, por ejemplo, 6-16 seg. Dado que se trata de un conjunto de cambios muy invasivo, el plan es agrupar el mayor paso de cada cambio con un cambio de criptografía, especialmente a firmas basadas en hash post-cuántico, y a un hash máximo compatible con SARK (hay tres posibles respuestas a los recientes ataques Poseidon2: (i) aumentar el número de rondas o introducir otras contramedidas como una capa Monolith, (ii) volver a Poseidón1, que es aún más lindy que Poseidón2 y no ha tenido defectos, (iii) usar BLAKE3 u otro hash "convencional" al máximo barato. Todos están siendo investigados). Además, hay un plan para introducir muchos de estos cambios poco a poco, por ejemplo, "Finalidad de una época" significa que ajustamos el consenso actual para cambiar de finalización al estilo FFG a finalización al estilo Minimmit. Una posible trayectoria de tiempo de finalización es: 16 min (hoy) -> 10m40s (ranuras de 8s) -> 6m24s (finalidad de una época) -> 1m12s (épocas de 8 ranuras, ranuras de 6s) -> 48s (ranuras de 4s) -> 16s (minimmit) -> 8s (minimmit con parámetros más agresivos) Una consecuencia interesante del enfoque incremental es que existe una vía para hacer que las tragaperras sean resistentes al cuántico mucho antes que a la finalidad sea resistente al cuántico, así que podríamos llegar bastante rápido a un régimen en el que, si aparecen de repente los ordenadores cuánticos, perdamos la garantía de finalidad, pero la cadena siga avanzando. Resumen: se esperan disminuciones progresivas tanto del tiempo de slot como del tiempo de finalización, y se espera que estos cambios se entrelazen con una sustitución componente por componente al estilo "ship of Theseus" de la estructura de tragaperras de Ethereum y el consenso por una alternativa más limpia, sencilla, resistente a la cuántica, amigable para los provers y de extremo a extremo formalmente verificada.