宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > Luna > 正文

贝数区块链科普视频 什么是区块链中的图灵完备?

作者:

时间:1900/1/1 0:00:00

  大家好,我是柯南,在之前介绍以太坊的视频中提到,V神在白皮书中描绘了以太坊的愿景,要打造一个新的图灵完备的区块链平台,让所有的开发者都能在这个平台上开发自己的区块链应用程序。做个类比,比特币就像是诺基亚,是功能机;而以太坊就像是IPhone,是智能机,可以在上面开发各种各样的应用。  那说到图灵完备这个词,可能有些朋友要懵逼了。说的简单些,能进行各种复杂编程计算的平台就是图灵完备的。说到这里,也少不了说一个人,没错,就是伟大的数学家、逻辑学家图灵。  图灵,1912年生于英国伦敦。二战爆发前夕,德国人采用了新式的密码机,这让英国人很头痛。那是一个动荡的年代,图灵决定为国服役,破译密码机。这么做不是因为他有多爱国,作为一个彻头彻尾地自由主义者,他一点不觉得哪个政府值得自己献身。他想的是,谋到一个好差事,不至于到战壕里当炮灰。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作,后协助军方破解了德国新式的密码机,帮助盟军取得了二战的胜利。因此,他也被称为计算机科学之父,人工智能之父。这一期视频就和大家深度聊一聊图灵完备。  图灵完备,在可计算性理论中,编程语言或任意其他的逻辑系统如果具有等用于通用图灵机的计算能力。也就是说,如果一系列操作数据的规则可以用来模拟单带图灵机,那么它就是图灵完备的。虽然图灵机会受到存储能力的物理限制,图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。简单来说,一切可计算的问题都能计算,这样的虚拟机或者编程语言就叫图灵完备的。当然,图灵完备也可能因为陷入死循环而导致程序崩溃。因为图灵完备保证的是计算的可行性,但并不保证计算的效率及代码的可理解性、可维护性。  一个图灵完备系统意味着在这个系统中写程序能够找到解决方法(尽管不保证运行时和内存)。在某些场景中图灵完备需要限制语言,有循环执行语句,判断分支语句等。因此,如果有人说,我的新东西是图灵完备的,意思是在原则上(尽管不是经常在实践上)它能够用来解决任何计算性的问题。这里举个例子,比如有人讲,我的东西是图灵完备的,也就是意味着在理论上这个东西能够用来解决任何计算性的问题。  与图灵完备相反的就是图灵不完备,图灵不完备指不允许或限制循环。也就是可以保证每段程序都不会死循环,都有运行完的时候。那图灵完备和图灵不完备各有其优势,图灵不完备会更安全些,图灵完备会更智能些。为什么这么说呢?  循环或递归受限、无法实现数组或更复杂的数据结构等都会影响图灵完备的实现。图灵完备的智能合约有较强的适应性,可以对逻辑较复杂的业务操作进行编程,也就是更加智能,但却有陷入死循环的可能。相较之下,图灵不完备的智能合约虽然不能进行复杂的逻辑操作,但更加简单、高效、和安全。  价值可编程是分布式总账技术的一个重要的本质属性,直接决定平台对业务逻辑的表达能力,具体体现在“智能合约”上面。比特币BTC的内置脚本表达能力是极为有限的,所以比特币的脚本系统是图灵不完备的。瑞波XRP目前不支持智能合约。比特股的智能合约在运用上有很多限制,并不能自定义,因此仍然是图灵不完备的。而以太坊支持智能合约且达到“图灵完备”程度。夸张点的话,我们可以归纳为大部分拥有智能合约的Token,系统都是图灵完备的。  大家是否已经理解了这个概念呢?如果还不理解的小伙伴可以再翻看之前以太坊的视频结合起来多多学习。  关注贝数区块链官方微博,进社群和我一起从小白变大神。声明:本文所发表资讯不代表本公司任何投资暗示,亦不构成任何投资意见或建议,图片来源网络,若存在侵权行为,请联系我们删除。

ETH 2.0总质押数已超1798.29万:金色财经报道,数据显示,ETH 2.0总质押数已超1798.29万,为17982920个,按当前市场价格,价值约326.02亿美元。此外,目前ETH 2.0质押总地址数已超57.82万,为578227个。[2023/4/6 13:48:08]

流出电邮显示多位FTX董事来自美CFTC:12月26日报道,流出的电子邮件显示,多位 FTX 董事来自美国商品期货交易委员会(CFTC),比如 FTX 总法律顾问 Ryne Miller 之前是 Gary Gensler 的法律顾问,Gary Gensler 时任 CFTC 主席,现任美国证券交易委员会主席;FTX 政策和监管策略前负责人、FTX 子公司 LedgerX 现任董事 Mark Wetjen 曾担任 CFTC 代理主席和委员;前 CFTC 委员 Jill Sommers 也是 FTX 董事会成员。

Ryne Miller 还帮助安排 SBF 与前 CFTC 专员 Dan Berkovitz 会面并共进晚餐,后者目前担任美国证券交易委员会总法律顾问。[2022/12/27 22:09:28]

马斯克:尽管希望获取有关潜在垃圾邮件和虚假账户的信息,但计划和提议没有改变:7月14日消息,马斯克向美国证券交易委员会表示,尽管他希望获取有关潜在垃圾邮件和虚假账户的信息,但他当时的计划和提议没有改变,将注意13D-2规则的要求,并将修改13D文件以反映所列事实的重大变化。[2022/7/14 2:14:00]

标签:CFTFTXFTC以太坊CFTY价格Coinbase Pre-IPO tokenized stock FTXFTcoin以太坊交易一次多少手续费

Luna热门资讯
区块链技术的实际应用一 真想为它点赞

任何一项牛逼的技术都不是靠吹出来的,我们都是靠数据说话的,要说区块链的技术行不行,那么我们得看它的实际应用才行,现在就来看看区块链技术的实际应用一有哪些.

1900/1/1 0:00:00
逸乐安知与祸双——集群刷算力 出块的圣战背后的是与非

北京时间2019年12月12日1:55,Filecoin官方技术负责人Why在Slack上发布消息:Filecoin测试网正式启动。随后众多节点都投入到测试网的测试当中,官方表示:只有有效存储累计超过512GB才会体现在算力表上.

1900/1/1 0:00:00
炒币是否还能为玩家们创造财富?

炒币是近年来比较火的一个现象,在币圈里面很多人都想一夜暴富,更是因为这个原因致使越来越多的人开始炒币。币圈的变动相信大家也都是清楚,变化那叫一个快.

1900/1/1 0:00:00
KuCoin已完成Credits (CS)主网升级换币

亲爱的KuCoin用户KuCoin宣布已完成Credits(CS)主网升级换币工作,现已开放充值和提现服务。重要提醒:*CS已升级为主网币CS,请进入充值页面申请主网币CS充值地址.

1900/1/1 0:00:00
FUBT关于支持ETH硬分叉升级的公告

尊敬的FUBT用户: 根据ETH(Ethereum)官方计划,ETH将于区块高度达到9,200,000时,预计2020年1月2日16:00进行MuirGlacier硬分叉升级,FUBT将支持本次硬分叉升级.

1900/1/1 0:00:00
盘点IPFS/FIL的2019十大事件,做投资我们是认真的

2019年的最后一天,IPFS原力区为大家总结了2019·Filecoin网络十大事件。一、Filecoin代码开源go-filecoin版本上线2019年2月14日,Filecoin开发团队在情人节这天突然宣布Filecoin项目代.

1900/1/1 0:00:00