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

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

第一問：圖靈是誰？

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

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

他被譽(yù)為計(jì)算機(jī)之父”。計(jì)算機(jī)界的最高獎圖靈獎”就以他的名字命名。

1999年《時(shí)代》周刊將圖靈評為二十世紀(jì)最重要的一百人”之一。因?yàn)?，今天我們每個(gè)人都工作在一臺圖靈機(jī)”上。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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