Is it Possible to Verify if a Transaction is Spendable?

dc.contributor.authorArenas, Marcelo
dc.contributor.authorReisenegger, Thomas
dc.contributor.authorReutter, Juan
dc.contributor.authorVrgoc, Domagoj
dc.date.accessioned2024-01-10T14:22:59Z
dc.date.available2024-01-10T14:22:59Z
dc.date.issued2021
dc.description.abstractWith the popularity of Bitcoin, there is a growing need to understand the functionality, security, and performance of various mechanisms that comprise it. In this paper, we analyze Bitcoin's scripting language, Script, that is one of the main building blocks of Bitcoin transactions. We formally define the semantics of Script, and study the problem of determining whether a user-defined script is well-formed; that is, whether it can be unlocked, or whether it contains errors that would prevent this from happening.
dc.description.funderANID-Millennium Science Initiative Program
dc.description.funderFondecyt
dc.fechaingreso.objetodigital2024-05-23
dc.format.extent14 páginas
dc.fuente.origenWOS
dc.identifier.doi10.3389/fbloc.2021.770503
dc.identifier.issn2624-7852
dc.identifier.urihttps://doi.org/10.3389/fbloc.2021.770503
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/80026
dc.identifier.wosidWOS:000745270700001
dc.information.autorucFacultad de Ingeniería; Arenas Saavedra, Marcelo Alejandro; S/I; 81488
dc.language.isoen
dc.nota.accesocontenido completo
dc.publisherFRONTIERS MEDIA SA
dc.revistaFRONTIERS IN BLOCKCHAIN
dc.rightsacceso abierto
dc.subjectbitcoin
dc.subjectscript
dc.subjectstatic analysis
dc.subjectunlockability
dc.subjectscript transaction
dc.titleIs it Possible to Verify if a Transaction is Spendable?
dc.typeartículo
dc.volumen4
sipa.codpersvinculados81488
sipa.indexWOS
sipa.trazabilidadCarga SIPA;09-01-2024
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Frontiers in Blockchain - 2021 - Is it Possible to Verify if a Transaction is Spendable.pdf
Size:
1.03 MB
Format:
Adobe Portable Document Format
Description: