大家好,我是柯南,在之前介绍以太坊的视频中提到,V神在白皮书中描绘了以太坊的愿景,要打造一个新的图灵完备的区块链平台,让所有的开发者都能在这个平台上开发自己的区块链应用程序。做个类比,比特币就像是诺基亚,是功能机;而以太坊就像是IPhone,是智能机,可以在上面开发各种各样的应用。 那说到图灵完备这个词,可能有些朋友要懵逼了。说的简单些,能进行各种复杂编程计算的平台就是图灵完备的。说到这里,也少不了说一个人,没错,就是伟大的数学家、逻辑学家图灵。 图灵,1912年生于英国伦敦。二战爆发前夕,德国人采用了新式的密码机,这让英国人很头痛。那是一个动荡的年代,图灵决定为国服役,破译密码机。这么做不是因为他有多爱国,作为一个彻头彻尾地自由主义者,他一点不觉得哪个政府值得自己献身。他想的是,谋到一个好差事,不至于到战壕里当炮灰。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作,后协助军方破解了德国新式的密码机,帮助盟军取得了二战的胜利。因此,他也被称为计算机科学之父,人工智能之父。这一期视频就和大家深度聊一聊图灵完备。 图灵完备,在可计算性理论中,编程语言或任意其他的逻辑系统如果具有等用于通用图灵机的计算能力。也就是说,如果一系列操作数据的规则可以用来模拟单带图灵机,那么它就是图灵完备的。虽然图灵机会受到存储能力的物理限制,图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。简单来说,一切可计算的问题都能计算,这样的虚拟机或者编程语言就叫图灵完备的。当然,图灵完备也可能因为陷入死循环而导致程序崩溃。因为图灵完备保证的是计算的可行性,但并不保证计算的效率及代码的可理解性、可维护性。 一个图灵完备系统意味着在这个系统中写程序能够找到解决方法(尽管不保证运行时和内存)。在某些场景中图灵完备需要限制语言,有循环执行语句,判断分支语句等。因此,如果有人说,我的新东西是图灵完备的,意思是在原则上(尽管不是经常在实践上)它能够用来解决任何计算性的问题。这里举个例子,比如有人讲,我的东西是图灵完备的,也就是意味着在理论上这个东西能够用来解决任何计算性的问题。 与图灵完备相反的就是图灵不完备,图灵不完备指不允许或限制循环。也就是可以保证每段程序都不会死循环,都有运行完的时候。那图灵完备和图灵不完备各有其优势,图灵不完备会更安全些,图灵完备会更智能些。为什么这么说呢? 循环或递归受限、无法实现数组或更复杂的数据结构等都会影响图灵完备的实现。图灵完备的智能合约有较强的适应性,可以对逻辑较复杂的业务操作进行编程,也就是更加智能,但却有陷入死循环的可能。相较之下,图灵不完备的智能合约虽然不能进行复杂的逻辑操作,但更加简单、高效、和安全。 价值可编程是分布式总账技术的一个重要的本质属性,直接决定平台对业务逻辑的表达能力,具体体现在“智能合约”上面。比特币BTC的内置脚本表达能力是极为有限的,所以比特币的脚本系统是图灵不完备的。瑞波XRP目前不支持智能合约。比特股的智能合约在运用上有很多限制,并不能自定义,因此仍然是图灵不完备的。而以太坊支持智能合约且达到“图灵完备”程度。夸张点的话,我们可以归纳为大部分拥有智能合约的Token,系统都是图灵完备的。 大家是否已经理解了这个概念呢?如果还不理解的小伙伴可以再翻看之前以太坊的视频结合起来多多学习。 关注贝数区块链官方微博,进社群和我一起从小白变大神。声明:本文所发表资讯不代表本公司任何投资暗示,亦不构成任何投资意见或建议,图片来源网络,若存在侵权行为,请联系我们删除。
OKX Web3钱包现已接入Layer2网络Base:8月9日消息,OKX Web3钱包现已接入Layer2网络Base,并在Discover板块同步支持Base生态的DApp。此外,OKX Web3钱包还将于近期支持Base生态资产单链及跨链交易。[2023/8/9 21:34:27]
保时捷NFT铸造价格为每枚0.911ETH:1月20日,据官方消息,保时捷NFT铸造价格为每枚0.911ETH。
此前报道,保时捷NFT项目方公布的铸造日期为1月23日。[2023/1/20 11:23:40]
Paradigm:OFAC不应该要求区块链基础层参与者审查受制裁地址:金色财经报道,加密风险资本Paradigm在其官网发表文章探讨制裁和审查对区块链基础设施的影响。文章表示,美国财政部外国资产控制办公室(OFAC)不应该要求任何区块链基础层参与者审查受制裁的地址。此外,在基础层要求履行合规义务也会产生适得其反的国家安全影响,并将推动重要技术寻求离开美国本土发展,从而违背美国国家利益。[2022/9/9 13:20:10]
度小满区块链负责人李丰表示,未来区块链更大的市场是在数字化。我们知道区块链脱胎于比特币,它天然的适合于虚拟场景。使用技术来保证资产的所有权也好、流通也好、价值放大也好,区块链都能做的很好.
1900/1/1 0:00:00?高调的Libra引发全球关注,而低调的DCEP正在务实前行。DCEP本质和Libra完全不同:一个是想要做逐步去中心化的稳定币,一个是国家信用主权背书的法定数字货币.
1900/1/1 0:00:00了解区块链,从这里出发,更多详情,请查看《天天链讯》公众号(ID:Blockchain12345)宏观政策据21财经12月19日报道,《深圳市建设中国特色社会主义先行示范区的行动方案》印发实施.
1900/1/1 0:00:00尊敬的LOEx用户:LOEx国际站首发上线FEIT!并开放FEIT/USDT交易对具体时间如下:充币:12月30日16:00提币:12月30日18:00交易对:12月30日20:00注:未到充值.
1900/1/1 0:00:00尊敬的ZDCoin用户:经平台风控监测FDS、NPO、999动态指标不满足ZDCoin上币标准,为了保证交易币种的高标准.
1900/1/1 0:00:00据《福布斯》昨日报道,就在美国国会准备假期休会之际,2019年迎来了一个完美的句号。正因为美国立法者对Facebook推出Libra项目的重视,一项为包括加密货币在内的数字资产提供全面监管框架的.
1900/1/1 0:00:00