買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 酷幣 > Info

HARD:深度解析以太坊2.0:浩瀚征途第一步Serenity「寧靜」階段_ETH

Author:

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

本文于2020年12月4日發于火星財經,作者為仟峰資本合伙人Steven。

從10月4號以太坊開發團隊發布ETH2.0的啟動條件并公布存款地址以來,各路ETH深度參與者們紛紛祭出了自己的32個或者更多的ETH支持其啟動,終于在10月24號超額完成了V神設定的至少16384筆32-eth驗證者存款總共不低于52.4萬個ETH的啟動要求,ETH2.0主網在12月1號凌晨準時上線。

主網上線后第一階段被命名為“Serenity”,運行的主鏈為Beaconchain,即現在所運行的信標鏈,那么關于這條pos鏈,有哪些設計哲學和創新點,他們是否又足以支撐ETH向Pos過渡呢?

1.0PrinciplesSerenity的設計哲學

Simplicity簡單

基于加密經濟學里權益證明和Sharding分片技術的內在復雜性,Serenity在設計的時候盡可能的追求最大簡單性,以便:1)最小化開發成本;2)降低不可預見的安全問題的風險;3)讓之后的開發者在設計協議時,更容易的對其使用者說明協議的細節和合法性。

Long-termstability長期穩定性

底層協議的建設必須足夠的完美和有預見性,只有這樣在未來的10年或更長的時間內都不需要對其進行任何更改,任何創新都可以基于這些底層,在更高的協議層發生和建設。

Sufficiency充分性

DeFiBox宣布與ONTO錢包達成深度戰略合作:據官方消息,近日,DeFiBox宣布與去中心化跨鏈錢包ONTO達成深度戰略合作。通過DeFiBox提供的數據支持,用戶可直接通過ONTO錢包進行挖礦項目綜合管理,并查看挖礦收益,可覆蓋用戶在以太坊、HECO、BSC和OKEx Chain等多條公鏈上的鏈上數據。

DeFiBox和ONTO表示,此次合作將有利于雙方鞏固各自優勢,推動DeFi生態發展壯大,后續雙方還將進一步展開更多深入合作。[2021/4/27 21:03:57]

Serenity將會從基礎性上保證盡可能多的應用程序可以構建在她協議的頂層。

Defenseindepth深度防御

協議可以在各種可能的安全假設下無差別的工作。(例如,網絡延遲,故障計數,以及用戶的邪惡動機。

Fulllight-clientverifiability全輕節點可驗證

在給定的假設中,一個驗證客戶端,即使在51攻擊之下,應該也是可以獲得整個系統的所有有效數據。

2.0TheLayer1VSLayer2一層協議與二層協議的權衡

在任何區塊鏈協議中,都存在著在Layer1中放入更多的特性將,還是盡可能的將Layer1設計的簡單而在Layer2上進行更多的特性建設的爭論。

其中,支持Layer2的理由包括:

HyperPay錢包與DeFiBox達成深度戰略合作:據官方消息,近日,HyperPay錢包與一站式DeFi資產管理及收益追蹤平臺DeFiBox達成深度戰略合作,用戶可直接通過HyperPay錢包查看多鏈DeFi項目投資情況,同時實時查看挖礦收益。雙方將在社區生態建設及市場等方面展開更深層次合作。

HyperPay錢包成立于2017年,是一款集托管理財錢包、去中心化自管錢包、HyperMate硬件錢包和共管錢包于一體的多生態數字資產錢包,HyperPay可為用戶提供資產存管、理財增值、消費支付等一站式服務。上線至今,HyperPay資管規模已超10億美元,轉賬超3.1億次。

DeFiBox是一站式DeFi資產管理和信息聚合平臺, 其獨具特色的資產看板模塊可協助用戶追蹤多鏈DeFi項目收益,優化投資組合,目前已支持以太坊、Heco、BSC和OKEx Chain公鏈專區。[2021/4/15 20:23:32]

a.降低了共識層的復雜性

b.減少了修改共識層的需要

c.減少共識層失敗的風險

d.減少協議治理的負載和風險

e.隨著時間的推移,將會更具有靈活性和實施新想法的能力

而支持Layer1的理由是:

a.減少由于缺乏機制迫使每個人升級到一個新的協議而導致的發展停滯的風險

b.可能降低整個系統的復雜性

OKLink同HiCoin達成深度戰略合作:據OKLink官方消息,OKLink同HiCoin達成深度戰略合作,雙方已在技術與生態層面展開深入合作。HiCoin以數字貨幣錢包解決方案為核心,提供全生態整體服務體系。經過2年的發展,已經累積了超100家錢包客戶服務經驗,覆蓋十余個行業,提供三大解決方案:全功能錢包解決方案、資管管解決方案、綜合支付解決方案。

OKLink區塊鏈瀏覽器是由區塊鏈大數據上市公司打造的信息服務應用,旨在呈現快速、精準、全面的鏈上數據,為用戶提供專業化、個性化的數據分析服務。[2020/3/31]

c.如果第一層沒有足夠強大,在第二層協議上構建多么復雜龐大的機制是不可能的

以太坊2.0的大部分內容都是在Layer1和Layer2之間小心權衡,在Layer1上所做出的努力包括以下三點:

1)準圖靈完備、全狀態代碼執行

