什么是區(qū)塊鏈中的圖靈完備?(區(qū)塊鏈圖靈完備是什么意思)
摘要: V神在白皮書中描繪了以太坊的愿景,要打造一個新的圖靈完備的區(qū)塊鏈平臺,讓所有的開發(fā)者都能在這個平臺上開發(fā)自己的區(qū)塊鏈應(yīng)用程序。那什么是圖靈完備呢?今天貝數(shù)區(qū)塊鏈就和大家一起聊聊圖靈完備。大家對于區(qū)塊鏈行業(yè)有什么想要了解的知識點,歡迎留言參與討論!
大家好,我是柯南,在之前介紹以太坊的視頻中提到,V神在白皮書中描繪了以太坊的愿景,要打造一個新的圖靈完備的區(qū)塊鏈平臺,讓所有的開發(fā)者都能在這個平臺上開發(fā)自己的區(qū)塊鏈應(yīng)用程序。做個類比,比特幣就像是諾基亞,是功能機;而以太坊就像是IPhone,是智能機,可以在上面開發(fā)各種各樣的應(yīng)用。
那說到圖靈完備這個詞,可能有些朋友要懵逼了。說的簡單些,能進行各種復雜編程計算的平臺就是圖靈完備的。說到這里,也少不了說一個人,沒錯,就是偉大的數(shù)學家、邏輯學家圖靈。
圖靈,1912年生于英國倫敦。二戰(zhàn)爆發(fā)前夕,德國人采用了新式的密碼機,這讓英國人很頭痛。那是一個動蕩的年代,圖靈決定為國服役,破譯密碼機。這么做不是因為他有多愛國,作為一個徹頭徹尾地自由主義者,他一點不覺得哪個政府值得自己獻身。他想的是,謀到一個好差事,不至于到戰(zhàn)壕里當炮灰。由于破譯工作的需要,他參與了世界上最早的電子計算機的研制工作,后協(xié)助軍方破解了德國新式的密碼機,幫助盟軍取得了二戰(zhàn)的勝利。因此,他也被稱為計算機科學之父,人工智能之父。
這一期視頻就和大家深度聊一聊圖靈完備。
圖靈完備,在可計算性理論中,編程語言或任意其他的邏輯系統(tǒng)如果具有等用于通用圖靈機的計算能力。也就是說,如果一系列操作數(shù)據(jù)的規(guī)則(如指令集、編程語言、細胞自動機等)可以用來模擬單帶圖靈機,那么它就是圖靈完備的。雖然圖靈機會受到存儲能力的物理限制,圖靈完全性通常指具有無限存儲能力的通用物理機器或編程語言。簡單來說,一切可計算的問題都能計算,這樣的虛擬機或者編程語言就叫圖靈完備的。當然,圖靈完備也可能因為陷入死循環(huán)而導致程序崩潰。因為圖靈完備保證的是計算的可行性,但并不保證計算的效率及代碼的可理解性、可維護性。
一個圖靈完備系統(tǒng)意味著在這個系統(tǒng)中寫程序能夠找到解決方法(盡管不保證運行時和內(nèi)存)。在某些場景中圖靈完備需要限制語言,有循環(huán)執(zhí)行語句,判斷分支語句等。因此,如果有人說,我的新東西是圖靈完備的,意思是在原則上(盡管不是經(jīng)常在實踐上)它能夠用來解決任何計算性的問題。這里舉個例子,比如有人講,我的東西是圖靈完備的,也就是意味著在理論上這個東西能夠用來解決任何計算性的問題。
與圖靈完備相反的就是圖靈不完備,圖靈不完備指不允許或限制循環(huán)。也就是可以保證每段程序都不會死循環(huán),都有運行完的時候。
那圖靈完備和圖靈不完備各有其優(yōu)勢,圖靈不完備會更安全些,圖靈完備會更智能些。為什么這么說呢?
循環(huán)或遞歸受限、無法實現(xiàn)數(shù)組或更復雜的數(shù)據(jù)結(jié)構(gòu)等都會影響圖靈完備的實現(xiàn)。圖靈完備的智能合約有較強的適應(yīng)性,可以對邏輯較復雜的業(yè)務(wù)操作進行編程,也就是更加智能,但卻有陷入死循環(huán)的可能。相較之下,圖靈不完備的智能合約雖然不能進行復雜的邏輯操作,但更加簡單、高效、和安全。
價值可編程是分布式總賬技術(shù)的一個重要的本質(zhì)屬性,直接決定平臺對業(yè)務(wù)邏輯的表達能力,具體體現(xiàn)在“智能合約”上面。比特幣BTC的內(nèi)置腳本表達能力是極為有限的,所以比特幣的腳本系統(tǒng)是圖靈不完備的。瑞波XRP目前不支持智能合約。比特股的智能合約在運用上有很多限制,并不能自定義,因此仍然是圖靈不完備的。而以太坊支持智能合約且達到“圖靈完備”程度??鋸堻c的話,我們可以歸納為大部分擁有智能合約的Token,系統(tǒng)都是圖靈完備的。
大家是否已經(jīng)理解了這個概念呢?如果還不理解的小伙伴可以再翻看之前以太坊的視頻結(jié)合起來多多學習。
聲明:本文所發(fā)表資訊不代表本公司任何投資暗示,亦不構(gòu)成任何投資意見或建議,圖片來源網(wǎng)絡(luò),若存在侵權(quán)行為,請聯(lián)系我們刪除。
(作者:貝數(shù)區(qū)塊鏈,內(nèi)容來自鏈得得內(nèi)容開放平臺“得得號”;本文僅代表作者觀點,不代表鏈得得官方立場)