区块链之图灵完备是什么?

到底都知道SERO超零协议是:全球首个使用零知识证明技术实现隐私保护,支持图灵完备智能合约运行的分布式平台,那么到底什么是图灵完备呢”?

今天就来跟到底聊聊其中的图灵完备”

第一问:图灵是谁?

艾伦·麦席森·图灵(Alan Mathison
Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机科学之父,人工智能之父。

在计算机的世界中,图灵声名赫赫,是大神级的存在。

他被誉为计算机之父”。计算机界的最高奖图灵奖”就以他的名字命名。

1999年《时代》周刊将图灵评为二十世纪最重要的一百人”之一。因为,今天我们每个人都工作在一台图灵机”上。

图灵更为传奇的故事发生在第二次世界大战。

他成功破译了纳粹德国复杂严密的密码系统,让希特勒的战争部署赤裸裸暴露在盟军面前。

可以说,他用自己的天才,改变了整个英国、乃至全人类的命运走向。

第二问:图灵完备是什么意思?

图灵完备性(Turing
Completeness)是针对一套数据操作规则而言的概念。数据操作规则可以是一门编程语言,也可以是计算机里具体实现了的指令集,当这套规则可以实现图灵模型里的全部功能时,就称它具有图灵完备性。直白一点点说,图灵完备性就是我给你一工具箱的东西,包括无限内存、if/else控制流.while循环。。。那么你现在图灵完备了吗?

第三问:图灵完备vs图灵不完备?

图灵完备意味着你的语言可以做到能够用图灵机能做到的”所有事情,可以解决所有的可计算问题。

图灵不完备也不是没有意义, 有些场景我们需要限制语言本身。如限制循环和递归, 可以保证该语言能写的程序一定是终止的。

理解一下,就是说图灵完备的语言,有循环执行语句,判断分支语句等。理论上能解决任何算法。但有可能进入死循环而程序崩溃。

图灵不完备,应该是不允许或限制循环。可以保证,每段程序都不会死循环,都有运行完的时候。

第四问:什么是图灵完备的智能合约?

比特币的脚本系统是图灵不完备的,而一些Token的智能合约系统是图灵完备的。

现实世界的需求是极其庞杂的,为了满足未来将区块链技术应用于更多场景的可能需要,比特币脚本语言是远远不够的。这也是为什么以以太坊为代表的区块链技术,都宣称自己所采用的智能合约”语言是图灵完备的主要原因。

所以以太坊朝着这个目标在前进,也正是由于这个平台的强大,目前基于以太坊开发的区块链应用越来越多。为什么呢?通过上面的介绍就知道,以太坊的智能合约”语言是图灵完备的,而图灵完备的编程语言可以实现所有以前一个编程语言在单机上实现的功能,也即能尽最大限度满足现实应用场景的开发。

SERO和以太坊同样实现了图灵完备的智能合约”,而不一样的在于SERO在基于以太坊的现有功能上增添了信息隐私保护功能,这一块是目以太坊做不到的。关于SERO是讲解做到隐私保护”咱们下节课再聊!

从上我们有理由相信,SERO的技术团队为区块链行业打开了另一个风口,那就是支持加密图灵完备智能合约分布式平台。为DAPP开发者创造了一个技术实现的天堂。

图灵完备(Turing Complete),图灵完备是指机器执行任何其他可编程计算机能够执行计算的能力。

图灵完备也意味着你的语言可以做到能够用图灵机能做到的所有事情,可以解决所有的可计算问题。

简单来讲,一切可计算的问题都能计算,这样的虚拟机或者编程语言就叫图灵完备的。当然图灵完备也可能因为陷入死循环而导致程序崩溃。

在某些场景中图灵完备需要限制语言,有循环执行语句,判断分支语句等。

举个例子,如果有人说,我的东西是图灵完备的,也就意味着理论上它能够用来解决任何计算性的问题。

此外,图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。

与图灵完备相反的是图灵不完备,图灵不完备应该是不允许或限制循环。可以保证,每段程序都不会死循环,都有运行完的时候。

比特币的脚本系统是图灵不完备的,而一些Token的智能合约系统是图灵完备的。

图灵完备和图灵不完备各有其优势,图灵不完备会更安全些,图灵完备会更智能些。

类似以太坊类似的图灵完备的脚本语言,包括了循环的逻辑。然而为了保持网络稳定性,Celes会对最大的循环次数做出一定限制。根据通用图灵机的概念,图灵完备就是现代编程语言所能拥有的,可以达到的冯诺伊曼体系结构所能达到的最高计算力。

一般来说,除了一部分脚本语言(如比特币自带的脚本语言)以外,大部分的计算机语言都是图灵完备的。使用图灵完备的脚本语言,可以在逻辑上做到和其他编程语言兼容,并在理论上能够实现任何其他语言所能实现的逻辑,以及最大限度的复制现实的商业逻辑。

Celes将会专门开发的一套脚本语言。这套脚本语言能提供“图灵完备”(Turing
Complete)的逻辑,还留有与现实法律合规兼容的功能,这样使开发者可以开发完整的逻辑。

此外,针对所编写的逻辑,Celes会进行运行该逻辑所消耗的计算机资源进行评估。开发好的商业逻辑交给虚拟机在去中心化的网络内自动运行。商业逻辑一旦生成,就不能被篡改。

本文部分内容来自互联网,如有疑问请与我们联系。

发布者:币侠,转转请注明出处:https://www.yfhhf.com/qukuai/31929.html

(0)
上一篇 2022年 11月 3日 上午4:25
下一篇 2022年 11月 3日 上午4:33

相关推荐

  • SLT币是什么?建议投资吗?

    slt农业实体资产代币化平台,通过区块链技术实现农业项目资金的募资,对于项目方来说确实是个不错的融资手段,考虑到政策监管严以及代币价格波动大等其他因素,真正落地的可能性小,而且代币的流动性也很差,不建议投资。 SLT,农业资产代币化平台 当前国内猪价飞涨,究其原因是因为供需失衡造成的,那么是否能借助区块链技术解决这种供需失衡的状态呢?为此,一个农业资产代币化…

    区块链 2022年 11月 24日
    1510
  • 币圈大梦对GT币的评级

    GT是gate也就是比特儿要发布的平台币,GT具有现在主流交易所平台币的大部分功能。 GT是2019年4月GATE在APP和推特中发布信息并宣传出去的,如果硬要说GT的热度那么我觉得GT可能是这一次IEO行情中的最大赢家,也就是起到一个完美收尾的IEO平台币。 此前国内的几大平台都推出了平台币,玩的如火如荼,Gate始终没参与,不过这次,直接放了个大招:平台…

    区块链 2022年 11月 8日
    1570
  • 优版权数字藏品交易的时候需要什么平台完成吗?点对点交易是什么意思

    在优出版权的理想化中,如果你配戴好元宇宙机器设备,你的模拟人物角色立刻会产生在Ulab元宇宙服务厅,小Q会当做你的专享在线客服,给你解疑释惑,产生最新资讯。在这儿,卡珊罗拉、孙小圣、孔子祖父、地底之地、小龙马等都将以子宇宙的方式存有,点一下对应的通道,你一瞬间就会置身于相对应的元宇宙全球,体会不一样的全球气氛。每一个子宇宙都是有自己的标准,例如在小龙马子宇宙…

    2022年 12月 29日
    2540
  • 东南亚数字货币论坛 金融科技、数字货币、易纲、李伟、井贤栋在陆家嘴论坛上说了些什么?

    6第十二届陆家嘴论坛于18日至19日在上海举行。许多政要和企业代表讨论了金融技术、人民币国有化、数字货币等话题。以下是一些来自移动支付网络的代表性选择。给读者的内容。上海正在成为金融科技中心易刚说,上海正在成为一个金融开放中心。世界上的国际金融中心必须是开放的。开放是吸引一流金融机构和一流金融人才的必要条件。近年来,上海金融对外开放步伐加快,许多国际知名金融…

    2023年 1月 22日
    1890
  • 区块链实名认证多少岁? 实名制OFID身份系统将区块链技术带向阳光

    众所周知,区块链比特币还是以太坊,区块链技术都将匿名性作为其固有标签之一。匿名在保护隐私方面起着重要作用,但它也是最肥沃的邪恶土壤。20175月12日,勒索病毒通过Eternal Love漏洞在世界各地爆发,感染了大量的计算机,植入了勒索病毒,导致大量的计算机文件被加密。受害者的计算机被黑客锁定后,病毒将提示支付300美元(约2069元)的比特币解锁。同样,…

    2022年 12月 28日
    3960

联系我们

不接风险内容

在线咨询: QQ交谈

工作时间:周一至周五,9:30-18:30,节假日休息

关注微信