什么是图灵完备?
图灵完备是指机器执行任何其他可编程计算机可以执行的计算的能力。
图灵完备还意味着您的语言可以完成图灵机可以完成的所有事情以太坊支持图灵完备吗,并且可以解决所有可计算的问题。
简单地说,所有可计算的问题都可以计算出来,这样的虚拟机或编程语言称为图灵完备。
当然,图灵完备性也会导致程序因陷入死循环而崩溃。
在某些场景下,图灵完备性需要对语言进行约束,包括循环执行语句、判断分支语句等。
例如,如果有人说我的东西是图灵完备的,那就意味着它理论上可以用来解决任何计算问题。
另外,图灵完备性通常是指具有无限存储容量的通用物理机器或编程语言。
图灵的完备性的反面是图灵的不完备性。 图灵的不完整性不应允许或限制循环。 可以保证每个程序都不会死循环,跑完就结束。
比特币的脚本系统是图灵不完备的,而一些Token的智能合约系统是图灵完备的。
Turing-complete和Turing-incomplete各有优势,Turing-incomplete会更安全,Turing-complete会更聪明。
类似于以太坊的图灵完备脚本语言包括循环逻辑。 但为了保持网络稳定,Celes 会限制最大环路数。
按照通用图灵机的概念,图灵完备性是现代编程语言所能拥有的最高计算能力,也是冯·诺依曼架构所能达到的最高计算能力。
一般来说,除了一些脚本语言(比如比特币自带的脚本语言),大多数计算机语言都是图灵完备的。 使用图灵完备的脚本语言,
可以在逻辑上兼容其他编程语言,理论上可以实现任何其他语言可以实现的逻辑以太坊支持图灵完备吗,最大程度的复制真实的业务逻辑。
Celes会专门开发一套脚本语言。 这套脚本语言可以提供“图灵完备”(Turing Complete)的逻辑,并且仍然具备与真正的合法合规相兼容的功能。
这允许开发人员开发完整的逻辑。
此外,对于编写的逻辑,Celes 会评估运行该逻辑所消耗的计算机资源。 开发的业务逻辑将交给虚拟机在去中心化网络中自动运行。
业务逻辑一旦生成,就无法被篡改。