以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Luna > Info

區塊鏈科普:再議有效性證明VS錯誤性證明_ARK

Author:

Time:1900/1/1 0:00:00

來源:以太坊愛好者

導語

近幾個月以來,越來越多關注的目光放到了OptimisticRollup(OR)這個基于錯誤性證明的拓展框架上。我們StarkWare則采用有效性證明,因為它比錯誤性證明更安全。本文將在安全性討論之外,列舉一些VP較OR的額外優勢,同時糾正大眾對有效性證明的常見誤解,最后介紹StarkEx——StarkWare開發、基于STARK和有效性證明的拓展引擎。

在此特別說明,和OR比較,VP具有以下優勢:

從根本上更安全撤款時的資本效率高1000倍可拓展性更強在計算方面,至少能達到相同的效率

安全性

在上一篇分析中,我們比較了VP和OR,前者只會在某狀態轉換被嚴格證明有效的情況下執行該狀態轉換,而后者則允許任意的狀態轉換,參與方可以針對無效的狀態轉換提交錯誤性證明。我們的上一篇文章聚焦安全性分析,明確指出了一種能在OR中實施、且會導致OR中所有資金被盜的攻擊手段。區塊鏈上的基礎架構解決方案必須足夠健壯,要能支撐來自金融世界、每天萬億級別的資金交互負載。VP和OR分別怎樣勝任?由于在OR中竊取資金的成本和收益大小無關,所以一旦系統承載了足夠多的資本,使得破壞系統變得有利可圖,那理性的參與者肯定會想方設法通過攻擊牟利。與OR相反,VP不會轉換到任何無效的狀態,使得無論承載多少資金都不會被盜。對于大規模的金融系統,VP更健壯,而OR更脆弱。

昆山市啟動區塊鏈網絡賦強公證系統項目:近日,昆山市公證處與昆山農商銀行合作簽約,雙方利用區塊鏈技術,充分發揮“國家公信力+技術信任力”雙重增信作用,構建新型信任基石,有效防范化解商業銀行不良信貸金融風險,以公證服務技術革新助力實現法治營商環境“全新一躍”。這也標志著昆山市正式啟動區塊鏈網絡賦強公證系統項目。(昆山市委宣傳部)[2020/4/29]

也可以站在數據集一旦遺失的角度分析系統的安全性。和VP相比,OR中的數據更為敏感。一旦數據遺失,OR中的資金就可能被盜——也正因如此,目前的設計方案都集中在鏈上數據可用性挑戰上。而對于VP,由于采用了鏈上數據,資金就跟存在Layer-1中一樣安全。至于VP的鏈下數據部分,資金最多被凍結,而不會失竊。

資金效率

數字貨幣世界中流動性的一大痛點在于資金取款時的延遲。在OR中,標準取款窗口期大約為1周時間——這是給提交錯誤性證明的有效窗口時間。在VP中,標準取款窗口大約為10分鐘——這是針對上一次計算結果來生成有效性證明的時間。因此OR的標準取款窗口時間要比VP長1000倍。使用OR就要承受這樣1000倍的不便,這不僅是時間上的延遲,也是資金效率的降低。

實力派 | 陳洪堅:區塊鏈可有效整合數據生產有價值的精準數據:在今日的金色實力派上,中國絲路集團副總裁陳洪堅表示,絲路集團和聯合國貿發會合作的BODR(跨境電商消費者權益保護)和DTI(全球數字貿易基礎設施)是基于我們對區塊鏈和數字經濟發展方向的認知。有了區塊鏈,信息孤島、碎片化的項目可通過鏈進行串聯,數據的有效整合過程中產生了有生產價值的精準數據,這是數字資產的基礎。跨境貿易體系是全球經濟的血脈,如今跨境貿易可以通過區塊鏈互聯互通,促進經濟的骨架血肉的生長,所以數字貿易基礎設施的構建意義重大。

而基于數字資產構建、流通、價值轉化、交易等的數字經濟新模式,也是DTI要實現的目標,基于鏈網基礎設施,全球跨國、跨行業、跨領域的價值數據新引擎,構建數字經濟新生態,推動人類文明向“價值文明”發展。這兩年,絲路集團對區塊鏈+產業的實踐,最重要的活學活用區塊鏈思想,深度融合產業特點和訴求,形成合力,同時摸索出了一個可復制的模式,基于這樣的前提,相關產業的裂變生長就具備現實的可操作性,大家一起來共建,基于公開、平等、高效的合作機制具備了很大的包容性,所以今天是個聯盟,今后會通過無數個聯盟形成數字經濟的地球村。[2020/1/17]

