图灵不完备

比特币交易脚本语言包含许多运算符,但在一个重要方面有意限制——它没有循环或复杂的流程控制能力,除了条件流程控制。这确保了该语言不是图灵完备的,也就是说,脚本具有有限的复杂性和可预测的执行时间。脚本不是通用的语言。这些限制确保了语言不能用于创建无限循环或其他形式的“逻辑炸弹”,这可能会以导致针对比特币网络的拒绝服务攻击的方式嵌入到交易中。请记住,比特币网络上的每个全节点都会验证每个交易。有限的语言防止了交易验证机制被用作漏洞。

Last updated