#dusk @Dusk me metí esta noche en un agujero de conejo de redes en vez de lo de siempre en la capa de aplicación. En concreto, por qué Dusk reemplaza el “chisme” simple por algo llamado kadcast y, sinceramente… 😂 no esperaba que la topología de red realmente importara tanto para el rendimiento del consenso.
Entonces: la mayoría de las cadenas de bloques inundan mensajes a todos los pares conectados; es simple, pero derrocha ancho de banda, con muchas transmisiones redundantes. En cambio, kadcast construye una superposición estructurada basada en Kademlia. Cada par obtiene un ID de 128 bits a partir de hashear su IP y puerto, y los mensajes se reenvían por rutas deterministas basadas en la distancia XOR entre los IDs de los pares, en lugar de “dispararlos” a todos a la vez. Los pares mantienen k “buckets” de vecinos conocidos, y un pequeño conteo de delegados por bucket se encarga de la difusión posterior, en vez de que cada par reenvíe a todos los demás. El resultado medido está en algún punto entre un 25% y un 50% menos de uso de ancho de banda comparado con gossip, con una latencia más predecible en lugar de la expansión impredecible del chisme.
Lo que sigo teniendo presente desde que me puse a profundizar en esto es una preocupación bastante conocida en la investigación de Kademlia: el enrutamiento estructurado basado en distancias deterministas de IDs implica que la posición en ese espacio de IDs no es aleatoria. No he visto escritos específicos de Dusk que aborden si eso abre algún riesgo de eclipsado o de posicionamiento dirigido alrededor de la propagación de votos del comité de la que hablé en relación con la atestación concisa que publiqué hace un tiempo, frente a una red gossip totalmente no estructurada donde ese tipo de posicionamiento no sería posible de la misma manera.
Aun así, una reducción real y medida del ancho de banda para mensajes de consenso es una ganancia de eficiencia genuinamente concreta, no solo una arquitectura más “bonita” sobre el papel.
En serio, no sé si ese intercambio del enrutamiento estructurado introduce un riesgo nuevo significativo o si la ganancia de eficiencia claramente compensa aquí.
🤔
$DUSK