科普 | 以太坊 2.0 中的Custody Game及MPC實現_THE:togetherbnb最新版本下載

本文作者：DankradFeist、謝翔

來源：Unitimes

編者注：本文作了不改變作者原意的刪減。

以太坊2.0

以太坊是當前世界上使用最為廣泛的區塊鏈系統之一。經過約五年的發展，目前已進入第四個階段——『寧靜』，也就是廣為所知的以太坊2.0，通常簡稱為ETH2.0。

以太坊2.0將會成為迄今為止最具雄心的一次升級，其設計目的涉及到改善去中心化系統的各個方面。一旦升級成功，目前以太坊網絡的兩大難題將會被解決，它們分別是可擴展性和可持續性。

01?可擴展性

當前以太坊網絡的能力大約為20TPS，這遠無法滿足成百上千個應用程序的使用需求。以太坊社區提出了許多解決擴展性的方案，Eth2.0最終決定采用分片的方式來實現Layer1層的擴展。

簡而言之，通過分片的方式可將系統分為可管理的較小部分，并且每一分片各自獨立并行處理。最后，每個分片的結果將通過交聯到信標鏈連接在一起。

舉一個簡單的例子，假設一個區塊包含三筆交易。在當前的以太坊網絡中，每個節點必須驗證所有交易。若算力最差的節點需3秒來驗證該塊，則系統的吞吐量為1TPS。顯然，系統的可擴展性取決于單個節點的處理能力。

在分片中，交易可被分配給不同的分片鏈，每一個節點僅需驗證其中一個分片即可。交易也被分成三部分，每一部分在單獨的分片中分別進行驗證。假設每筆交易可以在1秒內完成驗證，那么整個系統的吞吐量將變為3TPS！此外，每個節點不需要存儲鏈中的所有數據，它們僅需負責在某些時期對于一些特定分片數據的存儲。

當然，在實際情況中，每一分片可被多個驗證人節點驗證。若對此感興趣，可進一步參考ShardingFAQ。ETH2.0目標是打造1024個分片，其吞吐量相比當前網絡預期將提高1000倍，加上layer2層的擴展機制，其性能將會進一步提高。

國務院：推進科普與區塊鏈技術深度融合:為貫徹落實黨中央、國務院關于科普和科學素質建設的重要部署，依據《中華人民共和國科學技術進步法》、《中華人民共和國科學技術普及法》制定《全民科學素質行動規劃綱要（2021－2035年）》，其中要求實施智慧科普建設工程。推進科普與區塊鏈等技術深度融合，強化需求感知、用戶分層、情景應用理念，推動傳播方式、組織動員、運營服務等創新升級，加強“科普中國”建設，強化科普信息落地應用，與智慧教育、智慧城市、智慧社區等深度融合。（新華社）[2021/7/10 0:40:52]

02?ProofofStake

當前的以太坊和比特幣一樣，依賴于工作量證明來保證系統的共識。在PoW系統中，“礦工”通過消耗電力資源來解決密碼學難題，并且會因為解決難題而獲得獎勵。安全性源于計算問題的難度，由于“挖礦”所存在的巨額收益，因此造成一些礦池的中心化和壟斷，使得系統的安全性大大折扣。不僅僅是中心化，挖礦/工作量證明還存在許多其它的問題。譬如，由于計算所消耗的電力資源引起的極大浪費，而消耗能源本身是用來保證系統安全性的，所以這在PoW范式中很難解決。另外，系統只有獎勵機制，卻不會因為惡意行為而受到懲罰。因此實際上，安全性的開銷要比所需的遠高的多。

為了解決這些問題，以太坊2.0將會切換到ProofofStake，該協議稱為Casper。在PoS系統中，“挖礦”過程替換為一個投票系統，驗證人節點需要質押32個以太幣才能參與系統并進行投票。為了達成共識，驗證人節點輪流對下一個區塊進行提議和投票。如EthereumProofofStakeFAQ所述：

?此區塊鏈系統維護一組驗證人節點列表，任何持有其基礎密碼貨幣的用戶，都可通過發送特定類型的交易進行“鎖倉”來成為驗證人節點。生成并就新區塊達成一致的的過程通過共識算法來完成，共識過程所有節點都可參與。

信標鏈將成為以太坊2.0的核心，它存儲并維護所有驗證人節點的注冊，處理跨分片通訊以及最終一致性的確認。所有的分片始終遵循信標鏈，持有32個ETH的用戶可成為驗證人節點。在一個周期中的每一時段，系統從信標鏈中隨機選擇委員會指派給不同的分片。驗證人節點最終被劃分為多個不同的委員會，每個委員會至少由128位驗證人節點組成。該委員會負責在特定的分片上生成區塊。

