大家好,我是柯南,在之前介紹以太坊的視頻中提到,V神在白皮書中描繪了以太坊的愿景,要打造一個新的圖靈完備的區塊鏈平臺,讓所有的開發者都能在這個平臺上開發自己的區塊鏈應用程序。做個類比,比特幣就像是諾基亞,是功能機;而以太坊就像是IPhone,是智能機,可以在上面開發各種各樣的應用。 那說到圖靈完備這個詞,可能有些朋友要懵逼了。說的簡單些,能進行各種復雜編程計算的平臺就是圖靈完備的。說到這里,也少不了說一個人,沒錯,就是偉大的數學家、邏輯學家圖靈。 圖靈,1912年生于英國倫敦。二戰爆發前夕,德國人采用了新式的密碼機,這讓英國人很頭痛。那是一個動蕩的年代,圖靈決定為國服役,破譯密碼機。這么做不是因為他有多愛國,作為一個徹頭徹尾地自由主義者,他一點不覺得哪個政府值得自己獻身。他想的是,謀到一個好差事,不至于到戰壕里當炮灰。由于破譯工作的需要,他參與了世界上最早的電子計算機的研制工作,后協助軍方破解了德國新式的密碼機,幫助盟軍取得了二戰的勝利。因此,他也被稱為計算機科學之父,人工智能之父。這一期視頻就和大家深度聊一聊圖靈完備。 圖靈完備,在可計算性理論中,編程語言或任意其他的邏輯系統如果具有等用于通用圖靈機的計算能力。也就是說,如果一系列操作數據的規則可以用來模擬單帶圖靈機,那么它就是圖靈完備的。雖然圖靈機會受到存儲能力的物理限制,圖靈完全性通常指具有無限存儲能力的通用物理機器或編程語言。簡單來說,一切可計算的問題都能計算,這樣的虛擬機或者編程語言就叫圖靈完備的。當然,圖靈完備也可能因為陷入死循環而導致程序崩潰。因為圖靈完備保證的是計算的可行性,但并不保證計算的效率及代碼的可理解性、可維護性。 一個圖靈完備系統意味著在這個系統中寫程序能夠找到解決方法(盡管不保證運行時和內存)。在某些場景中圖靈完備需要限制語言,有循環執行語句,判斷分支語句等。因此,如果有人說,我的新東西是圖靈完備的,意思是在原則上(盡管不是經常在實踐上)它能夠用來解決任何計算性的問題。這里舉個例子,比如有人講,我的東西是圖靈完備的,也就是意味著在理論上這個東西能夠用來解決任何計算性的問題。 與圖靈完備相反的就是圖靈不完備,圖靈不完備指不允許或限制循環。也就是可以保證每段程序都不會死循環,都有運行完的時候。那圖靈完備和圖靈不完備各有其優勢,圖靈不完備會更安全些,圖靈完備會更智能些。為什么這么說呢? 循環或遞歸受限、無法實現數組或更復雜的數據結構等都會影響圖靈完備的實現。圖靈完備的智能合約有較強的適應性,可以對邏輯較復雜的業務操作進行編程,也就是更加智能,但卻有陷入死循環的可能。相較之下,圖靈不完備的智能合約雖然不能進行復雜的邏輯操作,但更加簡單、高效、和安全。 價值可編程是分布式總賬技術的一個重要的本質屬性,直接決定平臺對業務邏輯的表達能力,具體體現在“智能合約”上面。比特幣BTC的內置腳本表達能力是極為有限的,所以比特幣的腳本系統是圖靈不完備的。瑞波XRP目前不支持智能合約。比特股的智能合約在運用上有很多限制,并不能自定義,因此仍然是圖靈不完備的。而以太坊支持智能合約且達到“圖靈完備”程度。夸張點的話,我們可以歸納為大部分擁有智能合約的Token,系統都是圖靈完備的。 大家是否已經理解了這個概念呢?如果還不理解的小伙伴可以再翻看之前以太坊的視頻結合起來多多學習。 關注貝數區塊鏈官方微博,進社群和我一起從小白變大神。聲明:本文所發表資訊不代表本公司任何投資暗示,亦不構成任何投資意見或建議,圖片來源網絡,若存在侵權行為,請聯系我們刪除。
去中心化質押和收益聚合器0xBoost Finance完成800萬美元A輪融資:金色財經報道,去中心化質押和收益聚合器0xBoost Finance宣布完成800萬美元A輪融資,雖然目前投資者具體信息暫未公開,但據稱Polygon Ventures和Binance Labs均是潛在投資方和戰略合作伙伴。0xBoost Finance可以聚合不同渠道的加密資產,同時還能簡化DeFi質押流程和用戶界面,現階段支持20多個不同的流動性池,平臺總鎖倉量超過7500萬美元,據悉新資金將用于平臺業務拓展并為用戶提供更多質押選擇。(digitaljournal)[2023/7/22 15:52:29]
用戶報告顯示OpenAI出現問題:金色財經報道,據網絡狀況監測網站DownDetector,用戶報告顯示OpenAI出現問題。[2023/4/30 14:35:20]
Orange DAO籌集8000萬美元資金,以支持加密初創公司:8月24日消息,風險投資DAO組織Orange DAO已籌集8000萬美元資金,資金主要來自其戰略投資者Algorand和NEAR,其余資金來自擔任該基金有限合伙人的DAO成員以及一些機構投資者。
該組織最初打算從投資者那里籌集1000萬美元資金,用于支持加密初創公司。自1月份以來,該組織的成員已從1000名增至1300名,并已支持90家初創公司,包括Liquifi、Goldfinch和Spritz。
據此前報道,今年3月,由Y Combinator校友創建的Orange DAO選擇NEAR作為其首選的Layer 1區塊鏈,同時NEAR基金會將向Orange DAO投資1500萬美元,以支持在NEAR區塊鏈上建立Web3公司的創始人。(Techcrunch)[2022/8/24 12:44:14]
Tags:DAO區塊鏈ORA以太坊hdao幣發展前景什么叫做區塊鏈技術的概念Oraichain Token以太坊價格歷史走勢圖
尊敬的Hubi全球用戶:為更好的服務Hubi用戶,Hubi將于12月30日14:00(UTC8)上線FOPAY.
1900/1/1 0:00:00北京時間2019年12月12日,IPFS/FIL測試網順利啟動。12日06:15分,原力區節點t01081在測試網上線3小時內成為首位出線上榜選手,對大家來說無比震驚,但是,這對于原力區來說卻是.
1900/1/1 0:00:00親愛的Bingbon用戶:Bingbon獨創的合約智能跟單系統自上線以來廣受用戶好評,為回應廣大用戶熱情,Bingbon技術團隊即日起將上調智能跟單每日最大限額.
1900/1/1 0:00:00尊敬的牛市用戶: 牛市定于2019.12.30?16:00時?開通GABA/USDT交易市場,邀您參與交易!GABA簡介:環球文藝鏈是環球文化藝術品聯盟區塊鏈的簡稱.
1900/1/1 0:00:00親愛的用戶:您好!ZG.COM將于2019年12月24日14:00開放DMA的充幣和提幣業務,于12月25日10:28開啟DMA/USDT交易對.
1900/1/1 0:00:00據人民網報道,2019年12月21日,30名考生在上海師范大學徐匯校區參與了全國首次《區塊鏈技術能力測試》.
1900/1/1 0:00:00