編者按:本文來自:鏈捕手,作者:鄧仰東,清華大學副教授、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人工智能給區塊鏈提供的機會
Rose Chen:鏈上ChainUP WaaS聯盟 打造區塊鏈底層金融設施:1月7日下午5點,58學院AMA《打造區塊鏈底層金融設施》邀請到了鏈上ChainUP WaaS聯盟合伙人Rose Chen做客直播間。Rose Chen表示,鏈上ChainUP WaaS聯盟旨在打造區塊鏈底層金融設施,目前已有超過500家企業加入鏈上ChainUP WaaS聯盟,企業成員業務涵蓋錢包、交易所、OTC、資管、量化、礦池、媒體、項目方等,這些聯盟成員將資金托管在鏈上ChainUP WaaS系統中,不僅可以保障資金安全,還可以在內部進行無摩擦的價值轉移,實現多方合作和資源共享。鏈上ChainUP WaaS聯盟體系正在形成一個0成本、即時的區塊鏈底層清結算網絡,也將吸引更多優質企業參與者,最終賦能每一位聯盟企業成員,打造行業上下游協同效應,共建區塊鏈安全產業生態。[2021/1/7 16:40:06]
上一部分介紹了區塊鏈目前面臨的主要挑戰,人工智能確實能夠為應對其中一些挑戰提供新的思路,特別是在智能合約處理和挖礦函數設計上潛力極大,也有人認為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模型和算法,一般用戶很難理解,而且其安全性和公正性的驗證也是很困難的問題。
區塊鏈專委會秘書長:“區塊鏈應用操作員”發布對產業發展影響深遠:中國電子商會區塊鏈專委會秘書長李銀科表示,“區塊鏈應用操作員”的發布對產業發展影響深遠,既可以為未來區塊鏈職業培訓提供方向,加快人才輸出,也可以規范職業標準,推動行業高效發展。另外,“區塊鏈應用操作員”是技術與產業的橋梁,能夠促進區塊鏈技術和產業創新發展。(證券日報)[2020/8/28]
動態 | GrainChain計劃將洪都拉斯的咖啡供應鏈整合到其區塊鏈平臺上:零售巨頭Overstock旗下區塊鏈風險投資子公司Medici Ventures支持的農業初創企業GrainChain,計劃將其區塊鏈平臺提供給當地利益相關者網絡,從而聯合洪都拉斯的咖啡行業。根據9月24日發布的新聞稿,該公司已經簽署了幾項協議,旨在將洪都拉斯的整個咖啡供應鏈整合到其區塊鏈平臺上。具體來說,GrainChain承諾實現三個主要目標——增強農民和銀行之間的信任、提高數據準確性、提高透明度。(Cointelegraph)[2019/9/25]
動態 | 易見股份年報53次提及區塊鏈卻言“未顯著影響業績”:據中國經濟網報道,在近日剛公布的年報中,易見股份共53次提及區塊鏈——不敢說易見股份是提及區塊鏈數量最多的上市公司,但是絕對是提及最多的公司之一。易見股份如此鐘情區塊鏈,股價也伴隨區塊鏈概念而起伏。4月初,工信部公布第一批區塊鏈備案項目,受此利好消息影響,易見股份曾連續3天漲停,股價5天漲了超過50%。但是,盡管易見股份大力發展區塊鏈,但在回復交易所問詢時卻表示,區塊鏈并未對業績產生顯著影響,并提醒投資者要注意風險。[2019/5/13]
曾鳴的區塊鏈隨想:共識不等于信用 所做的事石破驚天:阿里首席戰略官曾鳴曾鳴撰文稱:記錄的真實性僅僅只是“trust/信用”的最低要求,所提到的“trust”不是大家一般理解的能真正推動合作完成的信用,僅僅是一個最低共識。區塊鏈是假定在沒有信任的情況下怎么產生盡可能的大的共識。這些共識是寫在算法當中的,所以已經可以大幅降低交易成本。但文章稱要強調的是,在這些共識基礎上,怎么形成真正的信任,這才是商業的基礎。目前的共識,不足以支撐大的商業協同。能在越大范圍產生的越高的信任,協同的廣度和深度就越高,創造的商業價值就越大。曾鳴在文中稱,我們在做的是,在一個經濟生態還沒有誕生的時候,就需要把信任共識寫進程序,這是一件石破天驚的事情,我們在設計自己的制度和命運。[2018/2/26]
Tags:區塊鏈人工智能比特幣AIN區塊鏈技術通俗講解人工智能就業方向及前景比特幣價格今日行情usdtPEPECHAIN幣
編者按:本文來自鏈塔智庫,作者鏈塔分析師團隊,Odaily星球日報經授權轉載。實體經濟,指一個國家生產的商品價值總量,包括物質的、精神的產品和服務的生產、流通等經濟活動.
1900/1/1 0:00:00頭條 港交所主席李小加:比特大陸等三家礦商IPO不符合“上市適應性”的核心原則比特大陸等三家礦機生產商香港IPO被拒之門外,港交所主席李小加在達沃斯世界經濟論壇上回應稱.
1900/1/1 0:00:00編者按:本文來自鏈聞ChainNews,|作者:李畫,星球日報經授權發布。「ProgPoW」是「ProgrammaticProof-of-Work」的縮寫,簡單的說,是一種Ethash算法經過G.
1900/1/1 0:00:00世界經濟合作與發展組織1月15日發布報告,概述首次代幣發行、不同的代幣分發方式以及這些代幣如何替中小型企業募資.
1900/1/1 0:00:00頭條 火幣全球站CEO:HuobiPrime是優選上幣通道,既非眾籌也非IEO3月7日,據壹塊硬幣消息,火幣近期將上線一個類幣安眾籌平臺LaunchPad的產品.
1900/1/1 0:00:00作者|秦曉峰編輯|盧曉明據臺灣中時電子報消息,宏達電宣布今日在全臺HTC專賣店開賣區塊鏈手機Exodus1,這也是該款區塊鏈手機在中國地區的首次開售,售價21900新臺幣,對標官網標價.
1900/1/1 0:00:00