#dusk $DUSK @Dusk Busqué qué significa realmente la finalidad determinista dentro del consenso de Succinct Attestation de Dusk y encontré dos descripciones diferentes en dos fuentes oficiales.

La versión de marketing es limpia. Tres pasos. Propuesta. Validación. Ratificación. El bloque se finaliza. Determinista. Listo.

La versión del whitepaper es más honesta.

SA funciona en rondas. Cada ronda puede tener múltiples iteraciones. La mayoría de los bloques se finalizan en la iteración 1 con participación completa del comité. Pero existen las iteraciones 2, 3 y 4 por una razón. Cada iteración posterior reduce el umbral de quórum requerido para avanzar. El protocolo no se rinde fácilmente. Sigue intentando.

Hmm.

El whitepaper describe hasta 213 iteraciones posibles antes de que se puedan activar procedimientos de emergencia. El modo de emergencia implica una ruta de firma diferente y, finalmente, una alternativa que la documentación reconoce como existente para la continuidad de la red.

Hay dos cosas dentro de ese diseño que vale la pena separar con claridad.

Primero: la finalidad determinista es una garantía real. Una vez que un bloque es ratificado, no puede reorganizarse. No hay conteo probabilístico de confirmaciones. No hay que esperar 6 bloques. Final significa final. Esa propiedad es genuina y es importante para la liquidación regulada.

Segundo: la finalidad determinista es una garantía de resultado de consenso, no una garantía de tiempo. El protocolo garantiza que el bloque se finalizará. No garantiza exactamente cuándo. Un bloque que requiere múltiples iteraciones tarda más que un bloque que se finaliza en la iteración 1. Ambos son finalizados de forma determinista. Llegan a la finalidad en relojes distintos.

La liquidación tradicional de valores tiene ciclos de T+1 y T+2. Ventanas predecibles. Obligaciones contractuales atadas a plazos específicos.

Una aplicación regulada en Dusk que promete liquidación en segundos está prometiendo el caso típico. El protocolo garantiza el resultado. El tiempo hasta ese resultado varía con las condiciones de la red de maneras que el lenguaje de la finalidad determinista no comunica completamente.