大家好,我是柯南,在之前介紹以太坊的視頻中提到,V神在白皮書中描繪了以太坊的愿景,要打造一個新的圖靈完備的區塊鏈平臺,讓所有的開發者都能在這個平臺上開發自己的區塊鏈應用程序。做個類比,比特幣就像是諾基亞,是功能機;而以太坊就像是IPhone,是智能機,可以在上面開發各種各樣的應用。 那說到圖靈完備這個詞,可能有些朋友要懵逼了。說的簡單些,能進行各種復雜編程計算的平臺就是圖靈完備的。說到這里,也少不了說一個人,沒錯,就是偉大的數學家、邏輯學家圖靈。 圖靈,1912年生于英國倫敦。二戰爆發前夕,德國人采用了新式的密碼機,這讓英國人很頭痛。那是一個動蕩的年代,圖靈決定為國服役,破譯密碼機。這么做不是因為他有多愛國,作為一個徹頭徹尾地自由主義者,他一點不覺得哪個政府值得自己獻身。他想的是,謀到一個好差事,不至于到戰壕里當炮灰。由于破譯工作的需要,他參與了世界上最早的電子計算機的研制工作,后協助軍方破解了德國新式的密碼機,幫助盟軍取得了二戰的勝利。因此,他也被稱為計算機科學之父,人工智能之父。這一期視頻就和大家深度聊一聊圖靈完備。 圖靈完備,在可計算性理論中,編程語言或任意其他的邏輯系統如果具有等用于通用圖靈機的計算能力。也就是說,如果一系列操作數據的規則可以用來模擬單帶圖靈機,那么它就是圖靈完備的。雖然圖靈機會受到存儲能力的物理限制,圖靈完全性通常指具有無限存儲能力的通用物理機器或編程語言。簡單來說,一切可計算的問題都能計算,這樣的虛擬機或者編程語言就叫圖靈完備的。當然,圖靈完備也可能因為陷入死循環而導致程序崩潰。因為圖靈完備保證的是計算的可行性,但并不保證計算的效率及代碼的可理解性、可維護性。 一個圖靈完備系統意味著在這個系統中寫程序能夠找到解決方法(盡管不保證運行時和內存)。在某些場景中圖靈完備需要限制語言,有循環執行語句,判斷分支語句等。因此,如果有人說,我的新東西是圖靈完備的,意思是在原則上(盡管不是經常在實踐上)它能夠用來解決任何計算性的問題。這里舉個例子,比如有人講,我的東西是圖靈完備的,也就是意味著在理論上這個東西能夠用來解決任何計算性的問題。 與圖靈完備相反的就是圖靈不完備,圖靈不完備指不允許或限制循環。也就是可以保證每段程序都不會死循環,都有運行完的時候。那圖靈完備和圖靈不完備各有其優勢,圖靈不完備會更安全些,圖靈完備會更智能些。為什么這么說呢? 循環或遞歸受限、無法實現數組或更復雜的數據結構等都會影響圖靈完備的實現。圖靈完備的智能合約有較強的適應性,可以對邏輯較復雜的業務操作進行編程,也就是更加智能,但卻有陷入死循環的可能。相較之下,圖靈不完備的智能合約雖然不能進行復雜的邏輯操作,但更加簡單、高效、和安全。 價值可編程是分布式總賬技術的一個重要的本質屬性,直接決定平臺對業務邏輯的表達能力,具體體現在“智能合約”上面。比特幣BTC的內置腳本表達能力是極為有限的,所以比特幣的腳本系統是圖靈不完備的。瑞波XRP目前不支持智能合約。比特股的智能合約在運用上有很多限制,并不能自定義,因此仍然是圖靈不完備的。而以太坊支持智能合約且達到“圖靈完備”程度。夸張點的話,我們可以歸納為大部分擁有智能合約的Token,系統都是圖靈完備的。 大家是否已經理解了這個概念呢?如果還不理解的小伙伴可以再翻看之前以太坊的視頻結合起來多多學習。 關注貝數區塊鏈官方微博,進社群和我一起從小白變大神。聲明:本文所發表資訊不代表本公司任何投資暗示,亦不構成任何投資意見或建議,圖片來源網絡,若存在侵權行為,請聯系我們刪除。
數字時尚品牌Syky完成950萬美元 A 輪融資:金色財經報道,數字時尚品牌Syky完成950萬美元 A 輪融資,七七六領投,Brevan Howard Digital、Leadout Capital、First Light Capital Group 和 Polygon Ventures等公司參投。?
Syky 由前 Ralph Lauren 首席數字官 Alice Delahunt 領導,旨在建立一個支持區塊鏈的奢侈品平臺。[2023/1/18 11:19:31]
英國或于明年通過金融服務和市場法案,為加密貨幣監管鋪平道路:12月20日消息,英國財政部發言人在電子郵件中表示,英國金融服務和市場法案(FSMB)將于明年春天獲得通過并成為法律。 如果FSMB獲得通過,它將確保加密貨幣被視為受監管的活動,并賦予英國金融行為監管局(FCA)和英國央行監管系統性加密貨幣和穩定幣的權力。
該法案最終有可能在財政部預期的時間框架之外獲得通過,目前還沒有議會網站列出該法案通過的時間表。此外,英國財政部計劃在未來幾周發布一份關于如何監管加密貨幣的咨詢意見。(CoinDesk)
?[2022/12/20 21:55:34]
Celsius在Terra/Luna上損失1580萬美元:金色財經消息,英國金融時報記者kadhim發推文稱,Celsius自愿重組申請文件顯示,Celsius在Terra/Luna上損失了1580萬美元。
此外,文件顯示,Celsius一開始有一個特別委員會來處理其重組,但在11天后就更換了委員會和其律師,該文件還顯示,Celsius希望利用其挖礦業務來產生足夠的比特幣以“解決其當前的加密貨幣赤字”。[2022/7/15 2:15:18]
尊敬的牛市用戶: 平臺已于2019年12月25日10:00,推出POS二期合約,僅上線牛市APP.
1900/1/1 0:00:00據慧聰廣電網消息,12月20日,2019年慧聰網廣播電視行業創新發展高峰論壇暨頒獎盛典在京舉行,在論壇上,國家廣播電視總局科技委副主任杜百川表示,在廣電領域中.
1900/1/1 0:00:00親愛的KuCoin用戶:由于低息杠桿隨心借活動上線以來異常火爆,KuCoin決定于2019年12月25日-12月29日(UTC8)上線KuCoin杠桿限時免息活動.
1900/1/1 0:00:00ESP 白皮書:https://silkweb.oss-cn-beijing.aliyuncs.com/esportsblock/paper.pdf官網:http://www.
1900/1/1 0:00:00尊敬的用戶: 為了營造健康的數字資產環境,給用戶提供良好的交易體驗,根據《WBF交易分區及轉板試行管理辦法‘退市規則’》規定,WBF審核團隊將對平臺已上線項目進行了全面的市場監測和進展跟蹤.
1900/1/1 0:00:00親愛的BBKX用戶 BBKX交易平臺為您帶來DNT幣種介紹: 幣種簡稱:DNT 幣種全稱:DeepNetwork發行時間:2019/09/23發行總量:210.00M 流通總量:63.
1900/1/1 0:00:00