人大附中物理老師李永樂科普拜占庭將軍問題和區塊鏈:5月14日，人大附中物理老師、科普視頻網紅李永樂在其公眾號發布視頻《拜占庭將軍問題是什么？區塊鏈如何防范惡意節點？》。李永樂老師在視頻中對拜占庭將軍問題和區塊鏈進行了講解，他表示，拜占庭將軍問題本質上指的是，在分布式計算機網絡中，如果存在故障和惡意節點，是否能夠保持正常節點的網絡一致性問題。在近40年的時間里，人們提出了許多方案解決這一問題，稱為拜占庭容錯法。例如蘭波特自己提出了口頭協議、書面協議法，后來有人提出了實用拜占庭容錯PBFT算法，在2008年，中本聰發明比特幣后，人們又設想了通過區塊鏈的方法解決這一問題。區塊鏈通過算力證明來保持賬本的一致性，也就是必須計算數學題，才能得到記賬的權力，其他人對這個記賬結果進行驗證，如果是對的，就認可你的結果。與拜占庭問題比起來，就增加了叛徒的成本。[2020/5/14]

另一方面，驗證人節點也會因出現不良行為或不誠實行為而受到懲罰，最嚴重的的一種懲罰，將會銷毀節點所有質押的以太幣。其他一些情節輕微的懲罰行為包括：不在規定時間正常運行，證明尚未最終確定的區塊等。對于雙簽或者對錯誤的計算進行簽名都會施以最嚴厲的處罰

數據可用性問題

數據可用性問題與欺詐證明高度相關，簡要說明如下。更多詳細信息請參見這篇。

01?欺詐證明

在上面對區塊鏈中的節點的描述中，我們實際上指的是全節點。全節點產生鏈的區塊，下載每個節點中的所有數據，并驗證所有交易和狀態的有效性。一個全節點要求機器配置大量的內存，強大的計算能力以及非常高的帶寬。而像手機這樣的受限設備很難滿足這樣的配置要求。輕節點或者輕客戶端是全節點的一種低成本替代方案。它們至少連接到一個全節點上，并且僅下載區塊頭和想要的區塊數據。他們信任全節點來檢查數據的有效性，并假定惡意全節點無法創建一條有效的分叉鏈。欺詐證明是針對輕節點的一種機制，它用于降低被非法鏈欺騙的安全風險。每當誠實的全節點發現某種不一致的狀態時，全節點就會生成一個欺詐證明，并為輕節點發出“警報”。此欺詐證明很小，并且可快速在網絡進行分發，而且可以肯定地證明某些鏈的確存在故障。這樣，輕節點就可以完全忽略此非法的鏈，并避免其可能導致的系統狀態不一致。

現場 | 火幣中國推出數字經濟及區塊鏈產業科普新書:金色財經現場報道，12月6日，由海南省工業和信息化廳主辦，南南合作金融中心協辦，海南生態軟件園、火幣中國承辦的“海南自貿港數字經濟和區塊鏈國際合作論壇”在海口舉行，這是全球首次區塊鏈部長級論壇。

在本次論壇上，火幣中國舉行了“數字經濟及區塊鏈產業科普系列新書發布”儀式，希望通過教材、專業教育、培訓等多種方式，幫助從業者、高校、研究機構深入了解區塊鏈，從而建立起區塊鏈全局性知識模型，真正推動區塊鏈應用落地。火幣中國CEO袁煜明介紹，將聯合機械工業出版社面向普通高等教育推出《區塊鏈導論》、《區塊鏈系統設計與應用》和《區塊鏈新商業模式分析》系列教材，這是國內最早推動的區塊鏈教材之一；火幣中國還積極參與數字經濟的研究，由中信出版社出版的新書《讀懂Libra》已經上市；由火幣中國負責編寫的區塊鏈技術科普讀物《區塊鏈技術進階指南》將于12月面世；首本行業內最全的區塊鏈應用案例集《區塊鏈產業應用100例》在本次論壇進行了首次刊印。[2019/12/6]

例如，若全節點發現一筆交易t是錯誤的，此交易的前后狀態分別為S_in和S_out。那么全節點構造出此筆交易對應的欺詐證明為以及相應的Merkle根。證明本身非常小，很容易廣播以及驗證。輕節點可通過驗證Merkle根和交易三元組確定交易的非法性。

數據可用性證明指的是，若某些惡意的全節點對區塊頭進行了簽名，但卻不發布區塊中的某些數據，該怎么辦？特別是如果數據里包含了一筆無效交易該如何？在這種情況下，誠實的全節點無法生成欺詐證明，這是由于缺乏生成欺詐證明所必需要的數據。

02?分片中的數據可用性

