關于“圖靈完備”的一些簡單科普

九九重陽一到,這一年又過了大半,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開發者創造了一個技術實現的天堂。

(文章內容部分參考網友們的文獻)

?著作權歸作者所有,轉載或內容合作請聯系作者
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 227,533評論 6 531
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,055評論 3 414
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事?!?“怎么了?”我有些...
    開封第一講書人閱讀 175,365評論 0 373
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 62,561評論 1 307
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,346評論 6 404
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 54,889評論 1 321
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 42,978評論 3 439
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,118評論 0 286
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 48,637評論 1 333
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,558評論 3 354
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 42,739評論 1 369
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,246評論 5 355
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 43,980評論 3 346
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,362評論 0 25
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 35,619評論 1 280
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,347評論 3 390
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 47,702評論 2 370

推薦閱讀更多精彩內容