Registro:
| Documento: | Tesis de Grado |
| Título: | Generador de abstracciones para smart contracts |
| Autor: | Torres, Edén |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Fecha de defensa: | 2023-12-18 |
| Fecha en portada: | 2023 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Uchitel, Sebastián |
| Director Asistente: | Godoy, Javier |
| Jurado: | Braberman, Víctor Adrián; Waisbein, Ariel |
| Idioma: | Español |
| Palabras clave: | CONTRATOS INTELIGENTES; BLOCKCHAIN; VALIDACION; VERIFICACION; MAQUINAS DE ESTADO; ANALISIS ESTATICO; SOLIDITY; VERISOLSMART CONTRACTS; BLOCKCHAIN; VALIDATION; VERIFICATION; STATE MACHINES; STATIC ANALYSIS; SOLIDITY; VERISO |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000522_Torres |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000522_Torres.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000522_Torres |
| Ubicación: | Dep.COM 000522 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Torres, Edén. (2023). Generador de abstracciones para smart contracts. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000522_Torres |
Resumen:
Vamos a abordar la problemática de validar y verificar la corrección de los contratos inteligentes, programas que se ejecutan en una blockchain y pueden manejar recursos de alto valor. Debido a la falta de especificaciones claras del comportamiento esperado y al entorno de ejecución concurrente en el que funcionan, validar la corrección de estos contratos es una tarea compleja. Una manera de facilitar la comprensión del comportamiento de los contratos es construyendo máquinas de estado, pero esta técnica se realiza de manera manual y requiere la traducción del código a un lenguaje de modelado. Por lo tanto, se propone desarrollar una herramienta capaz de construir automáticamente abstracciones para contratos inteligentes para la red Ethereum utilizando ideas similares a las de un estudio anterior y utilizando un analizador estático de programas Solidity. Para esto, se utilizará VeriSol, una herramienta de análisis estático desarrollada por Microsoft Research que verifica la correctitud de las aserciones en un contrato dado.
Abstract:
We will address the challenge of validating and verifying the correctness of smart contracts, which are programs that run on a blockchain and can handle high-value resources. Due to the lack of clear specifications of the expected behavior and the concurrent execution environment in which they operate, validating the correctness of these contracts is a complex task. One way to facilitate the understanding of contract behavior is by building state machines, but this technique is done manually and requires translation of the code into a modeling language. Therefore, we propose to develop a tool capable of automatically building abstractions for smart contracts on the Ethereum network using ideas similar to a previous study and using a Solidity static program analyzer. For this, we will use VeriSol, a static analysis tool developed by Microsoft Research that verifies the correctness of assertions in a given contract.
Citación:
---------- APA ----------
Torres, Edén. (2023). Generador de abstracciones para smart contracts. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000522_Torres
---------- CHICAGO ----------
Torres, Edén. "Generador de abstracciones para smart contracts". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2023.https://hdl.handle.net/20.500.12110/seminario_nCOM000522_Torres
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000522_Torres.pdf
Distrubución geográfica