2)可拓展和可計算

3)高速區塊完成時間

具體而言:

如果沒有1),就不能使用完備的可信模型去構建Layer2的應用程序;

如果沒有2),拓展性能就會被局限在某種狀態通道和像Plasma的某些技術中,而這些技術往往面臨著資金鎖定和大規模資金退出的問題;

如果沒有3),就不能實現在不用狀態通道的情況下及時交易的要求,而這通用也會從產生資金鎖定和大規模資金退出的問題;

微機科技崔傳榮:未來能源管理或將與數字貨幣深度結合:在今晚由嘉楠區塊鏈主辦,金色財經獨家支持直播的2020礦業新勢力AMA上,微機科技運營總監崔傳榮發言指出:減產長期肯定是有利于整體幣價的,但是減半發生的時機,最終漲幅由于金融工具和商業模式的變化,越來越難以預測。

整個幣圈市值已經到達萬億市值,而且行業的從業人員整體都比較年輕和富有冒險性,一定會存在許多新機會,實際上整個礦機芯片賽道就是礦幣的新生態。

另外,礦幣引發人們對電力的追逐和深度思考,重構人們對能源的思考維度,未來能源管理也可能會和數字貨幣深度結合。[2020/2/28]

除了上述特性,ETH2.0將1)隱私、2)高級編程語言、3)可伸縮狀態存儲、4)簽名方案,留給了Layer2,因為它們都是快速創新的領域,現有的許多方案都具有不同的特性,未來不可避免的要在更多更好的方案之間進行權衡。例如:

1)隱私:環簽名+機密值VSZksnarkVSZkstarks;rollupVSZEXEVS…

2)高級編程語言:聲明性與命令性、語法、形式驗證特性、類型系統、保護特性以及本地支持隱私功能

3)擴拓展的狀態存儲:賬戶VSUTXOs,不能的租借方案,rawMarklebranch見證人VSSnark/Stark壓縮VSRSA累加,sparesMarkletreesVSAVLtreesVS基于使用的imbalancedtrees;

動態 | Adamant Capital:比特幣目前處于深度積累階段:據cryptoinsider報道,比特幣基金Adamant Capital的創始合伙人Tuur Demeester與聯合創始人Michiel Lescrauwaet發布了一份關于比特幣當前價格行為和地位的深度報告,稱比特幣目前正處于深度積累階段。該報告指出,比特幣在2012年和2015年的報告里被顯著低估。隨著比特幣從歷史最高價格下跌75%,該基金認為目前是“價值投資者的特殊機會”。在這個積累階段,該公司預計比特幣的交易價格將在3000美元到6500美元之間,直到新牛市永久性地將比特幣推至數萬億美元的資產類別。[2019/4/20]

4)簽名方案:M/N多重簽名,社交密鑰的撤銷和恢復,Schnorr簽名,BLS簽名,Lamport簽名

3.0WhyCasper為什么選擇Casper做POS的方案

目前一共有三種主流的POS的共識算法:

