Dos propiedades principales de un consenso son " Viveness " y " Seguridad ".
¿Cuáles son las definiciones exactas y precisas de las propiedades de " Vida viva " y " Seguridad " en un consenso?
¿Son correctas las siguientes definiciones?
Seguridad: ¿Lograr un acuerdo sobre un solo estado por parte de todos los participantes?
Liveness: ¿ Posibilidad de actualizar este estado manteniendo el acuerdo?
Seguridad : cualquier transacción que se considere final por un nodo que funcione correctamente se considerará finalmente definitiva por todos los nodos que funcionen correctamente. No habrá conflicto entre dos transacciones consideradas definitivas por dos nodos que funcionen correctamente.
Actividad : siempre que haya al menos una transacción adecuada para su inclusión que no haya sido considerada definitiva por ningún nodo que funcione correctamente, el conjunto de transacciones consideradas definitivas por al menos un nodo que funcione correctamente aumentará en número.
Tenga en cuenta que estas son definiciones muy, muy mínimas y generalmente no son suficientes para sistemas realistas. Además, para algunos sistemas (donde una transacción puede producir diferentes resultados según el contexto en el que se ejecuta), debe entender que "transacción" significa los resultados de ejecutar la transacción.
Seguridad: nunca lograr un acuerdo sobre un estado cuando los nodos no han llegado a un acuerdo sobre ese estado dado, siempre que se mantengan los supuestos del documento ( lea la wiki aquí ).
Vivacidad: el consenso no puede detenerse, incluso en caso de empate, algo siempre debe progresar ( lea la wiki aquí ).
Wapac