數據可用性問題在分片中也尤其重要。如前所述，ETH2.0中的驗證人節點不會驗證所有區塊，也不會去下載所有數據。這是為了讓分片機制充分發揮效用，并減輕單個驗證人節點的負擔。分片區塊將由委員會驗證，并且只有承諾值會存儲在信標鏈中。從這個角度來看，驗證人除了需要一直持續性的參與網絡獲得之外，它們實際上可看做是大多數分片上的輕節點。分片中的數據可用性問題描述如下圖所示：

動態 | 新浪財經：官媒針對區塊鏈的報道從科普宣傳轉向打假監管:據新浪財經今日消息，“1025新政”滿月，一個月間，官媒對區塊鏈的態度風向已轉。據11月初的一項統計，七家黨媒在新政一周內發布了65篇直接相關報道，當時文章中的關鍵詞是數據、產業、安全、創新等，大量文章偏向于科普區塊鏈的概念以及應用介紹，提醒警惕虛擬貨幣炒作的僅有3篇。近期，官媒的批評焦點則紛紛指向借區塊鏈之名進行的虛擬貨幣發行和炒作行為。據統計，新華網、人民網收錄轉載的，以打擊虛擬貨幣或揭露假借區塊鏈行騙為主題的文章，自10月25日到11月25日午間，共28篇；其中，11月19日至11月25日的一周內就高達15篇。這些文章主要圍繞三個觀點展開：厘清區塊鏈和虛擬貨幣的關系，說明二者概念不等；打擊偽“區塊鏈”騙局，或是虛擬貨幣騙局揭露；提醒民眾，區塊鏈不能成為炒作的噱頭，更不是行騙的招牌，需警惕此類活動，理性投資。[2019/11/26]

整體過程可用以下步驟說明：

分片數據以Merkle結構存儲得到Merkle根。事實上這是交聯數據根，為簡便起見，將其稱為Merkle根；

提議人節點生產新區塊并對Merkle根進行簽名；

其他驗證人節點對此區塊進行投票并簽名。其中，BLS簽名可聚合成一個簽名；

當簽名的數量超出門限時，簽名的Merkle根就會被添加到信標鏈上。

在其它分片上發揮作用的分片無法獲知完整的區塊鏈數據，并且也不會去下載，否則，這會直接消除分片所帶來的優勢。這種情況下的數據可用性問題指的是，如何能夠驗證分片1中的數據確實可被任何想要下載或驗證此數據的全節點所獲取。

托管策略

Eth2.0假定2/3的驗證人節點是誠實的，并且以這樣一種方式將驗證人節點分配給對應的分片：若滿足2/3的驗證節點誠實，則永遠不會將不可用或者不正確的區塊包含在一個交聯中。但是，這里的“誠實”意味著什么呢？可能有一些驗證人節點“誠實但懶惰”：鑒于在大多數情況下，沒有人試圖作弊，因此節點可能永遠都需要真正驗證任何內容，而只是對任何傳入的區塊頭進行簽名。或者，為了更加安全一些，可先等待該區塊頭積攢了一些簽名之后，然后再繼續簽名。這種方式仍然可以獲得獎勵，但卻幾乎不需要做任何工作。如果發生這種情況，攻擊者可以依靠這些驗證人節點促進無效區塊的傳播。這對于系統的整體運行狀況將會帶來災難性的影響。因此，我們希望盡可能避免使用“誠實但懶惰”的驗證人節點，這也正是采用CustodyGame的目的。

聲音 | CNBC主持人：加密貨幣最大的缺點之一就是難以向外行快速科普:CNBC主持人Ran NeuNer近期發推稱，加密貨幣最大的缺點之一就是很難向外行快速解釋。當人們要求我向他們解釋比特幣時，我知道他們至少需要一個小時才能真正理解。[2019/9/10]

CustodyGame本身不能完全解決數據可用性問題。因此，需要額外進行數據可用性檢查。但是，它可以確保至少在分片1中對此區塊進行簽名的驗證人節點都擁有數據。

粗略來說，在CustodyGame中，每一個驗證人節點必須計算出另外的一個托管比特。此托管比特僅可由持有“秘密”密鑰和數據的驗證人節點計算出來。在公布托管密鑰后，任何人都可使用數據來驗證這一托管比特。若發現一個無效的托管比特，可在鏈上對此進行挑戰。如果挑戰者是正確的，那么他們將得到獎勵，并且托管比特生成方將會被處罰。

托管證明存在以下幾個關鍵點：

托管密鑰是從驗證人節點密鑰中確定性地計算出來，以避免采用新的密鑰增加系統復雜性。托管密鑰會周期性地生成，并且在托管周期結束時公布出來。任何人都可驗證托管密鑰的有效性。它也被稱為臨時密鑰，因為它僅在一個托管周期階段有效。

