文章阅读页通栏

SERO小课堂之「图灵完备」

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

今天就来跟大家聊聊其中的“图灵完备”

第一问:图灵是谁?

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

在计算机的世界中,图灵声名赫赫,是大神级的存在。
他被誉为“计算机之父”。计算机界的最高奖“图灵奖”就以他的名字命名。
1999年《时代》周刊将图灵评为“二十世纪最重要的一百人”之一。因为,今天我们每个人都工作在一台“图灵机”上。
图灵更为传奇的故事发生在第二次世界大战。
他成功破译了纳粹德国复杂严密的密码系统,让希特勒的战争部署赤裸裸暴露在盟军面前。
可以说,他用自己的天才,改变了整个英国、乃至全人类的命运走向。

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

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

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

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

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

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

图灵不完备,应该是不允许或限制循环??梢员V?,每段程序都不会死循环,都有运行完的时候。

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

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

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

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

SERO和以太坊同样实现了图灵完备的“智能合约”,而不一样的在于SERO在基于以太坊的现有功能上增添了信息隐私?;すδ?,这一块是目以太坊做不到的。关于SERO是如何做到“隐私?;ぁ痹勖窍陆诳卧倭?!

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


更多区块链信息:www.qukuaiwang.com.cn/news

关键词: SERO  图灵完备  智能合约  
0/300
? 上海助孕网 | 广州代孕 | 高鹰代孕 | 看狗网 | 鹤壁新闻资讯网 | 湛江新闻资讯网 | 加勒比看书 | 济南代怀孕 | 深圳代孕 | 武汉途欣悦买卖卵子 |
  • 新疆沙湾纺织服装产业日新月异
  • 大力弘扬改革开放精神
  • 陈涛:物联网技术与商业模式融合才能创造更多价值
  • “金融消费者权益日” 南通交行在行动
  • 不止于味 中盐金坛家用盐新品上线
  • 盛茂林:促进新时代政协工作提质增效
  • 帕拉庄园:西藏农奴社会的现代记忆
  • 抗战影片《榆社1945》开机拍摄
  • 触目惊心!叙利亚8岁女童瘦到皮包骨
  • 新华社评论员:深刻把握新时代的历史方位——三论学习贯彻党的十九大精神
  • 庆阳剪纸:传统文化与新时代内涵融合发展
  • 东昌府区牵紧项目牛鼻子 唱响实干最强音
  • “桐祭·祈愿”主题班会上,3000只纸鹤祈愿和平
  • 中信银行:信银理财争取成为第一批落地的股份行理财子公司
  • 太原市消协发布消费警示:买空调时要注重实用与节能