我們先前描述過一個免信任的快速提款機制:想要立刻提款的用戶需要給流動性提供商打一份鏈下資產的欠條,即簽名了的條件支付交易,然后流動性提供商從自己的“存錢罐”智能合約中墊付這筆資金,在鏈上把欠條金額上的資金轉給提款用戶,整套操作需要的時間和區塊鏈網絡的轉賬時間差不多。流動性提供商會定期把累積的鏈下資產轉移到鏈上的“存錢罐”中。

動態 | 金固股份收關注函:深交所要求說明區塊鏈領域布局情況:金固股份收關注函:深交所要求公司說明與嘉楠區塊鏈在區塊鏈領域已有布局情況、所擁有的區塊鏈技術目前在研發應用等方面所處階段、相關技術在市場化商業化應用方面是否具有技術可行性,是否存在利用概念炒作股價配合股東減持情形。[2019/10/29]

VP和OR都能應用快速取款機制。但在OR系統中,流動性提供商需要在“存錢罐”中準備1000倍的資金,因為他們收到鏈下資產等待的時間窗口要長1000倍。這個1000倍的比例和“存錢罐”流動性算法中的各種假設都無關:無論是基于取款金額期望值,或提款-存款差額,再或者是峰值流動性需求、平均撤款金額等等,OR需要的儲備金數量都是VP的1000倍。

然而,有時根本無法使用快速撤款。對于非同質化資產就沒法使用:

非同質Token:正如早先由Vitalik介紹那樣,如果一只名叫Mitzi的名貴CryptoKitty存在了鏈下,他的所有者沒法要求在鏈上再收到一只Mitzi,因為世界上有且只有這一只叫Mitzi的CryptoKitty。

行情 | A股收盤:區塊鏈板塊收跌1.70%:A股收盤,上證指數收跌1.51%,區塊鏈板塊收跌1.70%。80只概念股中,22上漲1平盤1停牌56下跌。漲幅前三為:四方精創(+10.03%)、新晨科技(+9.99%),數字認證(+9.97%);跌幅前三為:深科技(-8.10%)、新湖中寶(-7.14%)、神州泰岳(-7.10%)。[2019/3/26]

隱蔽交易:Zerocash風格的承諾在某種程度上也是非同質化的。要想把隱蔽交易中的資金快速提到主鏈,用戶必須要向流動性提供商揭露承諾中的數據,破壞隱蔽性。

在這種快速撤款機制無法應用的場景下,用戶只能選擇等待標準撤款窗口結束,VP則要比OR快1000倍。

可拓展性

在這一部分我們將對比不同的rollup系統,由于同類事物間的比較才有意義,因此我們只比較提供鏈上數據可用性的rollup系統,即:ORvs.STARKZK-Rollup。雖然我們不想,但是所有在鏈上存儲數據的rollup系統都將隨著rollup交易的增多而線性增大消耗的資源量。鏈上數據包含一些狀態以及見證數據。OR和StR的區別在于隨著交易量的增加,前者的見證數據線性增長,而后者把這些見證替換成了一個證明,這個證明的大小只會多項式對數級別增長。劃重點,對于足夠大、足夠多的批量交易,StR的鏈上數據指紋要比OR小很多...

聲音 | 斯里蘭卡中央銀行行長:區塊鏈可能改變銀行的商業模式:據dailynews報道,斯里蘭卡中央銀行(CBSL)行長Indrajit Coomaraswamy表示,隨著金融科技和區塊鏈等先進技術的出現,銀行的商業模式可能會隨著時間的推移而發生重大變化,同時開辟新的商機。[2018/11/19]

從細節出發:在StR中,見證數據能核實rollup運營者所進行的查驗,因此一批計算只需要一則見證,而不需要在每一份交易后面都附一份證明。更優秀的是,在現代zkp系統中,這個證明的大小是固定的。因此隨著批量交易的增大,分攤到每一條交易頭上的資源消耗反而減少。在OR中,每一條交易都必須附上一則見證,使驗證人能核實交易的正確性。因此對于大批量的交易,并沒有均攤減少的優勢。更重要的是。OR中的見證要比交易本身大很多:比方說OR見證需要包含所有用戶的簽名1,而VP不需要。在單純的支付中,見證要比支付的數據量大3到5倍;而對于復雜的應用場景,見證通常會比狀態的數據大10倍以上,有時甚至更多。

總的來說,OR明顯要消耗更多的鏈上資源,也因此比StR更快地頂到拓展性天花板。

通用計算開支

人們常常拿VP和OR的通用計算開支做對比:即對于一個給定的鏈下計算任務,兩種不同的系統額外需要做哪些工作?下文我們將圍繞StarkWare的STARK展開,因為這是我們目前應用的VP框架。

