大家都知道SERO超零協(xié)議是：全球首個使用零知識證明技術(shù)實現(xiàn)隱私保護，支持圖靈完備智能合約運行的分布式平臺，那么到底什么是圖靈完備呢”？

今天就來跟大家聊聊其中的圖靈完備”

第一問：圖靈是誰？

艾倫·麥席森·圖靈（Alan Mathison Turing，1912年6月23日-1954年6月7日），英國數(shù)學(xué)家、邏輯學(xué)家，被稱為計算機科學(xué)之父，人工智能之父。

在計算機的世界中，圖靈聲名赫赫，是大神級的存在。

他被譽為計算機之父”。計算機界的最高獎圖靈獎”就以他的名字命名。

1999年《時代》周刊將圖靈評為二十世紀最重要的一百人”之一。因為，今天我們每個人都工作在一臺圖靈機”上。

圖靈更為傳奇的故事發(fā)生在第二次世界大戰(zhàn)。

他成功破譯了納粹德國復(fù)雜嚴密的密碼系統(tǒng)，讓希特勒的戰(zhàn)爭部署赤裸裸暴露在盟軍面前。

可以說，他用自己的天才，改變了整個英國、乃至全人類的命運走向。

第二問：圖靈完備是什么意思？

圖靈完備性（Turing Completeness）是針對一套數(shù)據(jù)操作規(guī)則而言的概念。數(shù)據(jù)操作規(guī)則可以是一門編程語言，也可以是計算機里具體實現(xiàn)了的指令集，當這套規(guī)則可以實現(xiàn)圖靈模型里的全部功能時，就稱它具有圖靈完備性。直白一點點說，圖靈完備性就是我給你一工具箱的東西，包括無限內(nèi)存、if/else控制流.while循環(huán)。。。那么你現(xiàn)在圖靈完備了嗎？

第三問：圖靈完備vs圖靈不完備？

圖靈完備意味著你的語言可以做到能夠用圖靈機能做到的”所有事情，可以解決所有的可計算問題。

圖靈不完備也不是沒有意義, 有些場景我們需要限制語言本身。如限制循環(huán)和遞歸, 可以保證該語言能寫的程序一定是終止的。

理解一下，就是說圖靈完備的語言，有循環(huán)執(zhí)行語句，判斷分支語句等。理論上能解決任何算法。但有可能進入死循環(huán)而程序崩潰。

圖靈不完備，應(yīng)該是不允許或限制循環(huán)。可以保證，每段程序都不會死循環(huán)，都有運行完的時候。

第四問：什么是圖靈完備的智能合約？

比特幣的腳本系統(tǒng)是圖靈不完備的，而一些Token的智能合約系統(tǒng)是圖靈完備的。

現(xiàn)實世界的需求是極其龐雜的，為了滿足未來將區(qū)塊鏈技術(shù)應(yīng)用于更多場景的可能需要，比特幣腳本語言是遠遠不夠的。這也是為什么以以太坊為代表的區(qū)塊鏈技術(shù)，都宣稱自己所采用的智能合約”語言是圖靈完備的主要原因。

所以以太坊朝著這個目標在前進，也正是由于這個平臺的強大，目前基于以太坊開發(fā)的區(qū)塊鏈應(yīng)用越來越多。為什么呢？通過上面的介紹就知道，以太坊的智能合約”語言是圖靈完備的，而圖靈完備的編程語言可以實現(xiàn)所有以前一個編程語言在單機上實現(xiàn)的功能，也即能盡最大限度滿足現(xiàn)實應(yīng)用場景的開發(fā)。

SERO和以太坊同樣實現(xiàn)了圖靈完備的智能合約”，而不一樣的在于SERO在基于以太坊的現(xiàn)有功能上增添了信息隱私保護功能，這一塊是目以太坊做不到的。關(guān)于SERO是如何做到隱私保護”咱們下節(jié)課再聊!

從上我們有理由相信，SERO的技術(shù)團隊為區(qū)塊鏈行業(yè)打開了另一個風(fēng)口，那就是支持加密圖靈完備智能合約分布式平臺。為DAPP開發(fā)者創(chuàng)造了一個技術(shù)實現(xiàn)的天堂。