a.Nakamoto-inspired,如Peercoin,NXT,Ouroboros…

b.PBFT-inspired,如Tendermint,CasperFFG,Hotstuff

c.CBCCasper

在后兩種方案中存在著一個問題,即是否以及如何使用安全質押與懲處。所有的三種方案都是優于工作證明的,我們將具體介紹一下ETH2.0的做法。

Slashing

以太坊2.0使用的Slashing機制,即在驗證者被發現有不當行為時,將會罰沒其質押在網絡中充當驗證節點的代幣,最好的情況下是約有1%的驗證者會受到懲罰,最壞的情況是全網所質押的ETH都會面臨懲罰。這種做法的意義在于:

1)提高攻擊的成本

2)克服驗證者們存在的問題,使驗證者偏離誠實行為的最大動機是懶惰,對自相矛盾和不正確的簽名的進行大額的懲罰可以在很大程度上解決這一問題。關于這一點,有一個很典型的案例:2019年7月,一個在cosmos上的驗證者因為簽署了兩個相互沖突的塊而受到了質押金的罰沒,而這個驗證者出現這種失誤的原因就是因為它同時運行了一個主節點和備份節點,而這兩個節點在同一時間以外打開,導致它們最終相互矛盾。

共識算法的選擇

在出現大規模的驗證節點作惡,只有BFT-inspired和CBC學派的一致性算法能夠有較好的最終性,Nakamoto-inspired共識算法無法在這種前提下實現最終性。最終性的確認需要大多數的驗證節點都在線,這個要求在Sharding分片機制中也是需要滿足的,因為分片要求必須要有2/3的隨機驗證者在跨片溝通時進行簽名。

ETH2.0選擇CasperFFG就是因為它可以用最簡單的算法在協議的最終部分實現最終性,但是未來會在第三階段逐步轉向CBCCasper。

4.0Sharding分片--為什么ETH2.0討厭超級節點

對于Layer1而言,分片的主要方法是使用超級節點--通過要求每一個共識節點都擁有超強的服務器,來保證它們能夠單獨處理每個事物。基于超級節點的拓展是很方便的,因為它實現起來很簡單:它只是在現有的區塊鏈的工作方式的基礎上,加入了一些更加平行運作的軟件工程層面的工作。

而對于這種做法,面臨的主要問題如下:

1)抵押池集中化風險:運行節點的固定成本很高,因此可以參與的用戶很少。如果運行驗證節點的固定成本占據了回報的大部分,那么較大的池子相較于小池子就能夠節省更小的費用,這將會使得小池子不斷被擠出,從而加劇集中化的趨勢。相比較而言,在分片系統中,抵押了更多ETH的更大的節點需要驗證更多的交易,所以其費用并不是固定的。

2)AWS集中化風險:在超級節點的體系下,家庭作坊式的抵押形式幾乎是不存在的,大部分的抵押都將會在云計算的環境中,這將會大大增加單點故障的風險。

3)可拓展性的問題:隨著事務吞吐量的增加,上述風險增加,而在分片系統中增加的負載可以被更容易的處理而減少上述風險。

這些集中化分險也是ETH2.0沒有選擇格外追求超低延時<span="">的原因,他們將這個延時設定在一個相對保守的數據。

在ETH2.0的分片系統中,不管你有多少的ETH和算力,你都能夠參與到ETH的驗證系統中。固定成本被最小化,即便你擁有非常龐大的ETH的量,你面臨的費用依然是次線性的。

5.0安全模型

ETH2.的深度防御與分片方法是將隨機委員會抽樣結合起來,以實現誠實多數者模型下的有效性和可用性,同時提供保管證明以防止懶惰的行為者,并提供欺詐證明和數據可用性證明,以便在不下載和核實所有數據的情況下檢測無效或不可用的鏈條;這將允許客戶拒絕無效或不可用的鏈。

下表是當前預期的安全屬性:

6.0Casper的獎勵機制是如何設計的?

在每一輪Epoch中,每一個驗證者都會給出自己的證明,這個證明指的是驗證者指出哪個是區塊頭并為之簽名。如果這個證明被打包,驗證者將會獲得以下獎勵:

