Is it Possible to Verify if a Transaction is Spendable?

【Author】 Arenas, Marcelo; Reisenegger, Thomas; Reutter, Juan; Vrgoc, Domagoj

【Source】FRONTIERS IN BLOCKCHAIN

【影响因子】0.000

【Abstract】With 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.

【Keywords】bitcoin; script; static analysis; unlockability; script transaction

【发表时间】2021 DEC 14

【收录时间】2022-02-04

【文献类型】期刊

【主题类别】

区块链技术--