Novedades

Estimados/as, 

Espero anden bien... 

Este año PEDECIBA hace un llamado dirigido a estudiantes de grado que quieran tener una primer experiencia en investigación. El grupo LINS tiene una propuesta asociada a este llamado e invitamos a quienes estén interesados a participar. La propuesta es sobre interoperabilidad en blockchain, entonces aquellos que les haya gustado la temática del curso y además quiera tener una primera experiencia en investigación, son muy bienvenidos! Comparto además, se estaría trabajando en conjunto con el grupo SATP de la IETF, por lo que también tendrán una experiencia de acercamiento internacional con la industria. Si por otro lado, les interesa la experiencia y no tanto la temática, pueden encontrar también otras propuestas en el llamado.

Más abajo dejo la descripción de nuestra propuesta. Si alguno/a tiene alguna duda, les dejo mi correo (gllambi@fing.edu.uy) para que me puedan escribirme y consultar. Quienes además estén interesados en participar, pueden también escribir si necesitan alguna guía para presentarse. Si por otro lado, no les interesa pero conocen a alguien que sí, les agradezco la difusión.

Dejo el link con más información del llamado y todas las propuestas incluida la nuestra https://www.pedeciba.edu.uy/es/noticia/primera-experiencia-de-investigacion-prexi-2024-convocatoria-a-estudiantes-de-grado-108/

La convocatoria cierra el viernes 26 de julio de 2024 a las 17 horas (GMT -3).

La interoperabilidad en blockchain es uno de los principales desafíos que tiene esta tecnología. Normalmente, las blockchains no poseen mecanismo que les permitan interoperar con otras blockchains u otros sistemas. En los últimos años, la industria y la academia propusieron con cierto grado de éxito diferentes soluciones para resolver este desafío. Sin embargo, aun no existe un estándar que permita interopear blockchains de igual manera que los sistemas de información tradicionales utilizan Web Services SOAP o APIs Restful. Existen iniciativas de estandarización, pero aún se encuentran en etapa de desarrollo o no tienen una adopción masiva por parte de los principales proveedores de soluciones de interoperabilidad. Una de estas iniciativas es la que viene llevando adelante la Internet Engineering Task Force (IETF) con el protocolo Secure Asset Transport Protocol (SATP). Este protocolo permite el intercambio de activos digitales entre plataformas de blockchain y ha sido implementado por los productos Hyperledger Cacti y Quant. Sin embargo, el diseño y desarrollo de una solución de interoperabilidad para blockchains es compleja, y errores en su implementación han costado millones de dólares a los principales proveedores de soluciones de interoperabilidad. Por otro lado, la aplicación de métodos formales como estrategia de verificación de sistemas ha demostrado ser una herramienta eficaz en la identificación de errores de diseño en etapas tempranas del desarrollo. En ese sentido, Event-B es un método formal para la verificación de sistemas que pueden ser modelados como sistemas discretos, como lo puede ser el protocolo SATP. Dos de las principales propiedades que interesa demostrar, son las propiedades de "safety" y "liveness". La propiedad de safety asegura que no ocurrirá un evento que deje al sistema en un estado no deseado, mientras que la propiedad de liveness implica que un sistema eventualmente alcanzará un estado en algún momento de tiempo. En ese sentido, esta propuesta tiene como objetivo general avanzar en la formalización del protocolo SATP utilizando Event-B. Para cumplir con este objetivo general, se plantean los siguientes objetivos específicos: 1) Analizar el protocol SATP y comprender su comportamiento; 2) proveer una primera versión de la especificación del protocolo SATP con Event-B; 3) escritura de un reporte técnico con los resultados alcanzados. Por otro lado, sería deseable poder avanzar en la identificación de propiedades de safety y liveness, junto con su especificación en Event-B. Avanzar en la formalización del protocolo SATP lo posiciona como un candidato sólido y confiable para convertirse en un estándar de interoperabilidad para blockchain.