九九重陽一到,這一年又過了大半,2018還剩不到100天,你的小計劃、大目標完成了多少,英語單詞書是不是還停留在“Abandon”這一頁。
不要焦慮,因為區塊鏈的飯局才進行到一半、路走到一半、電影還沒有進入高潮,這都是最美的時候,就像夏天一樣,最茂盛,最熱烈,所以,也最值得熱愛。
??希望大家一直處在熱愛里!
大家都知道SERO是:【全球首個使用零知識證明支持加密圖靈完備智能合約分布式平臺】
那今天就來跟大家聊聊其中的“圖靈完備”
第一個問題:圖靈是誰?
艾倫·麥席森·圖靈(Alan Mathison Turing,1912年6月23日-1954年6月7日),英國數學家、邏輯學家,被稱為計算機科學之父,人工智能之父。
在計算機的世界中,圖靈聲名赫赫,是大神級的存在。
他被譽為“計算機之父”。計算機界的最高獎“圖靈獎”就以他的名字命名。
1999年《時代》周刊將圖靈評為“二十世紀最重要的一百人”之一。因為,今天我們每個人都工作在一臺“圖靈機”上。
圖靈更為傳奇的故事發生在第二次世界大戰。
他成功破譯了納粹德國復雜嚴密的密碼系統,讓希特勒的戰爭部署赤裸裸暴露在盟軍面前。
可以說,他用自己的天才,改變了整個英國、乃至全人類的命運走向。
第二個問題:圖靈完備是什么意思?
圖靈完備性(Turing Completeness)是針對一套數據操作規則而言的概念。數據操作規則可以以是一門編程語言,也可以是計算機里具體實現了的指令集,當這套規則可以實現圖靈模型里的全部功能時,就稱它具有圖靈完備性。直白一點點說,圖靈完備性就是我給你一工具箱的東西,包括無限內存、if/else控制流、while循環。。。那么你現在圖靈完備了嗎?
第三個問題:圖靈完備vs圖靈不完備?
圖靈完備意味著你的語言可以做到“能夠用圖靈機能做到的”所有事情,可以解決所有的可計算問題。圖靈不完備也不是沒有意義, 有些場景我們需要限制語言本身. 如限制循環和遞歸, 可以保證該語言能寫的程序一定是終止的。理解一下,就是說圖靈完備的語言,有循環執行語句,判斷分支語句等。理論上能解決任何算法。但有可能進入死循環而程序崩潰。圖靈不完備,應該是不允許或限制循環。可以保證,每段程序都不會死循環,都有運行完的時候。
第四個問題:什么是圖靈完備的“智能合約”?
比特幣的腳本系統是圖靈不完備的,而一些Token的智能合約系統是圖靈完備的。
現實世界的需求是極其龐雜的,為了滿足未來將區塊鏈技術應用于更多場景的可能需要,比特幣腳本語言是遠遠不夠的。這也是為什么以以太坊為代表的區塊鏈技術,都宣稱自己所采用的“智能合約”語言是圖靈完備的主要原因。
所以以太坊朝著這個目標在前進,也正是由于這個平臺的強大,目前基于以太坊開發的區塊鏈應用越來越多。為什么呢?通過上面的介紹就知道,以太坊的“智能合約”語言是圖靈完備的,而圖靈完備的編程語言可以實現所有以前一個編程語言在單機上實現的功能,也即能盡最大限度滿足現實應用場景的開發。
SERO和以太坊同樣實現了圖靈完備的“智能合約”,而不一樣的在于SERO在基于以太坊的現有功能上增添了信息隱私保護功能,這一塊是目以太坊做不到的。關于SERO是如何做到“隱私保護”咱們下節課再聊!
從上我們有理由相信,SERO的技術團隊為區塊鏈行業打開了另一個風口,那就是支持加密圖靈完備智能合約分布式平臺。為DAPP開發者創造了一個技術實現的天堂。
(文章內容部分參考網友們的文獻)