Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand

En este trabajo de tesis estudiamos Algorand, una red de blockchain basada en Proof of Stake, analizando la estabilidad y seguridad de la misma en dos etapas. En una primera etapa, experimentamos con la estabilidad y adaptación a cambios en la topología física de la red. Para ello creamos experiment...

Descripción completa

Detalles Bibliográficos
Autor principal: Vera, Ezequiel Ignacio
Otros Autores: Mocskos, Esteban Eduardo
Formato: Tesis de grado publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2024
Materias:
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000508_Vera
Aporte de:
id seminario:seminario_nCOM000508_Vera
record_format dspace
spelling seminario:seminario_nCOM000508_Vera2025-05-09T18:45:42Z Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand Vera, Ezequiel Ignacio Mocskos, Esteban Eduardo BLOCKCHAIN ALGORAND CONSENSO EMULACION SHERLOCKFOG TOPOLOGIA PROOF OF STAKE En este trabajo de tesis estudiamos Algorand, una red de blockchain basada en Proof of Stake, analizando la estabilidad y seguridad de la misma en dos etapas. En una primera etapa, experimentamos con la estabilidad y adaptación a cambios en la topología física de la red. Para ello creamos experimentos con distintas configuraciones en los que afectamos enlaces agregando latencias de manera incremental. En todos ellos logramos degradar y hasta detener la red al afectar un 20 % del stake participante del consenso, encontrando un potencial vector de ataque. Como segunda etapa, ante la factibilidad de un ataque de este tipo, nos interés o poder reconstruir la topología lógica de la red para ubicar a los nodos de mayor stake, a partir de los mensajes recibidos por un relay del sistema. Experimentamos con redes de diferentes tamaños hasta replicar la escala de la red real. Para cada uno creamos un escenario en el que el stake se distribuye de manera homogénea entre los nodos, y otro heterogéneo en el que se respeta la distribución real de la red para fines de 2022. Para los escenarios homogéneos, logramos predicciones que aciertan por completo en las conexiones de los nodos a los relays vecinos del relay analizado, pero que comienzan a fallar en la escala realista (bajando el nivel de detección y generando falsos positivos). Para los escenarios heterogéneos observamos un comportamiento similar: partimos de predicciones exactas para redes más pequeñas, que comienzan a fallar a medida que in crementamos el tamaño de la red. Sin embargo, nuestro algoritmo pudo predecir en escala realista de manera exacta y precisa las conexiones de las cuentas más importantes de la red (aquellas con mayor stake). Este estudio es el primero para la red de Algorand en base a los aspectos analizados, con emulaciones de la misma en escala realista. Fil: Vera, Ezequiel Ignacio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2024-04-12 info:eu-repo/semantics/bachelorThesis info:ar-repo/semantics/tesis de grado info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/seminario_nCOM000508_Vera
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
topic BLOCKCHAIN
ALGORAND
CONSENSO
EMULACION
SHERLOCKFOG
TOPOLOGIA
PROOF OF STAKE
spellingShingle BLOCKCHAIN
ALGORAND
CONSENSO
EMULACION
SHERLOCKFOG
TOPOLOGIA
PROOF OF STAKE
Vera, Ezequiel Ignacio
Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand
topic_facet BLOCKCHAIN
ALGORAND
CONSENSO
EMULACION
SHERLOCKFOG
TOPOLOGIA
PROOF OF STAKE
description En este trabajo de tesis estudiamos Algorand, una red de blockchain basada en Proof of Stake, analizando la estabilidad y seguridad de la misma en dos etapas. En una primera etapa, experimentamos con la estabilidad y adaptación a cambios en la topología física de la red. Para ello creamos experimentos con distintas configuraciones en los que afectamos enlaces agregando latencias de manera incremental. En todos ellos logramos degradar y hasta detener la red al afectar un 20 % del stake participante del consenso, encontrando un potencial vector de ataque. Como segunda etapa, ante la factibilidad de un ataque de este tipo, nos interés o poder reconstruir la topología lógica de la red para ubicar a los nodos de mayor stake, a partir de los mensajes recibidos por un relay del sistema. Experimentamos con redes de diferentes tamaños hasta replicar la escala de la red real. Para cada uno creamos un escenario en el que el stake se distribuye de manera homogénea entre los nodos, y otro heterogéneo en el que se respeta la distribución real de la red para fines de 2022. Para los escenarios homogéneos, logramos predicciones que aciertan por completo en las conexiones de los nodos a los relays vecinos del relay analizado, pero que comienzan a fallar en la escala realista (bajando el nivel de detección y generando falsos positivos). Para los escenarios heterogéneos observamos un comportamiento similar: partimos de predicciones exactas para redes más pequeñas, que comienzan a fallar a medida que in crementamos el tamaño de la red. Sin embargo, nuestro algoritmo pudo predecir en escala realista de manera exacta y precisa las conexiones de las cuentas más importantes de la red (aquellas con mayor stake). Este estudio es el primero para la red de Algorand en base a los aspectos analizados, con emulaciones de la misma en escala realista.
author2 Mocskos, Esteban Eduardo
author_facet Mocskos, Esteban Eduardo
Vera, Ezequiel Ignacio
format Tesis de grado
Tesis de grado
publishedVersion
author Vera, Ezequiel Ignacio
author_sort Vera, Ezequiel Ignacio
title Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand
title_short Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand
title_full Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand
title_fullStr Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand
title_full_unstemmed Análisis de estabilidad y seguridad en una red de Proof of Stake : el ejemplo de Algorand
title_sort análisis de estabilidad y seguridad en una red de proof of stake : el ejemplo de algorand
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2024
url https://hdl.handle.net/20.500.12110/seminario_nCOM000508_Vera
work_keys_str_mv AT veraezequielignacio analisisdeestabilidadyseguridadenunareddeproofofstakeelejemplodealgorand
_version_ 1831983615762759680