大家好,我是柯南,在之前介紹以太坊的視頻中提到,V神在白皮書中描繪了以太坊的愿景,要打造一個新的圖靈完備的區塊鏈平臺,讓所有的開發者都能在這個平臺上開發自己的區塊鏈應用程序。做個類比,比特幣就像是諾基亞,是功能機;而以太坊就像是IPhone,是智能機,可以在上面開發各種各樣的應用。 那說到圖靈完備這個詞,可能有些朋友要懵逼了。說的簡單些,能進行各種復雜編程計算的平臺就是圖靈完備的。說到這里,也少不了說一個人,沒錯,就是偉大的數學家、邏輯學家圖靈。 圖靈,1912年生于英國倫敦。二戰爆發前夕,德國人采用了新式的密碼機,這讓英國人很頭痛。那是一個動蕩的年代,圖靈決定為國服役,破譯密碼機。這么做不是因為他有多愛國,作為一個徹頭徹尾地自由主義者,他一點不覺得哪個政府值得自己獻身。他想的是,謀到一個好差事,不至于到戰壕里當炮灰。由于破譯工作的需要,他參與了世界上最早的電子計算機的研制工作,后協助軍方破解了德國新式的密碼機,幫助盟軍取得了二戰的勝利。因此,他也被稱為計算機科學之父,人工智能之父。這一期視頻就和大家深度聊一聊圖靈完備。 圖靈完備,在可計算性理論中,編程語言或任意其他的邏輯系統如果具有等用于通用圖靈機的計算能力。也就是說,如果一系列操作數據的規則可以用來模擬單帶圖靈機,那么它就是圖靈完備的。雖然圖靈機會受到存儲能力的物理限制,圖靈完全性通常指具有無限存儲能力的通用物理機器或編程語言。簡單來說,一切可計算的問題都能計算,這樣的虛擬機或者編程語言就叫圖靈完備的。當然,圖靈完備也可能因為陷入死循環而導致程序崩潰。因為圖靈完備保證的是計算的可行性,但并不保證計算的效率及代碼的可理解性、可維護性。 一個圖靈完備系統意味著在這個系統中寫程序能夠找到解決方法(盡管不保證運行時和內存)。在某些場景中圖靈完備需要限制語言,有循環執行語句,判斷分支語句等。因此,如果有人說,我的新東西是圖靈完備的,意思是在原則上(盡管不是經常在實踐上)它能夠用來解決任何計算性的問題。這里舉個例子,比如有人講,我的東西是圖靈完備的,也就是意味著在理論上這個東西能夠用來解決任何計算性的問題。 與圖靈完備相反的就是圖靈不完備,圖靈不完備指不允許或限制循環。也就是可以保證每段程序都不會死循環,都有運行完的時候。那圖靈完備和圖靈不完備各有其優勢,圖靈不完備會更安全些,圖靈完備會更智能些。為什么這么說呢? 循環或遞歸受限、無法實現數組或更復雜的數據結構等都會影響圖靈完備的實現。圖靈完備的智能合約有較強的適應性,可以對邏輯較復雜的業務操作進行編程,也就是更加智能,但卻有陷入死循環的可能。相較之下,圖靈不完備的智能合約雖然不能進行復雜的邏輯操作,但更加簡單、高效、和安全。 價值可編程是分布式總賬技術的一個重要的本質屬性,直接決定平臺對業務邏輯的表達能力,具體體現在“智能合約”上面。比特幣BTC的內置腳本表達能力是極為有限的,所以比特幣的腳本系統是圖靈不完備的。瑞波XRP目前不支持智能合約。比特股的智能合約在運用上有很多限制,并不能自定義,因此仍然是圖靈不完備的。而以太坊支持智能合約且達到“圖靈完備”程度。夸張點的話,我們可以歸納為大部分擁有智能合約的Token,系統都是圖靈完備的。 大家是否已經理解了這個概念呢?如果還不理解的小伙伴可以再翻看之前以太坊的視頻結合起來多多學習。 關注貝數區塊鏈官方微博,進社群和我一起從小白變大神。聲明:本文所發表資訊不代表本公司任何投資暗示,亦不構成任何投資意見或建議,圖片來源網絡,若存在侵權行為,請聯系我們刪除。
摩根大通:美SEC打擊加密貨幣增加了立法者今年制定監管框架的緊迫性:金色財經報道,摩根大通(JPM)在周四的一份研究報告中表示,美國證券交易委員會(SEC)對Binance和Coinbase的訴訟突出表明,美國立法者需要拿出一個關于如何監管加密貨幣行業以及SEC與商品期貨交易委員會(CFTC)的相對責任的全面框架。
報告稱,美國證券交易委員會認為大多數加密貨幣應該被歸類為證券,因此,大多數加密貨幣公司和交易應該屬于其監管范圍,并遵守目前適用于其他證券的監管框架。如果美國證券交易委員會的立場得到立法者的確認,Coinbase、Binance.US和其他美國交易所將不得不注冊為經紀人,大多數加密貨幣將被視為證券。[2023/6/12 21:31:59]
Deribit將在迪拜設立辦事處并尋求獲得牌照:1月26日消息,加密衍生品交易所Deribit證實將在迪拜設立辦事處,并尋求在迪拜獲得完全市場產品許可證。迪拜辦事處將容納包括管理、合規和支持角色在內的員工。此外,Deribit還計劃聘請4大會計師事務所,并每天發布儲量證明快照。數據顯示,Deribit在比特幣期權市場所占份額超過90%。(The Block)[2023/1/26 11:30:28]
韓國央行報告:有必要引入IE0系統,并考慮將穩定幣納入外匯交易監管范疇:12月5日消息,韓國央行金融結算局電子金融調查組今日發布題為“加密資產監管相關的關鍵問題和立法方向”的報告,報告認為,有必要在韓國引入加密資產的IE0系統,并考慮對穩定幣等適用外匯交易監管規定。韓國央行認為有必要引入只允許經過交易所審查發行加密資產的IE0方案,但禁止加密資產發行人以直接出售加密資產的方式的籌集資金。即在向投資者出售加密資產時,發行人并不直接出售,而是加密資產交易所對發行公司的人力、技術、財務、策略等進行評估,然后通過交易所出售,從而保護投資者。報告指出,由于加密資產交易所的項目評估能力和流程在引入IE0時很重要,因此交易所需要制定篩選標準和程序。有必要對加密資產交易是否適用外匯交易相關規定進行討論。因為加密資產和全球 Stablecoin 的跨境匯款越來越多,因此有必要在《外匯交易法》中明確加密資產的法律性質,將購買加密資產的資金匯款、存入和交易等明示為資本交易。(CoinDesk Korea)[2022/12/5 21:23:13]
親愛的用戶: “DigiFinex二周年慶第三彈,圣誕許愿贏取好禮”活動將于12月23日正式開始.
1900/1/1 0:00:00據新華網消息,太原市局迎澤分局近日破獲一起區塊鏈虛擬貨幣網絡詐騙案件,抓獲該網絡詐騙集團全部72名涉案人員,涉案金額3000余萬元.
1900/1/1 0:00:00尊敬的LOEx用戶:LOEx國際站原定于新加坡時間12月28日20:00上線VST將延遲。充提和交易具體開放時間將以公告形式另行通知。如有不便,敬請諒解.
1900/1/1 0:00:00BTC今日凌晨在大家熟睡的時候,迎來一波強勢拉盤,從最低7163一線,持續上漲到目前最高7631一線,凈流入資金已達2.4億.
1900/1/1 0:00:00尊敬的BIONE用戶: XMM已達到BIONE交易所審核要求,將于2020年1月1日10時正式開通XMM/USDT交易對,敬請關注.
1900/1/1 0:00:00本文由陳智罡博士撰寫。以此文獻給今年的冬至。今天是冬至。冬至的含義是寒冷已經到達了頂點。冬至之后,太陽將會向北移動,暖意會慢慢升起。區塊鏈目前很火。很多人都想知道區塊鏈會如何發展.
1900/1/1 0:00:00