買比特幣 買比特幣
Ctrl+D 買比特幣
ads

以太坊:貝數區塊鏈科普視頻 什么是區塊鏈中的圖靈完備?_ENT

Author:

Time:1900/1/1 0:00:00

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

OKX NFT 市場已支持一鍵掛單至 Blur:4月25日消息,OKX NFT 市場已支持一鍵掛單至 Blur,成為一家同時支持掛單至 Blur 和從 Blur 拉取流動性的 NFT 聚合交易平臺。[2023/4/25 14:26:06]

市場消息:馬斯克計劃擔任推特CEO:金色財經報道,市場消息稱,馬斯克計劃擔任推特的首席執行官。還計劃取消永久的推特用戶禁令。這意味著之前被踢出該平臺的人可能被允許返回,但尚不清楚這是否包括前總統唐納德·特朗普。[2022/10/28 11:51:31]

鏈游玩家心理AI分析公司Solsten完成2180萬美元B輪融資,Konvoy領投:8月18日消息,鏈游玩家心理 AI 分析初創公司 Solsten 宣布完成 2180 萬美元 B 輪融資,Konvoy 領投,Inventure、GFR Fund、Sisu Game Ventures 和威斯康星大學麥迪遜分校校友基金 Bascom Ventures、以及 Galaxy Interactive、Dentsu Ventures 和區塊鏈私募股權投資公司 Warburg Serres 參投。Solsten 主要通過分析玩家心理,幫助游戲開發公司創造更生動、更具吸引力的數字體驗,其客戶包括區塊鏈游戲 Axie Infinity 開發商 Sky Mavis、鏈游工作室 Mythical Games、以及 Super Evil Megacorp、Starbreeze、Tilting Point 和 Wooga 等。(Business Insider)[2022/8/18 12:34:32]

Tags:區塊鏈以太坊ENTRES魔獸幣應用區塊鏈嗎怎么挖以太坊幣BSC Paymentsceres幣消息

以太坊交易
BAN:關于WBF對已上線幣種的隱藏調整公告_LBank

尊敬的用戶: 為了營造健康的數字資產環境,給用戶提供良好的交易體驗,根據《WBF交易分區及轉板試行管理辦法‘退市規則’》規定,WBF審核團隊將對平臺已上線項目進行了全面的市場監測和進展跟蹤.

1900/1/1 0:00:00
RES:SG數字貨幣交易所:空頭敗了?_USDT幣提現涉嫌洗錢嗎

BTC今日凌晨在大家熟睡的時候,迎來一波強勢拉盤,從最低7163一線,持續上漲到目前最高7631一線,凈流入資金已達2.4億.

1900/1/1 0:00:00
BLOC:關于BOOM POS合約新增算力幣種公告_BLO

尊敬的牛市用戶: 牛市平臺已于2019年12月18日10:00推出BOOM?POS合約,?上線后引起用戶的強烈反響.

1900/1/1 0:00:00
BIT:關于玩客積分2019-12-20 釋放公告_Bitsniper

2019-12-20玩客積分釋放量6000枚,截止2019-12-20玩客積分已釋放總量858.4萬枚2019-12-20平臺手續費總額2325.90652103bitcny.

1900/1/1 0:00:00
EOS:自媒體:礦機廠商億邦再涉訴訟,向小米投資芯片公司索賠上億_ETH

自媒體吳說區塊鏈獲悉,近期正在籌備赴美上市的礦機廠商億邦,正式起訴小米投資的芯片公司芯原微電子,指對方提供的10nm三星晶圓存在質量問題,造成約1.75億人民幣的損失.

1900/1/1 0:00:00
BIO:關于下架vas幣種的通知_ONE

尊敬的BIONE用戶: 本著保護用戶的宗旨,BIONE交易所為保證交易幣種的高標準,將定期對平臺內的代幣進行綜合性審查,經平臺風控監測VAS動態指標不滿足BIONE交易所上幣標準.

1900/1/1 0:00:00
ads