Finalidad vs Latencia. Tweet de @KtorZ

Fuente: Twitter, traducción. 

Por KtorZ 

Hablemos de la finalidad de la transacción en Cardano hoy, porque sigo viendo todo tipo de reclamos (incorrectos) en las redes sociales, Discord y demás. (1/n)

👇

Primero, necesitamos distinguir dos cosas:

Finalidad vs Latencia;

.. o como algunos lo llaman, 'confirmación de cadena' versus 'confirmación de transacción' aunque realmente no me gusta el término 'confirmación' en este contexto (realmente no hay nadie que 'confirme' nada activamente).

La latencia es el tiempo que tarda una transacción en aparecer en la cadena de bloques, en un bloque. La finalidad es el tiempo que tarda una transacción en volverse inmutable.

¿Por qué es eso diferente?

¡Porque el sistema está descentralizado! Y eso significa que la información solo *eventualmente* es verdadera.

Cuánto tiempo es suficiente depende de las partes interesadas y del tipo de transacción: no se busca el mismo nivel de seguridad cuando se da propina a alguien que cuando se compra algo más valioso.

La latencia en Cardano es excelente y esto se debe en parte a que es un requisito de seguridad. Los bloques y las transacciones se propagan rápidamente a través de la red (¡se alcanza el 95 % de la red en 5 segundos!). En días normales, significa que las transacciones generalmente llegan a la cadena en unos segundos.

Sin embargo, la finalidad solo está *100 % garantizada* después de k bloques, donde k es un parámetro de protocolo. Actualmente, k = 2160.

¿Significa que hay que esperar 2160 bloques antes de considerar estable una transacción?

No.😌

Demos un paso atrás. ¿Qué significa que una transacción sea estable? Significa que cualquier *posible* bifurcación de la cadena necesariamente incluirá esa transacción. Las bifurcaciones ocurren cuando compiten dos (o más) versiones de la cadena.

Eventualmente, solo uno prevalecerá.

¿Son tan comunes las bifurcaciones? ¡Sí! ¡En Ouroboros Praos, la cadena se bifurca naturalmente todo el tiempo! Por lo general, se les llama "batallas de slot". Esas pequeñas bifurcaciones se resuelven rápidamente y solo tienen unos pocos bloques de largo.

Además, Praos garantiza que no puede haber bifurcaciones de más de 'k' bloques.

Los atacantes también pueden intentar crear bifurcaciones artificiales para que la red adopte su propia versión 😳.

Para tener éxito, necesitan una gran participación y mucho poder (es decir, hashing) para simular la mayor cantidad posible de bifurcaciones y, con suerte, lograr que se adopte una favorable para ellos.

No se preocupe, los atacantes necesitarán todo el poder de hash de Bitcoin y una gran parte de la delegación para tener incluso una pequeña probabilidad de "romper" Ouroboros.

Aún así, es posible que un actor con suficiente participación influya en las versiones más recientes de la cadena.

Tomando algunos valores conservadores para el poder y la delegación adversaria, podemos llegar a una probabilidad como se muestra en el gráfico.

Entonces, alrededor de ~ 70 bloques para alcanzar una probabilidad de inmutabilidad lo suficientemente alta. ¡La proporción de la delegación adversaria tiene una gran influencia sobre eso!

Qué umbral considerar depende realmente del caso de uso. En muchos casos, 5 bloques más o menos ya serían suficientes. ¡Para asuntos serios, recomendaría tomar valores bastante conservadores!

Muchos consideran que la transacción es estable tan pronto como los ven en la cadena. ¡Esto está mal!

No pretendo asustar a nadie, sino crear conciencia entre los desarrolladores de DApps y aquellos que crean servicios en Cardano. Tenga en cuenta que el sistema está descentralizado y que no hay una verdad *inmediata*. Sólo muchas posibilidades que finalmente llegan a un consenso.

Aparentemente, un corolario de esto es que, distribuir su delegación entre muchos actores diferentes que es poco probable que se confabulen en la práctica a acelerar la finalidad.

¡Y no es que nos falten opciones de stakepools!

¡Así que adelante, y delega tus ADAs! ¡Mantén a la red rápida!

• • •