若沒有托管密鑰和數據，那么生成托管比特的方式與隨機猜測并無太大區別。

任何人都可以使用托管密鑰和數據來檢驗托管比特的有效性。

在Eth2.0中，驗證人節點的公鑰將是BLS簽名系統的公鑰。一旦質押以太幣成為驗證人節點，對應的運營者將生成一個公私鑰對。對于每一個托管周期，驗證人節點都能夠生成臨時托管密鑰ek。臨時密鑰實際上是對計數器的BLS簽名。由于BLS的簽名過程是確定性的，因此所有的臨時密鑰都可預先由公鑰完全決定。除了驗證人節點本身之外，任何人都無法計算出臨時密鑰。

托管比特是通過某一類mix函數計算而來，盡管函數的具體形式仍在討論中，但其規范傾向于使用MPC友好的構造，詳見eth2.0-specs。總的來說，托管比特的生成方式為b=mix(ek,D)，其中D為區塊數據。

目前，mix函數的構造使用了通用哈希函數和勒讓德偽隨機函數。這些函數均為帶密鑰的函數并且是確定性的。因此，給定一個密鑰ek，將其表示成兩個元素ek0,ek1。然后，驗證人節點可計算出托管比特b=Leg_PRF(ek0,UHF(ek0,ek1,D))，如下圖中的流程所示：

簡而言之，UHF用于擴展輸入數據空間，同時避免外包計算。采用LegendrePRF的緣由主要有兩點：其一，它在MPC的計算中非常高效；其二，其可確保托管比特具備更好的隨機性。可參考這篇文章獲取更多細節，并且，我們將會在后續的文章中給出更加深入的解釋。MPC友好性Eth2.0的設計目標之一是使其對MPC友好。其中包含了兩個原因：其一，通過允許運營節點在多個計算機甚至不同的數據中心之間分布其驗證人節點，從而避免單點故障，這可以帶來額外的安全性；其二，通過一個無需信任的驗證人節點池，能夠使資金較少的人可以參與Eth2.0驗證。因此，托管證明也應該對MPC友好，這也是使用LegendrePRF的主要原因。由此，這或許會開啟一種全新的業務模式，并產生許多其它有趣的應用。請參見此處獲取更多細節。

文中鏈接：

https://github.com/ethereum/wiki/wiki/Proof-of-Stake-FAQ

https://dankradfeist.de/ethereum/2019/12/20/data-availability-checks.html

https://github.com/ethereum/eth2.0-specs/blob/dev/specs/phase1/custody-game.md#misc

https://ethresear.ch/t/using-the-legendre-symbol-as-a-prf-for-the-proof-of-custody/5169

https://slideslive.com/38920085/ethereum-20-trustless-staking-pools

https://github.com/PlatONnetwork/proof_of_custody

參考文獻：

TheBeaconChainEthereum2.0explaineryouneedtoreadfirst.https://ethos.dev/beacon-chain/

Ethereum2.0:ACompleteGuide.https://medium.com/chainsafe-systems/ethereum-2-0-acomplete-guide-d46d8ac914ce

Ethereum2.0:ACompleteGuide.Scaling,PartOne.https://medium.com/chainsafesystems/ethereum-2-0-a-complete-guide-3739a74be61a

Ethereum2.0:ACompleteGuide.ScalingEthereum—PartTwo:Sharding.https://medium.com/chainsafe-systems/ethereum-2-0-a-complete-guide-scaling-ethereum-parttwo-sharding-902370ac3be

ProofofStakeFAQ.https://github.com/ethereum/wiki/wiki/Proof-of-Stake-FAQ

Dataavailabilitychecks.https://dankradfeist.de/ethereum/2019/12/20/data-availability-checks.html

Anoteondataavailabilityanderasurecoding.https://github.com/ethereum/research/wiki/Anote-on-data-availability-and-erasure-coding

1-bitaggregation-friendlycustodybonds.https://ethresear.ch/t/1-bit-aggregation-friendlycustody-bonds/2236

UsingtheLegendresymbolasaPRFfortheProofofCustody.https://ethresear.ch/t/using-thelegendre-symbol-as-a-prf-for-the-proof-of-custody/5169

Proofofcustodygamedesign.https://github.com/ethereum/eth2.0-specs/issues/568

Theproofofcustodygame.https://notes.ethereum.org/@vbuterin/rkhCgQteN#The-proof-ofcustody-game

Ethereum2.0TrustlessStakingPools.https://slideslive.com/38920085/ethereum-20-trustlessstaking-pools

Tags：ETH區塊鏈THEETHEethicality區塊鏈dapp開發白富美togetherbnb游戲攻略togetherbnb最新版本下載

火幣網下載官方app