比特币脚本语言是图灵完备的吗
① 比特币源码是什么语言
开源软件，详见：https://github.com/bitcoin/bitcoin/
以太坊也是区块链2.0的产物，它是一个开放的智能合约完整解决方案。比特币是区块链1.0最重要的运用，很好地完成了货币和支付交易。但是当我们需要记录和转移更多复杂的资产类型时，我们就需要第三步——更强大的脚本系统——最终实现图灵完备（能够运行任何货币、协议和区块链）。以太坊就是一个区块链为基础的项目，旨在提供一个图灵完备脚本语言和图灵完备平台。
区块链1.0主要是指比特币，区块链2.0延伸到一切资产，而区块链3.0则超越了货币，超越了金融领域，甚至超越了商业领域，延伸到一切领域，渗透到我们生活的方方面面，包括政治、社交、教育、医疗等。按照行内人士的预测和构想，区块链3.0时代在未来5年将会得以实现，那时，区块链将变得和互联网一样被所有大众认知和接受，从而全面颠覆我们的生活。
麦肯锡公司向美国联邦保险咨询委员会提交了一份区块链技术报告，报告把2009年至2016年称为“黑暗时代”，认为此期间所有区块链解决方案都基于比特币，而区块链的新时代将从2016年开始。届时，区块链的应用将变得空前广泛。应用麦肯锡报告中的一句原话：基于区块链目前的发展速度，我们认为区块链解决方案也许会在未来5年实现全部潜力。
③ 区块链是否能做到图灵完备
图灵完备原本是来自计算机的概念，是程序员编写的各种代码语言，再加上一种能在图灵机这种虚拟机中完美地运算的运算规则，因此满足这样要求的逻辑系统、装置或者编程语言就叫图灵完备。比特币虽然安全，但是在其系统上不能开发复杂的逻辑程序，这就使得早些年区块链的落地场景和应用十分少。而随着区块链的发展，这些需求不断提上议事日程，人们开始逐渐需要能够支持区块链应用开发运行的系统出现，于是区块链就引入了图灵完备的概念。
在比特币之后，为了能实现更丰富的功能和使用场景，一些图灵完备的区块链系统应运而生。这是我一个在煊凌科技的朋友告诉我的，很不错很厉害
④ 如何证明一门编程语言是图灵完备的
一切可计算的问题都能计算，这样的虚拟机或者编程语言就叫图灵完备的。 一个能计算出每个图灵可计算函数（Turing-computable function）的计算系统被称为图灵完备的。一个语言是图灵完备的，意味着该语言的计算能力与一个通用图灵机 （Universal Turing Machine）相当，这也是现代计算机语言所能拥有的最高能力。 图灵完备是什么意思呢？ 在可计算理论中，当一组数据操作的规则（一组指令集，编程语言，或者元胞自动机）满足任意数据按照一定的顺序可以计算出结果，被称为图灵完备（turing complete）。一个有图灵完备指令集的设备被定义为通用计算机。如果是图灵完备的，它（计算机设备）有能力执行条件跳转（“if” 和 “goto”语句）以及改变内存数据。 如果某个东西展现出了图灵完备，它就有能力表现出可以模拟原始计算机，而即使最简单的计算机也能模拟出最复杂的计算机。所有的通用编程语言和现代计算机的指令集都是图灵完备的（C++ template就是图灵完备的），都能解决内存有限的问题。图灵完备的机器都被定义有无限内存，但是机器指令集却通常定义为只工作在特定的，有限数量的RAM上。
⑤ 智能合约是什么
智能合约"(smart contract)这个术语至少可以追溯到1995年，是由多产的跨领域法律学者尼克·萨博(Nick Szabo)提出来的。他在发表在自己的网站的几篇文章中提到了智能合约的理念。他的定义如下:
"一个智能合约是一套以数字形式定义的承诺(promises)，包括合约参与方可以在上面执行这些承诺的协议。"
让我们更加详细地探讨他的定义的意思。
承诺
一套承诺指的是合约参与方同意的(经常是相互的)权利和义务。这些承诺定义了合约的本质和目的。以一个销售合约为典型例子。卖家承诺发送货物，买家承诺支付合理的货款。
数字形式
数字形式意味着合约不得不写入计算机可读的代码中。这是必须的，因为只要参与方达成协定，智能合约建立的权利和义务，是由一台计算机或者计算机网络执行的。
更进一步地说明:
(1)达成协定
智能合约的参与方什么时候达成协定呢?答案取决于特定的智能合约实施。一般而言，当参与方通过在合约宿主平台上安装合约，致力于合约的执行时，合约就被发现了。
(2)合约执行
"执行"的真正意思也依赖于实施。一般而言，执行意味着通过技术手段积极实施。
(3)计算机可读的代码
另外，合约需要的特定"数字形式"非常依赖于参与方同意使用的协议。
协议
协议是技术实现(technical implementation)，在这个基础上，合约承诺被实现，或者合约承诺实现被记录下来。选择哪个协议取决于许多因素，最重要的因素是在合约履行期间，被交易资产的本质。
再次以销售合约为例。假设，参与方同意货款以比特币支付。选择的协议很明显将会是比特币协议，在此协议上，智能合约被实施。因此，合约必须要用到的"数字形式"就是比特币脚本语言。比特币脚本语言是一种非图灵完备的、命令式的、基于栈的编程语言，类似于Forth。
⑥ 虚拟货币都是搞非法集资的吗除了比特币之外，还有没有其他正规的币种
非法集资的都不是真正的虚拟货币，骗人的“虚拟货币”有一个很显著的特点就是投资收益的单边上涨，真正的虚拟货币总量有限，价格波动，有涨有跌，但非法集资骗局下的虚拟货币价格往往单边上涨，投资者账面的资产一直在增值，可一旦骗局无法继续下去，这些假的虚拟货币就一文不值，投资者血本无归。目前除了比特币之外，还有ETH以太坊、USDT泰达币、INMI英迈币等正规币种。
⑦ 如何理解区块链的智能合约
智能合约”（smart contract）这个术语至少可以追溯到1995年，是由多产的跨领域法律学者尼克·萨博（Nick Szabo）提出来的。他在发表在自己的网站的几篇文章中提到了智能合约的理念。他的定义如下：
“一个智能合约是一套以数字形式定义的承诺（promises），包括合约参与方可以在上面执行这些承诺的协议。”
让我们更加详细地探讨他的定义的意思。
承诺
一套承诺指的是合约参与方同意的（经常是相互的）权利和义务。这些承诺定义了合约的本质和目的。以一个销售合约为典型例子。卖家承诺发送货物，买家承诺支付合理的货款。
数字形式
数字形式意味着合约不得不写入计算机可读的代码中。这是必须的，因为只要参与方达成协定，智能合约建立的权利和义务，是由一台计算机或者计算机网络执行的。
更进一步地说明：
（1）达成协定
智能合约的参与方什么时候达成协定呢？答案取决于特定的智能合约实施。一般而言，当参与方通过在合约宿主平台上安装合约，致力于合约的执行时，合约就被发现了。
（2）合约执行
“执行”的真正意思也依赖于实施。一般而言，执行意味着通过技术手段积极实施。
（3）计算机可读的代码
另外，合约需要的特定“数字形式”非常依赖于参与方同意使用的协议。
协议
协议是技术实现（technical implementation），在这个基础上，合约承诺被实现，或者合约承诺实现被记录下来。选择哪个协议取决于许多因素，最重要的因素是在合约履行期间，被交易资产的本质。
再次以销售合约为例。假设，参与方同意货款以比特币支付。选择的协议很明显将会是比特币协议，在此协议上，智能合约被实施。因此，合约必须要用到的“数字形式”就是比特币脚本语言。比特币脚本语言是一种非图灵完备的、命令式的、基于栈的编程语言，类似于Forth。
智能合约
链乔教育在线旗下学硕创新区块链技术工作站是中国教育部学校规划建设发展中心开展的“智慧学习工场2020-学硕创新工作站 ”唯一获准的“区块链技术专业”试点工作站。专业站立足为学生提供多样化成长路径，推进专业学位研究生产学研结合培养模式改革，构建应用型、复合型人才培养体系。
⑧ 什么是以太坊系统
以太坊项目借鉴了比特币区块链的技术，对它的应用范围进行了扩展。如果说比特币是利用区块链技术的专用计算器，那么以太坊就是利用区块链技术的通用计算机。简单地讲，以太坊 = 区块链 + 智能合约。
与比特币相比，以太坊最大的不同点是：它可以支持更加强大的脚本语言（用技术语言讲就是图灵完备的脚本语言），允许开发者在上面开发任意应用，实现任意智能合约，这也是以太坊的最强大之处。作为平台，以太坊可以类比于苹果的应用商店，任何开发者都可以在上面开发应用，并出售给用户。每一类金融合约都可以程序代码的形式写成智能合约。
链乔教育在线旗下学硕创新区块链技术工作站是中国教育部学校规划建设发展中心开展的“智慧学习工场2020-学硕创新工作站 ”唯一获准的“区块链技术专业”试点工作站。专业站立足为学生提供多样化成长路径，推进专业学位研究生产学研结合培养模式改革，构建应用型、复合型人才培养体系。
⑨ 从PHP与Python的语言比较去了解什么是图灵完备
从非常严格的理论角度来说，答案是：没有。因为PHP和Python都是图灵完备(Turing complete)的语言，所以理论上你找不到一个Python能做到而PHP做不到的事情。
可图灵指在可计算性理论中，编程语言或任意其他的逻辑系统如具有等用于通用图灵机的计算能力。换言之，此系统可与通用图灵机互相模拟。这个词源于引入图灵机概念的数学家艾倫·图灵（Alan Turing）。
虽然图灵机会受到存储能力的物理限制，图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。
简单来说，一切可计算的问题都能计算，这样的虚拟机或者编程语言就叫图灵完备的。
图灵等价02Turing equivalence02和图灵完备02Turing completeness
经常在讲编程语言的书或文章里面看到图灵等价（Turing equivalence）和图灵完备(Turing completeness)，但却不知道这两个词的精确含义和区别。尤其是很多书或文章经常对这两个词进行混用，我就很疑惑这两个词是不是就是一个意思。我用Google搜索了一下，很遗憾的是中文结果基本没用，只有一篇网络空间里面转载的一个外国人写的文章，还是全英文的，简单看了下感觉写得不怎么清楚，就查了下英文维基网络。言归正传，下面先看看维基网络的两段话：
In02computability theory, a system of data-manipulation rules (such as an02instruction set, a02programming language, or a02cellular automaton) is said to beTuring complete02or02computationally universal02if and only if02it can be used to simulate any single-taped02Turing machine02and thus in principle anycomputer.
在可计算理论里，一个数据操作规则的系统（比如：指令集、编程语言、细胞自动机）被称作图灵完备或者通用计算的，当且仅当它可以被用来模拟单带图灵机。
In computability theory, there is a closely related concept known as Turing equivalence. Two computers P and Q are called Turing equivalent if P can simulate Q and Q can simulate P. Thus, a Turing-complete system is one that can simulate a Turing machine, but the term is most often used to mean Turing equivalent to a Turing machine.02
在可计算理论里，有一个很相关的概念叫图灵等价。当计算机 P 和计算机 Q 是图灵等价的，当P可以模拟Q而且Q也可以模拟P。因此，一个图灵完备的系统可以模拟图灵机，但是这个术语（即图灵等价）常常被用来指与图灵机等价。
然后我们再来看看在可计算理论中，这两个词的正式定义：
Turing completeness：A computational system that can compute every Turing-computable function02is called Turing complete (or Turing powerful). Alternatively, such a system is one that can simulate a02universal Turing machine.
Turing equivalence：A Turing-complete system is called Turing equivalent if every function it can compute is also Turing computable; i.e., it computes precisely the same class of functions as do02Turing machines. Alternatively, a Turing-equivalent system is one that can simulate, and be simulated by, a universal Turing machine. (All known Turing-complete systems are Turing equivalent, which adds support to the02Church–Turing thesis.)
图灵等价：一个图灵完备的系统被称为图灵等价的，如果任何它可以计算的函数也是图灵可计算的。也就是它可计算的函数和图灵机可计算的函数是完全相同的。换句话说，就是图灵等价的系统就是能模拟通用图灵机同时也能也被通用图灵机模拟的系统。（所有已知的图灵完备的系统都是图灵等价的，这增加了对丘奇-图灵论题的支持）
通过上面的分析，我们就可以清楚的知道这两个词的意思和关系了。图灵等价有两个意思，一个是指两个计算系统在可计算性上计算能力相同；另一个，也是常用的一个就是指一个系统的计算能力与通用图灵机计算能力相同（在可计算性的意义上）。而图灵完备是指能够模拟通用图灵机的计算系统。而所有已知的图灵完备的系统都是图灵等价的，这也增加了对丘奇-图灵论题的支持。因此，在现有的计算机系统（编程语言、指令集等）上，使用图灵等价和图灵完备是一个意思。