Generalized Paxos hizo a Byzantine (y menos complejo)
Autores: Pires, Miguel; Ravi, Srivatsan; Rodrigues, Rodrigo
Idioma: Inglés
Editor: MDPI
Año: 2018
Acceso abierto
Artículo científico
2018
Generalized Paxos hizo a Byzantine (y menos complejo)
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería de Software
Palabras clave
Paxos
Paxos generalizado
Consenso
Protocolos tolerantes a fallas bizantinas
Implementación
Condición de seguridad
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 37
Citaciones: Sin citaciones
Uno de los miembros más recientes de la familia de protocolos es Paxos. Esta variante de Paxos tiene la característica de que se aleja de la especificación original de consenso, permitiendo una condición de seguridad más débil donde diferentes procesos pueden tener diferentes puntos de vista sobre una secuencia acordada. Sin embargo, al igual que su contraparte original de Paxos, Generalized Paxos no tiene una implementación simple. Además, con la reciente adopción práctica de protocolos tolerantes a fallas bizantinas en el contexto de los protocolos de blockchain, es oportuno e importante comprender cómo se puede implementar Generalized Paxos en el modelo bizantino. En este documento, realizamos dos contribuciones principales. En primer lugar, intentamos proporcionar una descripción más simple de Generalized Paxos, basada en una especificación más simple y en el pseudocódigo de una solución que puede implementarse fácilmente. En segundo lugar, extendemos el protocolo al modelo de fallas bizantinas y proporcionamos la respectiva prueba de corrección.
Descripción
Uno de los miembros más recientes de la familia de protocolos es Paxos. Esta variante de Paxos tiene la característica de que se aleja de la especificación original de consenso, permitiendo una condición de seguridad más débil donde diferentes procesos pueden tener diferentes puntos de vista sobre una secuencia acordada. Sin embargo, al igual que su contraparte original de Paxos, Generalized Paxos no tiene una implementación simple. Además, con la reciente adopción práctica de protocolos tolerantes a fallas bizantinas en el contexto de los protocolos de blockchain, es oportuno e importante comprender cómo se puede implementar Generalized Paxos en el modelo bizantino. En este documento, realizamos dos contribuciones principales. En primer lugar, intentamos proporcionar una descripción más simple de Generalized Paxos, basada en una especificación más simple y en el pseudocódigo de una solución que puede implementarse fácilmente. En segundo lugar, extendemos el protocolo al modelo de fallas bizantinas y proporcionamos la respectiva prueba de corrección.