OR:由于100個驗證者互相監督基本上能夠保證整個計算的正確性,因此當提到OR,驗證者的數量都數以百計。到了驗證階段,每一個驗證人都需要進行一遍計算任務,因此在OR中做通用計算的開支是原任務的100倍。

有必要說明,驗證人集合越小或者越多預先指派的情況,驗證人就越容易互相勾結,或者受到外界的賄賂、攻擊。

STARK:由于驗證過程的計算開支微不足道,它只需要一個實體——證明者——進行大量的計算。驗證的計算開支有多微不足道呢?現在我們甚至可以用一臺簡單的智能手機對一大批計算結果做驗證,因此可以忽略驗證的計算消耗。人們常說證明者的計算開支是原有任務的10000倍,因為證明需要消耗大量的計算來生成。但實際上StR需要的計算開支僅僅是100倍,因此額外的計算開支和OR大致相當。之所以說StR的計算開支僅有100倍,是基于以下理由:

對于算數/幾何運算操作,我們已經達到了少于100倍的計算開支。目前應用的Pedersen哈希函數僅僅比原來的操作增加了20倍計算消耗:即用STARK來證明一個Pedersen哈希值的正確性僅僅比直接計算Pedersen慢20倍。

對于那些像SHA-256那樣眾所周知計算開支很大的操作,我們正試著把那些函數換成對STARK友好的操作。我們目前受以太坊基金會的資助來進行這些研究,而且在2020年第一季度,許多密碼學大牛會提交給我們他們的替代方案建議。估計對STARK友好的哈希函數在證明時僅比某些高效的哈希算法的直接計算慢100倍。

最后,很多人之所以稱道OR是因為它能用到通用計算中,并且將支持EVM代碼,而VP不具備這一特性。對于將STARK用到通用計算中,我們持樂觀的態度。

感謝DanRobinson,JohnAdler以及VitalikButerin對本文的反饋。

BLS通常被認為是一種高效的聚合簽名機制。我們相信BLS不會只應用在這個用例中,因為它是整合多個簽名到一則消息中的最佳方式。在OR的用例中,許多消息都需要由交易收/發方簽名;而BLS簽名的驗證耗時10ms/簽名,這不僅是驗證人的負擔,主鏈在判別欺詐時也需要處理這種消耗。

Tags:ARKSTARSTAARK幣是什么幣STAR幣STAR價格STA幣STA價格

Luna
比特幣周末消息一覽,比特幣讓一切變得更好?_Gitcoin

1.數據:以太坊市值占比升至近20%,比特幣占比跌破40%2.DapperLabs因涉嫌將NFT作為未注冊證券出售而遭起訴3.西班牙市場監管機構將允許投資機構有條件的進行加密投資4.區塊鏈風投機.

1900/1/1 0:00:00
「BTC收割機6月2號」BTC,EOS、ETH、辣條行情速遞_BTC

市場仍然風險猶存,警惕風險。盜用一張大鳥的圖片。看著抄底的人都在下面等待機會,卻不知這跌下來的不是我等韭菜能接得住的.

1900/1/1 0:00:00
歐洲央行:如果沒有高效的泛歐支付解決方案,將發行央行數字貨幣_數字貨幣

歐洲央行正在考慮在歐洲范圍內發行數字貨幣以建立高效的支付系統。歐洲央行執委:加密貨幣的風險太大,不能作為可靠的支付手段:5月16日消息,歐洲央行執委帕內塔表示,加密貨幣的風險太大,不能作為可靠的.

1900/1/1 0:00:00
科普:掙錢新姿勢,去中心化金融DeFi是如何盈利并參與的?_ETH

實際上在公鏈領域除了數字貨幣還有一些非常熱門和值得關注的生態。對普通投資者來說,這些生態也是可以嘗試參與的,參與這些生態也能帶來風險可控的收益.

1900/1/1 0:00:00
研究:近100億美元的區塊鏈能源市場規模,未來幾年內可以達到?_區塊鏈

全球市場研究和戰略咨詢公司表示,到2025年,區塊鏈技術在能源市場的規模將達到30億美元。區塊鏈技術在能源領域的應用已經成為行業巨頭和創業公司的熱門話題,包括電力交易、能源融資和供應鏈透明等.

1900/1/1 0:00:00
幣聰:Nuls行情分析,1美元獲得強勁支撐,低迷市場能否守得住_ATS

Nuls在過去24小時的交易中價格小幅上漲1.88%。在過去7個交易日內價格下跌9.55%后,加密貨幣目前以1.09美元的價格交易.

1900/1/1 0:00:00
ads