随着比特币的普及，越来越需要了解组成比特币的各种机制的功能、安全性和性能。本文分析了比特币的脚本语言Script，它是比特币交易的主要构件之一。我们正式定义了Script的语义，研究了确定一个用户定义的脚本是否格式良好的问题；也就是说，它是否可以解锁，或者它是否包含阻止这种情况发生的错误。...
随着比特币的普及，越来越需要了解组成比特币的各种机制的功能、安全性和性能。本文分析了比特币的脚本语言Script，它是比特币交易的主要构件之一。我们正式定义了Script的语义，研究了确定一个用户定义的脚本是否格式良好的问题；也就是说，它是否可以解锁，或者它是否包含阻止这种情况发生的错误。...