比特幣腳本語言是圖靈完備的嗎
① 比特幣源碼是什麼語言
開源軟體，詳見：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.)
圖靈等價：一個圖靈完備的系統被稱為圖靈等價的，如果任何它可以計算的函數也是圖靈可計算的。也就是它可計算的函數和圖靈機可計算的函數是完全相同的。換句話說，就是圖靈等價的系統就是能模擬通用圖靈機同時也能也被通用圖靈機模擬的系統。（所有已知的圖靈完備的系統都是圖靈等價的，這增加了對丘奇-圖靈論題的支持）
通過上面的分析，我們就可以清楚的知道這兩個詞的意思和關系了。圖靈等價有兩個意思，一個是指兩個計算系統在可計算性上計算能力相同；另一個，也是常用的一個就是指一個系統的計算能力與通用圖靈機計算能力相同（在可計算性的意義上）。而圖靈完備是指能夠模擬通用圖靈機的計算系統。而所有已知的圖靈完備的系統都是圖靈等價的，這也增加了對丘奇-圖靈論題的支持。因此，在現有的計算機系統（編程語言、指令集等）上，使用圖靈等價和圖靈完備是一個意思。