Sistemas Distribuidos
Estudiamos cómo un conjunto de nodos que no confían entre sí llega a un acuerdo sobre el estado de la red. Analizamos mecanismos de consenso, como la prueba de participación, la familia Snowman o los protocolos de tipo BFT, su tolerancia a fallos bizantinos y el compromiso entre finalidad, latencia y descentralización. También trabajamos en escalabilidad: rollups, cadenas específicas para una aplicación y la comunicación segura entre ellas.