Semantics and complexity of bitcoin script
dc.contributor.advisor | Reutter de la Maza, Juan | |
dc.contributor.advisor | Arenas Saavedra, Marcelo Alejandro | |
dc.contributor.author | Reisenegger Butrón, Thomas | |
dc.contributor.other | Pontificia Universidad Católica de Chile. Escuela de Ingeniería | |
dc.date.accessioned | 2021-06-10T12:09:42Z | |
dc.date.available | 2021-06-10T12:09:42Z | |
dc.date.issued | 2021 | |
dc.description | Tesis (Master of Science in Engineering)--Pontificia Universidad Católica de Chile, 2021 | |
dc.description.abstract | Con la creciente popularidad de Bitcoin ha surgido la necesidad de entender las funcionalidades, la seguridad y el rendimiento de los distintos mecanismos que componen su protocolo. El lenguaje de programación asociado a Bitcoin, Script, es uno de los principales componentes de las transacciones de Bitcoin. Este fue diseñado deliberadamente para no ser Turing completo, de forma que no fuera posible crear ejecuciones sin fin. Sin embargo, no existen muchos estudios dedicados a analizar las propiedades y limitaciones del lenguaje. Es más, no existe un marco de referencia formal que permita analizar estas características. En este trabajo buscamos proveer este marco de referencia, que permita estudiar Script y analizar ciertos problemas relacionados al lenguaje. Concretamente, definiremos formalmente la semántica de Script y estudiaremos el problema de determinar si un programa definido por un usuario está bien formado, es decir, si puede ser desbloqueado o presenta errores que impiden que esto ocurra. Específicamente, demostraremos que este problema es NP-duro, proveyendo una reducción desde programación lineal entera, y que, para el conjunto más relevante de operadores, si establecemos ciertas suposiciones razonables sobre el uso del lenguaje, el problema se encuentra en NP. | |
dc.format.extent | x, 175 páginas | |
dc.fuente.origen | Autoarchivo | |
dc.identifier.doi | 10.7764/tesisUC/ING/60581 | |
dc.identifier.uri | https://doi.org/10.7764/tesisUC/ING/60581 | |
dc.identifier.uri | https://repositorio.uc.cl/handle/11534/60581 | |
dc.information.autoruc | Escuela de Ingeniería ; Reutter de la Maza, Juan ; 0000-0002-2186-0312 ; 126898 | |
dc.information.autoruc | Escuela de Ingeniería ; Arenas Saavedra, Marcelo Alejandro ; S/I ; 81488 | |
dc.information.autoruc | Escuela de Ingeniería ; Reisenegger Butrón, Thomas ; S/I ; 232633 | |
dc.language.iso | en | |
dc.nota.acceso | Contenido completo | |
dc.rights | acceso abierto | |
dc.subject.ddc | 005.13 | |
dc.subject.dewey | Ciencias de la computación | es_ES |
dc.subject.other | Lenguajes de secuencias de comandos (Ciencia de la computación) | es_ES |
dc.subject.other | Bitcoin | es_ES |
dc.subject.other | Criptomonedas | es_ES |
dc.title | Semantics and complexity of bitcoin script | es_ES |
dc.type | tesis de maestría | |
sipa.codpersvinculados | 126898 | |
sipa.codpersvinculados | 81488 | |
sipa.codpersvinculados | 232633 |