SERO小課堂之「圖靈完備」

買賣虛擬貨幣
大家都知道SERO超零協議是:全球首個使用零知識證明技術實現隱私保護,支援圖靈完備智慧合約執行的分散式平臺,那麼到底什麼是“圖靈完備呢”?今天就來跟大家聊聊其中的“圖靈完備”第一問:圖靈是誰?

艾倫·麥席森·圖靈(Alan Mathison Turing,1912年6月23日-1954年6月7日),英國數學家、邏輯學家,被稱為電腦科學之父,人工智慧之父。

在計算機的世界中,圖靈聲名赫赫,是大神級的存在。
他被譽為“計算機之父”。計算機界的最高獎“圖靈獎”就以他的名字命名。
1999年《時代》週刊將圖靈評為“二十世紀最重要的一百人”之一。因為,今天我們每個人都工作在一臺“圖靈機”上。
圖靈更為傳奇的故事發生在第二次世界大戰。
他成功破譯了納粹德國複雜嚴密的密碼系統,讓希特勒的戰爭部署赤裸裸暴露在盟軍面前。
可以說,他用自己的天才,改變了整個英國、乃至全人類的命運走向。

第二問:圖靈完備是什麼意思?

圖靈完備性(Turing Completeness)是針對一套資料操作規則而言的概念。資料操作規則可以是一門程式語言,也可以是計算機裡具體實現了的指令集,當這套規則可以實現圖靈模型裡的全部功能時,就稱它具有圖靈完備性。直白一點點說,圖靈完備性就是我給你一工具箱的東西,包括無限記憶體、if/else控制流、while迴圈。。。那麼你現在圖靈完備了嗎?

第三問:圖靈完備vs圖靈不完備?

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

圖靈不完備也不是沒有意義, 有些場景我們需要限制語言本身。如限制迴圈和遞迴, 可以保證該語言能寫的程式一定是終止的。

理解一下,就是說圖靈完備的語言,有迴圈執行語句,判斷分支語句等。理論上能解決任何演算法。但有可能進入死迴圈而程式崩潰。

圖靈不完備,應該是不允許或限制迴圈。可以保證,每段程式都不會死迴圈,都有執行完的時候。

第四問:什麼是圖靈完備的智慧合約?

比特幣的指令碼系統是圖靈不完備的,而一些Token的智慧合約系統是圖靈完備的。

現實世界的需求是極其龐雜的,為了滿足未來將區塊鏈技術應用於更多場景的可能需要,比特幣指令碼語言是遠遠不夠的。這也是為什麼以以太坊為代表的區塊鏈技術,都宣稱自己所採用的“智慧合約”語言是圖靈完備的主要原因。

所以以太坊朝著這個目標在前進,也正是由於這個平臺的強大,目前基於以太坊開發的區塊鏈應用越來越多。為什麼呢?透過上面的介紹就知道,以太坊的“智慧合約”語言是圖靈完備的,而圖靈完備的程式語言可以實現所有以前一個程式語言在單機上實現的功能,也即能盡最大限度滿足現實應用場景的開發。

SERO和以太坊同樣實現了圖靈完備的“智慧合約”,而不一樣的在於SERO在基於以太坊的現有功能上增添了資訊隱私保護功能,這一塊是目以太坊做不到的。關於SERO是如何做到“隱私保護”咱們下節課再聊!

從上我們有理由相信,SERO的技術團隊為區塊鏈行業開啟了另一個風口,那就是支援加密圖靈完備智慧合約分散式平臺。為DAPP開發者創造了一個技術實現的天堂。


更多區塊鏈資訊:www.qukuaiwang.com.cn/news

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;