1)證明被打包入內的獎勵

2)指定正確的Epochcheckpoint的獎勵

3)指定正確鏈頭的獎勵

4)證明被迅速打包上鏈的獎勵

5)指定正確shardblock的獎勵

在不同的場景中,具體的回報計算方式如下:

B=基礎回報,P=做出正確判斷的驗證者的比例

任意做出正確判斷的驗證者將會獲得B*P的獎勵,

B的計算公式為:

其中,D1…Dn表示質押量大小,k是一個常數,

7.0Beaconchain/shardchain的結構

分片系統包含了64個邏輯分片“shards”,該系統以beaconchain為中心,協調所有的活動。

一筆交易在這個系統中得到最終確認的流程如下:

1)交易被包含在一群shard的某個shardblock中

2)隨機選擇出來的驗證委員會被分配到這個shard中并進行驗證和簽名

3)委員會的簽名被打包進下一個beaconblock

4)下一個beaconchain通過CasperFFG進行最終性確認

將每個shardblock都通過hash連接到下一個beaconchain,使shard能夠迅速識別彼此的Markle根,從而能夠相互驗證收據:

如上圖所示,如果shardn沒有被立即被打包到n+1beaconchain中,n+2beaconchain的委員會可以嘗試打包這個shard和下一個shard。

8.0尾---關于ETH2.0的未來

“寧靜”僅僅只是ETH2.0浩瀚征途的第一步,但是從他們在第一步中所做的取舍可以看出來整個團隊過去三年對于公平和效率的深入思考,并沒有一味的追求所謂百萬TPS,而是在保證安全的前提下對實用性和可行性進行更大的實踐。

我相信未來在很長的一段時間內,ETH都將會整個區塊鏈網絡的基石,今年的Defi只是在不成熟的網絡條件下的一場偉大的社會實踐,2.0在2021-2022愈臻完善的時候,必然會迸發出更大的商業價值和社會價值。

Tags:ETHHARDSHARDDEFtogetherbnb手游下載官網sharderPINETWORKDEFI價格

酷幣
ETH:加密世界需要怎么樣的安全機制_DEF

本文于2020年2月27日發布于區塊鏈海盜號,作者為鄭嘉梁,HashKeyCapital研究總監,并由鄧超,HashKeyCapitalCEO審校.

1900/1/1 0:00:00
TOK:HashKey:一文讀懂全球證券資產上鏈現狀與挑戰_TOKEN

本文于2020年5月6日發于鏈聞,作者為錢柏均,就職于HashKeyCapitalResearch本文主要來探討國際資本市場對?證券資產上鏈?的實踐.

1900/1/1 0:00:00
FRA:簡析算法穩定幣Frax設計機制與風險_Utopia USD

本文來自于DeFiMaster。一月下旬,第四代算法穩定幣Frax經歷了上線以來第一次死亡螺旋,最終Frax不負眾望,“渡劫”成功,幣價依然死死的咬住了一美元,成為了當之無愧的最穩定算法穩定幣.

1900/1/1 0:00:00
ROLL:社區代幣爆發前夜:這是加密金融最有潛力對接現實世界的增量市場_UMB

本文首發于鏈聞,作者LeftOfCenter。是時候用代幣的方式革命互聯網收費模式了。革命的道路,應該從創意人和創作者開始.

1900/1/1 0:00:00
以太坊:獨家專訪分布式資本沈波:我對區塊鏈的理解與投資原則_KKT

本文于2018年5月16日首發于鏈捕手公眾號,作者李曌。 一、區塊鏈與分布式商業 鏈捕手:在您看來區塊鏈是什么??沈波:目前大家對區塊鏈的理解各有不同,我更認可區塊鏈是一個大規模的協作工具這個觀.

1900/1/1 0:00:00
區塊鏈:組織學視角探討 DAO 潛力:從分布式系統到歐洲合作社_Tsuki DAO

本文來自medium.com?作者Markus?Büch,并經DAOSquare編譯。在真實世界中,德國的法律界和一些類?DAO?結構企業一直期望能將?DAO?理念納入法制社會.

1900/1/1 0:00:00
ads