編者按:本文來自:鏈捕手,作者:鄧仰東,清華大學副教授、MATRIX首席人工智能科學家,Odaily星球日報經授權轉發。過去幾年中,區塊鏈和人工智能無疑是最熱的兩個技術詞匯,相關成果在學術界引起了廣泛的關注,在資本圈也極受追捧。自從2018年以來,行業里有很多關于融合區塊鏈和人工智能的探討,出現了AI賦能區塊鏈、區塊鏈AI市場等新提法,也有人認為還可以進一步結合物聯網,甚至還有人認為區塊鏈和人工智能能夠進一步整合量子物理和神經科學。那么,去除掉各種泡沫和噪聲之后,究竟這種融合有無意義?具體說來,我們關注這樣一系列問題:區塊鏈和人工智能互相能為對方帶來什么?二者的融合能否形成1+1>1的效果?特別是,區塊鏈和人工智能都不是終端級產品,那么兩者結合能否成為催生新的終端應用的平臺?圖1.區塊鏈和人工智能的融合總體上看,筆者認為區塊鏈和人工智能的融合的確能帶來全新的機會,總體關系如圖1。筆者將從四個方面對以上問題進行探討。首先,簡單介紹區塊鏈和人工智能的基本概念,并且討論當前這兩者面臨的主要挑戰;第二,從區塊鏈角度看,AI能否帶來什么好處;第三,從AI角度看,區塊鏈能夠解決什么問題;第四,我們看看區塊鏈和人工智能融合的一種全新可能,即離散計算資源以區塊鏈組織而形成人工智能云平臺。考慮篇幅問題,本文先講第一部分與第二部分。01區塊鏈和人工智能
區塊鏈和人工智能是人類為了解決不同問題而形成的技術。其中,區塊鏈的起源在于分布式計算和密碼學的研究,但成為獨立的技術領域則從2009年比特幣出現后才真正開始;而AI的歷史可以追溯到古希臘時代亞里士多德的工作,現代AI則以1958年的達特茅斯會議為起點,之后又經歷了至少兩次起伏,新的一波人工智能熱潮始于2010年前后深度神經網絡的優異表現。我們分別從區塊鏈和人工智能的基本概念開始,探索當前兩者分別面臨的挑戰。1.1區塊鏈及其挑戰區塊鏈的本質是去中心化的分布式賬本。在早期以虛擬貨幣為核心的區塊鏈上,例如比特幣,區塊鏈就是記錄比特幣交易歷史的數據庫。當前,區塊鏈逐漸轉型為分布式數據庫,隨著IPFS文件系統的出現,目前區塊鏈記錄的數據已不限于交易記錄,可以是任意結構化或非結構化數據。這些數據總是被編碼為線性串聯的數據塊,每一塊中包含一組串聯的交易記錄。區塊鏈記錄的數據具有不可篡改的特性,即一旦上線,除非發生惡意攻擊,數據無法隨意篡改。區塊鏈的節點具有分布式、自組織的特點,不需要集中建設網絡,也沒有集中式的管控機制,而是由多個參與者通過共識機制共同決定。共識機制解決在去中心化環境下,當前誰可以獲得記賬權的問題,其理論基礎是分布式計算中的拜占庭將軍問題,目前常見的共識機制有工作量證明和權益證明。比特幣成功設計了基于POW的共識機制,允許獲得記賬權的一方同時獲得獎勵,從而吸引了大量計算資源投入到比特幣網絡之中。在比特幣之后,以太坊引入智能合約,大幅度擴展了區塊鏈的應用范圍和靈活性。智能合約以可執行代碼的方式,界定交易參與方的行為,并根據約定自動執行交易,從而使得復雜商業行為能夠在區塊鏈上實現。經過十年的發展,區塊鏈已經取得了長足的發展,表現為結合數字貨幣的公鏈、以產業和業務結合的聯盟鏈、企業內部使用的私鏈等三種主要形式。然而,當前區塊鏈技術在蓬勃發展的同時,也面臨著一系列挑戰:挖礦能耗比特幣和以太坊以及其它多個主流公鏈均使用工作量證明作為共識算法,同時對取得記賬權的節點進行獎勵。以比特幣為例,其工作量證明使用特定的哈希函數計算一個隨機數,為了保證難度,要求結果隨機數的前若干位為0。由于過去幾年中虛擬貨幣價格出現了連續強勁上升勢頭,大量計算資源被投入到挖礦計算之中,并且出現了以比特大陸為代表的行業巨頭。如果把全部挖礦的計算能力折算為浮點運算,粗略估算的總體計算能力達到1023FLOPS,已經達到谷歌計算能力的1百萬倍,或者全球500強超級計算機總體計算能力的10萬倍。如此龐大的計算能力當然以電力作為基礎,其總用電量已經超過世界上160多個國家。事實上,2018年NatureEnergy的一篇文章指出比特幣挖礦的能源損耗超過了黃金、鉑金等貴金屬,1美元比特幣消耗的電能實際上能夠開采3.4美元的黃金。然而,挖礦使用的電能對虛擬貨幣之外的世界全無意義,在全球可持續發展的大背景下尤為刺眼。可擴展性無論作為虛擬貨幣賬本還是廣義的數據庫,區塊鏈上的數據服務均以交易形式完成。由于區塊鏈的分布式特性,交易總是并發產生的。因此,區塊鏈的可擴展性一般指單位時間內能夠支撐的最高并發交易個數。一般說來,區塊鏈的吞吐率以TransactionsPerSecond表征,計算方式如下:TPS=一個區塊內包含的交易數量/區塊產生時間=一個區塊內包含的交易數量/(共識算法運行的時間+廣播并驗證的時間)也就是說,TPS由數據塊的大小、共識算法運行的時間和廣播并驗證的時間共同決定。值得注意的是,由于區塊鏈采用去中心化方式驗證交易,因此必須在多數節點形成共識之后才能完成驗證,其后果就是目前的區塊鏈在節點增加的情況下交易速度必然下降。比特幣的吞吐率為3.3~7TPS,以太坊略高,但也只有30TPS左右。對比而言,使用中心化方式驗證交易的VISA信用卡的持續吞吐率能夠達到1700TPS以上。安全性區塊鏈采用了去中心化的共識機制,本身的安全性是比較高的。然而,區塊鏈由網絡實現,因此其網絡協議的各個層次均有可能受到攻擊。例如MtGox交易所曾因為錢包的安全性漏洞被盜走3.6億美元,直接導致交易所破產。更為嚴重的安全隱患來自于智能合約。由于智能合約是具有圖靈完備性的程序,因此其行為更加復雜,而且代碼在分布式網絡環境上運行時,潛在風險會大大提升。目前的智能合約編程以Solidity語言為主,該語言成熟度相對較低,因此雖然代碼由虛擬機執行,但攻擊者可以利用溢出等情況侵入宿主電腦。同時,為了支持交易引入了跨合約程序調用等功能,易于遭受重入攻擊。典型案例是以太坊上的眾籌項目DAO,它在2017年受到重入攻擊,被盜走當時價值6千萬美元的以太幣。易用性智能合約的引入使得區塊鏈在應用領域上升到全新的層次,形成了人類商業行為的一次革命。但智能合約以程序形式體現,對一般用戶來說具有一定難度。在傳統的線下世界,大多數人都可以看懂合同內容,相當比例的用戶則可以在律師指導下或參照模板編寫簡單合同。智能合約則不然,要求用戶必須具備編程能力才能撰寫合同,無形中又限制了其應用范圍。隱私保護在大數據時代,保護數據隱私的重要性不言而喻。目前區塊鏈公鏈上的數據大體來說是完全開放的。因此,隨著區塊鏈應用的不斷拓展以及其數據庫應用比重的提升,如何在區塊鏈上引入完備的隱私保護機制已經成為亟待解決的問題。1.2人工智能及其挑戰根據人工智能先驅約翰?麥卡錫的定義,人工智能就是「制造智能機器的科學和工程」,其目的是設計制造能表現出人類認知能力的機器。當然,智能的定義又是一個復雜的問題,業內一般認為智能其實是一種通過學習不斷改變自身或外界條件從而適應環境的能力。人工智能的領域很寬泛,機器學習是其中一部分,強調從歷史中學習。過去10年中,以深度神經網絡為代表的機器學習技術取得了驚人的成就,但應用的深入也使得人工智能技術開始面臨一系列現實問題。缺乏算力機器學習技術,特別是深度學習技術,需要從大量樣本中提煉具有預測能力的模式。因此,機器學習應用一般需要經歷模型訓練和模型推斷兩個階段,其中訓練過程通常計算量較大。人工智能企業目前依靠租用云服務或者自建計算集群解決算力問題,算力成本包含硬件成本、電力成本以及維護成本。英國的一份AI工業分析報告指出,當前訓練一個模型平均需要1萬英鎊,而復雜深度網絡的訓練過程則更為昂貴。因此,目前50%以上的人工智能公司都存在可用算力不足的問題。缺乏數據共享在人類社會高度數字化的今天,數據源并不缺乏,但數據分享的渠道卻遠未暢通。在絕大多數應用場景下,數據產生和數據分析屬于不同利益方。除了搜索引擎、安防、電子商務等少數領域,AI企業并不直接掌控數據來源,只能與數據提供方合作獲得數據。因此,目前常見的提法是在人工智能領域,技術不如數據和應用重要。實際上,并非技術不重要,而是數據的獲取往往具有壁壘。造成壁壘的原因很多,但其中最為關鍵的一個是無法保證數據提供方在共享數據之后能夠共享利益。缺乏可信性傳統工業領域并不乏使用模型的經驗,金融、醫療、制造業中都有大量成熟的建模應用,在核反應堆行業購買特定模型是標準的商業模式。然而,傳統模型和機器學習模型特別是深度學習模型存在顯著差異,即AI模型的可解釋性較差。例如,金融業中常用的傳統風險控制模型可以在給出風險評估的同時,說明是由于哪些因素導致風險較大。AI特別是深度學習模型則具有「黑盒」特性,雖然其準確率可以很高,但難以說明其推理過程,造成決策的可信性不足。缺乏通用智能人類仍然處于人工智能的早期階段,目前成功的AI應用主要集中在圖像和語音識別領域的監督式學習以及針對確定性環境的增強式學習。其中,監督式學習普遍存在需要大樣本量、高質量標注的問題,而增強式學習對計算量的要求又過高。相比人腦智能,AI首先缺乏非監督或半監督學習能力,其次泛化能力較差,無法形成舉一反三的效果。不僅如此,AI的常識和推理能力不足,缺乏「learningtolearn」的能力,難以進行高層次認知活動。缺乏隱私機器學習對于數據隱私具有雙刃劍的作用,一方面機器學習技術也帶來了盜取隱私的新手段,另一方面針對機器學習模型的隱私竊取技術也在快速出現。02人工智能給區塊鏈提供的機會
徐州檢察通過“大數據+區塊鏈”解決涉罪人員管理難題:7月25日消息,徐州市檢察機關從2021年初開始,探索“云檢智鏈-非羈押人員云監督管理(取保)”技術,用大數據加“區塊鏈”,解決了非羈押犯罪嫌疑人的管理難題,提升了法律監督質效,也為疫情防控做出突出貢獻。2022年5月25日,“云檢智鏈”獲國家版權局計算機軟件著作權登記證書。2020年12月31日,徐州市人民檢察院被江蘇省檢察院確定為最高檢開展“降低羈押率的有效路徑與社會危險性量化評估試點”工作基層試點檢察院。此次試點則依托于“云龍微檢察”,研發非羈押人員監督管理模塊,簡稱“云檢智鏈”。
目前,云檢智鏈已對197名犯罪嫌疑人進行電子監管,收到線上報備109人次,發起定位抽檢356人次,創建談話空間57個,未發生一起脫管失控情況。[2022/7/25 2:36:31]
上一部分介紹了區塊鏈目前面臨的主要挑戰,人工智能確實能夠為應對其中一些挑戰提供新的思路,特別是在智能合約處理和挖礦函數設計上潛力極大,也有人認為AI能夠為區塊鏈提供自動治理能力。在本文這一部分,筆者討論人工智能為區塊鏈提供的機會。1.安全驗證區塊鏈的安全需要對各個網絡和應用層次進行綜合保護才能實現,本文主要關注智能合約的安全性。由于智能合約屬于軟件代碼,因此傳統式軟件缺陷和安全漏洞可以通過形式驗證的方法處理,近年來基于機器學習的漏洞模式檢測手段已經出現,一些工作證明了可以把抽象語法樹作為遞歸神經網絡的輸入進行有無漏洞的檢測。同時,智能合約在分布式網絡上以并發方式執行,因此需要在沙箱網絡上引入動態攻防手段,驗證動態安全性。在動態攻擊過程中,除了使用已知攻擊方式外,當前的生成式網絡也運行自行產生攻擊方式。實際上,目前正在蓬勃發展的對抗式生成網絡提供了將合約和攻擊放在統一框架之內進行全面優化的可能性。圖2.是智能合約安全驗證的理想工具流程,其核心思想是智能合約代碼要經過靜態和動態驗證才能上線并在虛擬機上運行靜態驗證是對源代碼或字節碼直接進行分析,分析工具目前以形式驗證為主,但基于深度神經網絡的機器學習方法也在快速出現。形式驗證是在硬件驗證的基礎上發展起來的,目前已被廣泛用于軟件安全驗證。其手段是把程序表示為一定的形式化模型,然后用數學方法證明其正確性。形式驗證的方法可以分為符號執行、模型檢查和定理證明三大類。符號執行算法遍歷代碼的所有可能執行路徑,并提煉出每條路徑的狀態轉移與相應條件,并檢查每一路徑上是否可能存在違反約束的反例。模型檢查把程序表示為邏輯模型,把針對某一安全漏洞的安全條件表示為相應的屬性,然后使用可滿足性求解器尋找是否存在違反該屬性的輸入數值,如果存在,則表示代碼存在漏洞,否則表示代碼一定滿足該屬性。定理證明比模型檢查的能力更強,能夠做函數級別的檢查,但一般需要專家級別的人工干預。雖然形式驗證不屬于人工智能技術,但AI確實能夠在很多方面提高形式驗證的性能。事實上,形式驗證技術為了解決狀態爆炸問題而引入了大量的啟發式算法,AI能夠找到更優化的啟發條件。另一方面,把源代碼表示為抽象語法樹后,我們完全可以利用遞歸神經網絡的模式提煉能力進行安全漏洞檢查,目前這方面已經有一些成功的工作。相對于靜態驗證,動態驗證需要在分布式不可信環境下的動態程序執行過程中發現潛在漏洞,其難度更高。一般說來,此時需要對智能合約進行「沙箱」仿真,即在測試鏈上執行代碼,以人工方式注入攻擊。當前快速發展的生成對抗網絡提供了在小量攻擊范例的基礎上自動產生攻擊代碼的可能性,有望為智能合約安全性提供新的工具。同時,AI技術也可以和智能合約虛擬機結合,進行動態漏洞嗅探。與靜態檢查不同,動態檢查一般不需要在源代碼中精確定位潛在漏洞,因此解釋性較差的深度學習技術具有更好的可行性。2.智能合約代碼生成智能合約表現為使用編程語言撰寫的程序,因此使用門檻較高會嚴重影響智能合約的可用性。不具備編程能力的一般用戶必須聘請程序員完成合同編制工作,但是Solidity現有社區規模較小、編程人員不足。人工智能技術提供了自動綜合代碼的可能性,當前以微軟DeepCoder為代表的深度神經網絡已能夠在專用領域根據一組示例自動產生代碼。值得注意的是,雖然與針對任意問題的自動化代碼生成的距離仍然遙遠,但智能合約本身已經呈現出許多顯著特色,例如程序具有比較清晰的狀態、計算過程相對簡單、存在典型模式,使得針對性的代碼生成具有較強的可能性。圖3.智能合約代碼生成理想工具流程如圖3所示,智能合約代碼生成工具流程起始于以簡單腳本語言、圖形化方式甚至自然語言捕捉的交易意圖,然后通過機器學習工具抽取交易關鍵特征并對交易進行分類,在此基礎上結合智能合約設計模式進行代碼綜合。代碼生成工具還可以進一步與安全驗證工具結合,進行迭代式自動攻擊和代碼修訂,從而最大化實現安全性。3.AI挖礦函數中本聰為比特幣設計了非常精巧的挖坑函數,即根據塊內交易的內容使用單向哈希函數計算滿足特定要求的隨機數。一般說來,挖礦函數應該具有這樣一些特點:首先,函數具有單向性,即計算結果難度較高,無法直接猜測,但驗證結果的正確性卻很容易;其次,函數計算應具有一定強度,同時難度可以調整;第三,計算該函數時不需要傳遞大量數據,即不會給區塊鏈網絡帶來額外帶寬負載;第四,函數應具有公平性,也就是說,算力強的節點只是擁有較高概率獲得獎勵。除此之外,挖礦函數應具有增值性或公益性,即挖礦能夠產生虛擬貨幣之外的價值。事實上,當前AI應用面臨算力不足的困境,如果能夠通過區塊鏈的獎勵機制吸引算力投入,的確可以獲得事半功倍的效果。從提供算力的角度看,顯然訓練深度神經網絡等機器學習模型的實際意義最大。不僅如此,訓練過程也確實具有單向性,即訓練過程強度高,但是驗證過程強度很低。不過,深度神經網絡的訓練難度很難預測,因此也不容易控制,而且訓練時一般需要傳遞大量的訓練樣本數據,網絡傳輸壓力很大。由此可見,深度神經網絡的訓練過程作為挖礦函數仍具有很大困難。另一個可能的AI挖礦函數是馬爾可夫鏈蒙特卡洛算法。MCMC在貝葉斯學習和推理中具有極其重要的作用,被選為二十世紀十大算法之一。該算法建立在隨機采樣基礎至少,目的是從已知概率分布的隨機數出發,產生針對特定后驗概率分布的隨機數并推測該分布的特性。MCMC具有單向性,難度相對可控。但是,MCMC作為挖礦函數的缺點是在驗證時需要傳遞比較大量的數據。圖4.基于深度神經網絡對抗攻擊的挖礦函數MatrixAI區塊鏈提出了一種新的基于深度學習的挖礦機理,其來源是針對深度神經網絡的對抗攻擊。當前,深度神經網絡最成熟的應用領域是圖像識別。然而,近來人們發現深度神經網絡存在著「盲點」,即以一定方式修改圖片,此時人眼仍然能夠正常分辨圖片內容,但深度神經網絡卻會做出錯誤分類結果。圖4左邊圖片是單像素攻擊的例子,圖片只有一個像素變化,就可以成功「欺騙」深度神經網絡。那么,怎樣找到修改圖片的方法?目前大多數算法都使用隨機優化方法,對圖片引入噪聲形成攻擊。該算法具有成為挖礦函數的潛力,在單向性、難度、帶寬等方面均能夠滿足要求。當然,該方法的公益性稍顯不足,主要是能夠利用區塊鏈算力尋找對抗攻擊實例,從而幫助我們更好地理解人腦和深度神經網絡的區別。4.區塊鏈自動治理任意復雜系統在全生命周期過程中都要經歷自身和環境的變化,因此需要一組規則決定在變化發生時怎樣對系統自身進行改變。規則可以體現為代碼、法律、過程和責任要求。系統治理就是創建、更新和放棄這些規則的決策過程。由于區塊鏈的去中心化特點,其治理過程涉及到平衡開發者、礦工、用戶和商業實體的利益平衡。區塊鏈系統傳統上采用離線治理方式,即任何人均可以提出改變治理規則的建議,但是否采納某項建議則需要按照一定的協議對建議進行評估,最后通過多方投票的方式決定最終決策并修改相關代碼上線執行。比特幣的相關治理通過BIP協議進行,雖然決策速度較慢,但是很多人認為相應的漸變過程對比特幣的可持續發展是有利的。另一方面,目前也有不少人認為基于人工智能的自主、在線治理更適合于高速變化的網絡環境。在這種情況下,治理過程可以通過基于AI的增強式學習實現,DFINITY區塊鏈甚至提出使用AI代理作為用戶代表自動進行投票。治理過程的人工智能化確實能夠帶來一些好處,特別是在處理細粒度的糾紛處理時效率可以很高。然而,近來的研究結果表明,由于目前AI技術大多基于人類標注樣本,因此同樣可能存在偏見,所以AI決策可能并不象很多人所想象得那樣公正。同時,AI決策體現為AI模型和算法,一般用戶很難理解,而且其安全性和公正性的驗證也是很困難的問題。
山東省政府:運用區塊鏈等技術推動組織管理模式重構重塑:中共山東省委山東省人民政府發布深化制度創新加快流程再造的指導意見,意見提出要把握改革系統性整體性協同性要求,強化問題導向、目標導向、結果導向,打破壁壘,破解痛點難點堵點,廣泛運用互聯網、云計算、人工智能、大數據、區塊鏈等現代信息技術,推動組織管理模式、資源配置方式、制度保障環節等系統性重組重構重塑,構建持續優化、動態調整、迭代更新的流程再造“1+N”制度體系。(大眾網)[2020/3/19]
動態 | 鏈飛科技推出首個區塊鏈疫情監測平臺:據搜狐網消息,2月5日,鏈飛科技正式推出全國首個區塊鏈疫情監測平臺,實時追蹤全國各省市新型冠狀病肺炎進展情況,其數據綜合國家衛健委、各省衛健委以及權威媒體報道。此外,“疫情數據”、“辟謠”以及“疾病知識”都將通過數據上鏈操作,寫入鏈飛科技WingChain區塊鏈平臺中,對應唯一交易哈希,用戶可隨時查看鏈上相關原始數據。[2020/2/6]
行情 | A股開盤:區塊鏈板塊整體下跌0.58%:A股開盤,區塊鏈板塊整體下跌0.58% 。84只概念股中,22只上漲,51只下跌,7只平盤,4只停牌。漲幅前三為:新晨科技(+6.04%),二三四五(+1.15%),嘉澤新能(+1.12%)。跌幅前三為:商贏環球(-10%),晨鑫科技(-3.30%),華軟科技(-4.59%)。[2018/8/20]
金色財經現場報道 鏈得得合伙人周小雪:區塊鏈產業鏈之間利益關系復雜:金色財經現場報道,在2018全球區塊鏈精英峰會上,進行以《從媒體角度看區塊鏈行業發展趨勢》為題的圓桌談論,鏈得得合伙人周小雪指出:我們很早就在關注區塊鏈技術,在這個行業中,產業鏈之間的利益關聯太復雜,使得區塊鏈媒體記者成為了高危職業,無法安全的全身而退;其次就是從業者的門檻很低,使得魚龍混雜,太多的傳銷和資金盤讓行業變得亂象叢生。作為媒體從業者可以通過很多方式結合產業鏈的上下游資源,幫助制止更多的亂象產生。[2018/4/28]
編者按:2018年1月15日,DApp.com發布了2018年DApp市場報告,回顧了當前擁有市場上最活躍用戶的4條公鏈——以太坊,EOS,TRON和STEEM的DApp市場.
1900/1/1 0:00:00編者按:本文來自DappReview,作者DR小伙伴,Odaily星球日報經授權轉載。春節過后剛剛開工,就收到朋友們大量的私信,問我“為什么Dapp數據下滑的這么厲害”,是不是Dapp圈子已經涼.
1900/1/1 0:00:00最近,加密貨幣0x吸引了很多關注。2018年10月11日,0x被添加到CoinbasePro,成為該交易所上線的第6個加密貨幣,也是其上線的首個ERC-20代幣.
1900/1/1 0:00:00編者按:本文來自藍狐筆記,作者:MatusSteis,來源于medium,由“藍狐筆記”公眾號社群“Lu”翻譯。Odaily星球日報經授權轉載。區塊鏈的治理模式是區塊鏈進化過程中的重要組成部分.
1900/1/1 0:00:00據CryptoBriefing報道,亦來云和火幣可能面臨法律訴訟,此前參與過亦來云ICO活動的投資者指控其在未經授權的情況下出售代幣.
1900/1/1 0:00:00編者按:很多人對去中心化交易所的了解,僅限概念上的認知。因此,本文將通過筆者親身體驗,為讀者展示最真實的去中心化交易所交易場景.
1900/1/1 0:00:00