区块链缺少图灵完备性(Turing Completeness)是指由一个自动机来表达和处理数字数据,但该自动机无法完全支持图灵测试(Turing Test),从而抵消了一些建模能力,限制了区块链的整体功能性。
图灵完备性表明,一个规模较小的程序,可以在规定的时间内解决所有简单的数字问题,相反,缺少图灵完备性指的是自动机的过载解决能力或其他复杂度的限制,这意味着自动机无法满足一定程度的计算和计算控制要求。
限制图灵完备性的最明显的特征就是区块链不支持循环形式的计算控制。循环不仅是自然语言处理的基础,还是复杂计算逻辑的基础。要想完整地理解许多复杂逻辑,包括各种机器学习模型,需要循环架构。但是,由于区块链不支持循环,因此无法完全模拟复杂的逻辑运算来处理数字数据。
此外,缺少图灵完备性的另一个问题在于与智能合约相关的模型。智能合约是描述在分布式环境中实现复杂业务逻辑的代码。尽管智能合约可以被当做自动机来看待,不过智能合约的代码架构受制于图灵完备性的限制,无法对复杂的计算逻辑进行完整的模拟。
最后,还应提及区块链环境里的可编程属性问题。因为智能合约无法处理复杂的逻辑,区块链对于目前的现实数据环境来说不够友好,也无法完全支持合理的可编程控制。另外,由于区块链系统不能满足提出的算法问题,用户无法根据自己的需要来编写程序处理问题。
总之,区块链的缺少图灵完备性表明,技术受到明显限制,无法处理复杂的处理运算,甚至支持基本的循环。这就意味着,要处理任何更高级的应用模型,都必须改变它们以突破这个瓶颈。