Filecoin將區塊鏈引入到分布式存儲領域,Filecash通過新的技術探索權衡安全與效率。
撰文:Luff
正如比特幣擴容之爭分叉出比特現金,在Filecoin誕生三年后,基于不同理念的社區人士發起了首個分叉項目Filecash。Filecoin是將區塊鏈引入分布式存儲領域的第一個吃螃蟹的人,它希望通過一系列機制設計成為存儲人類重要數據的激勵相容的網絡系統。
但復雜的系統設計使得Filecoin的進展舉步維艱,執著于「存儲有價值數據」的初衷讓Filecoin飽受爭議,主要體現為兩點:
技術方案:高證明成本導致網絡參與門檻過高經濟模型:抵押、懲罰等機制對礦工過于嚴苛作為Filecoin的分叉項目,Filecash試圖通過方案改進來平衡社區的利益紛爭。本文主要從技術角度闡述Filecoin的運行方式及Filecash的新探索。
Filecoin市場機制
為更好理解Filecoin的技術原理,我們先簡單介紹Filecoin的市場機制。Filecoin構建了兩個市場:數據存儲市場和數據檢索市場,兩個市場分別存在礦工和用戶。
Filecoin存儲市場與檢索市場運行流程,來源Filecoin白皮書
存儲市場
存儲市場是由存儲礦工與有數據存儲需求的用戶參與的市場。存儲市場中客戶提出存儲數據的需求,而存儲礦工,提供他們的存儲空間和存儲服務。一個完整的存儲周期如下:
加密交易基礎設施公司Algo Trader完成450萬美元融資,分布式資本參投:2月15日消息,數字資產交易基礎設施公司AlgoTrader完成450萬美元Pre-B輪融資,瑞士信貸企業家資本(Credit Suisse Entrepreneur Capital)和C3EOS VC Fund共同領投,東亞風險投資公司SBIInvestment、分布式資本及VerveVentures、QuonotaInvestments、NeueCapital等機構參投。新投資將用于擴大AlgoTrader的產品市場及團隊擴張。
新投資將用于擴大 AlgoTrader 的產品市場及團隊擴張。據介紹,AlgoTrader 為數字資產機構提供交易技術,涵蓋從交易前風險檢查、訂單生成、自動結算和托管對賬等范疇。AlgoTrader 平臺旨在簡化數字資產交易。[2022/2/15 9:53:07]
第一,存儲礦工提供自身價格及存儲要求至訂單簿。訂單薄是公開的,任何人都可以查看,存儲市場的服務價格是由市場所決定。第二,當客戶的需求價格與存儲礦工的訂單相匹配時候,交易自動撮合。第三,驗證者驗證礦工是否存儲有效數據,采用零知識的非交互式證明進行驗證,有效保護隱私。
檢索市場
檢索市場為鏈下市場,用戶可以通過檢索市場訪問自己所需要的數據,由檢索礦工來提供檢索服務。檢索礦工不參與區塊生成環節,直接從客戶端獲取相應服務費用。
Filecoin的礦工為Filecoin網絡貢獻了超過3 EB的分布式存儲容量:據官方消息,Filecoin的礦工為Filecoin網絡貢獻了超過3 EB的分布式存儲容量。
1 EB的概念,相當于290000000部1080P電影的存儲容量;4500個維基百科的數據量;685,000年的連續視頻通話產生的數據量;整個Internet存檔的19個副本。[2021/3/9 18:27:26]
一個完整的檢索周期如下:
第一,用戶與檢索礦工廣播出價單和報價單,如發現訂單匹配,則在鏈下訂單簿發起交易。第二,達成交易后,雙方建立鏈下支付及數據傳輸信道完成交易。第三,交易完成后,訂單和交易提交至區塊鏈記錄,并驗證交易結果。
Filecoin如何實現這樣一個基于區塊鏈的數據市場?共識機制是關鍵,它決定了區塊鏈的基本運行邏輯并維護網絡安全。
Filecoin共識機制:預期共識為主,復制證明時空證明為輔
Filecoin采用了預期共識為主,復制證明時空證明為輔的混合共識技術。其中預期共識決定在一個周期內由誰產生TipSet,而復制證明和時空證明則維護網絡穩定安全運行。
預期共識
預期共識脫胎于權益證明共識機制,只不過將權益共識里面的代幣權益換成了存儲。每一輪選舉一名或者多名領導礦工來創建新的區塊,礦工贏得選舉的可能性跟礦工當前的存儲能力成正比。
衛士通:公司參與了《金融分布式賬本技術安全規范》的標準制定:金色財經消息,衛士通(SZ002268)在回答投資者提問時表示,公司參與了《金融分布式賬本技術安全規范》的標準制定。[2020/4/20]
每一輪,選舉出來的領導礦工數期望值為e,被選舉出來的礦工創建新的區塊,并對網絡進行廣播。Filecoin區塊鏈,每個區塊高度對應到的是一個區塊集合(Tipset),每個區塊集合包含數量不定的區塊,這種鏈式結構接近有向無環圖(DAG)。
Filecoin希望構建一個開放的、人人可參與的、無需信任的經濟系統。首先要保證系統安全穩定運行,防止網絡攻擊。從存儲角度理解,網絡面臨兩個問題:
礦工確實按照用戶需求存儲了數據的相應備份,并且數據能夠被訪問;在合同有效期內,礦工不得刪除用戶數據。如何約束礦工實現以上兩點?Filecoin存儲證明就是解決之道。Filecoin存儲證明由復制證明與時空證明兩部分組成。其中復制證明用于解決第一個問題,而時空證明則解決第二個問題。
復制證明
簡單來講,復制證明就是礦工證明自己真的存儲了用戶的數據。
用其發明者BenFisch的話來解釋:
「復制證明是一個交互式證明系統。在這個系統中,存儲的提供者需要提供可公開驗證的證明,來表明其為一個數據文件副本分配了獨有的空間資源,而且所存儲的數據是可檢索的。
聲音 | 解放軍報:利用區塊鏈分布式數據庫架構設計網絡安全防護:7月24日,經中央批準的《新時代的中國國防》白皮書發表并公示,著重強調了“推進國防科技和軍事理論創新發展”和“構建現代化武器裝備體系”。《解放軍報》于7月23日發文稱,進一步建強信息柵格網絡,應突出信息柵格網絡的抗毀能力建設,利用區塊鏈分布式數據庫架構設計網絡安全防護,重新審視網絡信息體系的“去中心化”能力,確保任一節點被摧毀都不影響網絡組網運行。[2019/7/25]
進一步說,PoRep使證明者能夠證明他們正在使用不低于需要的最小空間來存儲信息,并實際使用該空間來存儲有用的信息。同時,PoRep可以有效地提取存儲的任何數據。」在復制證明過程中,存儲礦工將用戶數據存儲到扇區。扇區被存滿后,礦工對扇區進行封裝,封裝是一個計算量很大的過程,它會生成數據的唯一標識碼。一旦數據被封裝,存儲礦工生成證明,然后對證明進行零知識證明壓縮,最后將壓縮結果提交到鏈上,成為存儲承諾完成的證明。
復制證明通過四個階段來完成:
密封預交付第1階段:在這個階段,進行PoRepSDR編碼。這個階段受CPU限制,是單線程的。這個階段預計需要幾個小時的時間,精確的時間取決于被密封的扇區的大小,當然,也取決于進行密封的機器的規格。密封預交付第2階段:在這個階段,Merkle樹的生成是使用Poseidon哈希算法執行的。這個過程主要是GPU限制的,但應該預期會慢得多。當使用GPU時,此階段預計需要45分鐘到1小時。密封提交階段1(C1):這是一個中間階段,執行生成證據所需的準備工作。它受CPU限制,通常在幾十秒內完成。密封提交階段2(C2):最后,這個密封階段涉及到創建一個SNARK,在它被廣播到區塊鏈之前,它被用來壓縮必要的證據。這是一個GPU密集型過程,預計需要20-30分鐘才能完成。時空證明
聲音 | 新加坡管理局Toh Wee Kee:分布式新加坡元僅用于跨銀行結算:據coindesk消息,新加坡管理局(MAS)的Toh Wee Kee表示新加坡金管局目前正在試驗的以分布式賬本技術為基礎的新加坡元是用于跨銀行結算的,而不是供新加坡家庭使用。[2018/9/19]
復制證明完成后,存儲礦工必須證明其持續存儲了用戶數據,這將通過時空證明完成。時空證明是向存儲礦工發出加密挑戰的過程,只有直接封裝扇區的礦工才能正確回答。存儲礦工必須在嚴格的時間限制內應對這一挑戰。Filecoin中時空證明有兩大挑戰:WindowPoSt和WinningPoSt,此處不作展開。
時空證明底層機制,來源Filecoin白皮書
Filecoin安全機制
Filecoin白皮書中提到復制證明可有效防止女巫攻擊、生成攻擊和外包攻擊。但需要考慮一個問題:復制證明作為一種證明算法,本身可以否被偽造?答案是肯定的,事實上任何公開的的證明都可以被偽造,機制設計的目的就是提高攻擊者的成本,讓其攻擊成本高于獲利就能避免攻擊。
不難想象這樣一種攻擊行為:
礦工在存儲用戶數據的時候發起復制證明,然后在復制證明完成后刪除數據;而在需要時空證明的時候再做一次復制證明。這樣,存儲礦工別沒有持續保存用戶數據的備份,但卻依舊能夠完成整個存儲證明而獲得獎勵。
其實在Filecoin存儲證明中,復制證明與時空證明是相互依賴的。Filecoin通過兩個證明過程的時間要求來避免攻擊。具體來說,時空證明必須在很短的時間內完成,否則無效;而復制證明如果不能在很短的時間內完成的話,就不能發起攻擊。當這兩個時間的差距越大,安全性就越高。Filecoin網絡對證明時間的要求:
時空證明要在小于一個區塊時間內完成,時空證明的時間是網絡設定的;復制證明被設計成通過數小時才能完成,復制證明的時間消耗是由于算法的復雜性造成的。單純從安全角度考慮,復制證明所消耗的時間越長,對網絡而言越安全,可以從以下兩個角度考慮延長復制證明所消耗的時間:
算法長度:步驟越多的算法需要的時間越長算法可并行性:并行度可以通過增加資源減少運算時間具體來說,當前Filecoin復制證明所采用的的SDR算法在這兩方面都保證了足夠的強度。
算法長度通過多步驟計算實現:比如在復制證明中要計算11層labels,這個層數可以調整,層數越多,步驟越多,時間越長;每層計算之間強依賴關系來去并行化:在計算labels時,每一步的計算都依賴上一步的結果,所以不能通過增加資源的方式來縮短計算時間;
但是,安全的代價往往是高成本。Filecoin在保證網絡安全性的同時帶來了幾個問題:
高昂的計算成本降低了網絡的經濟效率,類似PoW一樣通過消耗昂貴的計算資源僅僅達成存儲證明,這一點與Filecoin白皮書提倡的「有用共識」相悖;復雜的證明過程提升了對礦機硬件配置的要求,特別是CPU、GPU與RAM上的成本。主流Filecoin礦商CPU與GPU配置對比
Filecash的技術權衡
盡管ProtocolLabs一直在優化復制證明算法,例如計劃升級到NSE算法以改善成本和檢索延遲,但短期內仍然無法解決效率問題。在安全性與成本的權衡中,Filecash選擇了適當降低安全性,換取更低的參與門檻。
Filecoin計算資源消耗主要集中在復制證明第一階段,Filecash方案優化也主要在這個階段,體現為以下幾點:
升級P1核心算法,將SHA256算法升級為SHA512。由于AMD處理器支持SHA256擴展,這樣會使得AMD處理器在P1階段具備極大優勢,可能使用英特爾處理器計算P1過程需要30個小時,而是用AMD處理器去只需要4個小時。這將導致大量閑置的英特爾機器因為不具備經濟效益,無法參與Filecoin網絡。而升級到SHA512算法Filecash可同時接納不同處理器機器。將P1階段計算層數由11層減為8層。參考一些容量證明項目,8層的計算層數已經能夠提供足夠的安全性,但是卻可以大大提高經濟效益。修改扇區大小為16G,降低內存占用量。目前Filecoin的扇區大小是32G和64G,這就要求礦工的電腦也至少需要64G的內存。一般的普通用戶或者家用電腦無法滿足這個配置需求,他們將被排除在系統之外。通過降低扇區大小,可以讓更多相對低配置的設備參與到早期網絡。Filecash技術方案核心邏輯是在于降低生態的參與門檻,讓大量的閑置的設備,還有家庭的客戶能夠參與到網絡,給網絡提供共識。強壯的共識能為生態保駕護航,強壯的共識底層能為生態吸引更多開發者和使用者,活躍的生態才能為礦工提供穩定的挖礦收益,穩定的挖礦收益促進更多礦工參與到挖礦行為中,生態形成良性循環。
Filecoin的預期共識機制相當于在PoS基礎上引入復雜證明過程,在太空競賽第一階段中表現出的網絡性能令人擔憂,以至于交易手續費激增,脫離了實際應用場景。針對TPS不足,內容無法有效審查等問題,Filecash調整了共識機制采用了:DPoSPoRepPoSt混合共識。網絡圍繞礦工開展一系列經濟活動,礦工作為底層支撐提供共識和Token;DPOS節點作為核心承載,提供可靠的高TPS和網絡可用性。同時,Filecash針對虛擬機、跨鏈、預言機等多個組件進行重新設計和優化,使Filecash網絡能夠無縫的與ETH\DOT\BTC等成熟區塊鏈進行交互,解決區塊鏈間應用生態互通困難的問題。
分布式存儲領域新格局
Filecoin早已聲名在外,而Filecash作為后起之秀能否撼動Filecoin還未可知。但是在Filecoin團隊與社區礦工的紛爭之下,關于分叉的聲音越來越盛。可以預料的是,隨著Filecoin主網上線,分布式存儲領域會冒出許多新面孔,它們會探索和Filecoin不一樣的道路。
與其說,Filecash是在向Filecoin發起挑戰,不如說Filecash是在為分布式存儲領域探索新的可能。
畢竟,歷史沒有記住第一個吃螃蟹的人,卻記住了螃蟹的美味。
Tags:LECFILFILECOIOuro Stablecoinfil幣最新消息這次回調要多久filecoin幣可靠嗎WEB3COIN
不動產資產特點的是資產體量大,流動性差。這是一直存在的問題。但是在以中心化計算系統支持的經濟活動中,這個問題是無法解決的。中心化的計算系統支持公司的各自的中心化的運營模式.
1900/1/1 0:00:001、如果你是一個剛剛入門的投資者,或者是一個長期虧損的客戶,請看看下面總結出來的虧損原因。自己是不是也存在同樣的問題?如果有,我們當務之急就是先改掉這些不好的操作習慣、心態.
1900/1/1 0:00:00尊敬的OKEx用戶: 2020年3月1日至2020年5月31日,OKB啟動了新一季度的回購銷毀.
1900/1/1 0:00:00尊敬的PSEX用戶: 為了給用戶提供更加優質的服務,PSEX將于新加坡時間9月28日中午12:00上線BSV幣USDT永續合約交易. BSV簡介: 北京時間2018年11月16日凌晨0點40分.
1900/1/1 0:00:00幣海寄語:好的想法是十分錢一打,真正無價的是能夠實現這些想法的人,沒有哪種教育能及得上逆境,沒有哪個安慰能比得上止盈!行情回顧:昨日咱們給出的以太坊、BTC策略止盈后,美股三大股指高開.
1900/1/1 0:00:00產品 1、PC端兼容優化;轉帳優化;交易深度實時圖表精確升級;精度K線圖數值升級;吉隆坡海外節點服務器進行維護升級;上線項目幣種測試.
1900/1/1 0:00:00