#plasma $XPL en Plasma, "la conversión de estado" no se valida transacción por transacción en la cadena principal, lo cual es un malentendido común al principio.
La forma en que Plasma valida el estado es más como una creencia por defecto, que puede ser refutada en cualquier momento.
Cada conversión de estado se empaqueta en un bloque de Plasma, que finalmente se comprime en una raíz de estado que se envía a la cadena principal. Esta raíz no prueba que "cada paso es correcto", sino que declara: hasta este punto, mi estado es así.
La verdadera validación ocurre fuera de la cadena y también sucede posteriormente.
Si nadie impugna, este estado se considera válido; si alguien encuentra un problema, necesita presentar dos cosas: los datos de una transacción específica y una prueba Merkle desde esa transacción hasta el encabezado del bloque actual, para demostrar que una conversión de estado violó las reglas.
Una vez que se establece el desafío, la cadena principal no vuelve a ejecutar toda la cadena, solo decide: el compromiso de estado correspondiente a este encabezado de bloque es inválido. Luego, el sistema entra en un proceso de salida o reversión.
Por lo tanto, la validación de estado de @Plasma es esencialmente una validación tipo juego:
no se garantiza la corrección a través de poder de cómputo o pruebas, sino a través de "el mal puede ser descubierto y el costo es mayor que el beneficio".
Esta también es la razón por la cual Plasma tiene altos requisitos para los usuarios: no necesitas demostrar todos los días que el sistema es correcto, pero debes tener la capacidad de actuar cuando se equivoca.
