比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > 區塊鏈 > Info

ASP:科普 | Casper FFG 的可審計安全性和近似活性_CAS

Author:

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

作者:AdityaAsgaonkar

翻譯&校對:IANLIU&阿劍

來源:以太坊愛好者

感謝CarlBeekhuizen的審閱。

區塊鏈需要向用戶提供兩種保障——1)區塊的確定性和2).區塊鏈的活性——區塊鏈的底層共識機制就負責提供這兩種保障。以太坊2.0中,共識過程只在信標鏈上發生,并使用CasperFriendlyFinalityGadget(FFG)機制來幫助達成共識。本篇文章旨在描述基本的FFG機制,并證明它能提供上述兩種保障。

CasperFFG是一種“確定性工具”,這意味著CasperFFG規范了區塊的確定性規則,并能在事件發生之后檢查區塊的確定性。FFG機制與鏈的增長脫鉤,可以作為獨立組件附加在任意可用的區塊鏈協議上來提供區塊確定性。因為CasperFFG機制沒有能夠保證區塊鏈活性的策略,因此從這個角度來看,它并不算是完全成熟的共識協議。讓我們先從CasperFFG的結構開始,然后深入CasperFFG機制的規則,最終了解它提供的安全性&活性保證。

歐易OKEx將于3月18日推出DeFi系列科普視頻:據歐易OKEx官方消息顯示,歐易OKEx將正式推出DeFi系列科普視頻《歐易DeFi20講》,本系列節目由歐易OKEx亞太區CEO馬克金主講。該視頻首期將于3月18日11:00(HKT)推出,用戶可以在歐易OKEx官方學院、金色財經觀看。

《歐易DeFi20講》主要包含DeFi入門指南、全景解讀DeFi生態及如何參與DeFi三個篇章,可以輕松使用戶了解DeFi原理,洞察DeFi價值,掌握DeFi熱點,更多詳情請關注歐易OKEx官方學院。[2021/3/18 18:55:59]

投票

驗證者通過提交見證消息”)來對鏈上的區塊投票。投票的格式為,包含兩部分信息:來源區塊目標區塊——目標區塊必須是S的派生區塊具體來說,投票所包含的信息包括驗證者的數字簽名、用于確認區塊的區塊哈希和塊高。

IMF今日發布的加密貨幣科普視頻實為兩年前舊聞,且存在諸多疏漏:國際貨幣基金組織IMF今日在推特上發布了一條關于加密貨幣的科普視頻,這段時長兩分鐘的視頻最初發布于2018年6月。該視頻稱加密貨幣是“貨幣進化的下一步”,但沒有特別提到DLT、區塊鏈,甚至是代幣名稱等術語。BTC、XRP和ETH只出現在說明加密交易的圖形中。盡管這段視頻到目前為止已經獲得了超過13.7萬的點擊量和2900個贊,但來自加密社區的許多反應都是批評的,他們指出了信息中的漏洞和似乎具有誤導性的措辭。

Reddit用戶nanooverbtc稱:“他們犯了很多錯誤,比如把私鑰稱為密碼。”該視頻也沒有討論挖礦或加密貨幣供應。Kraken策略師Pierre Rochard等知名人士表示:“可證明的稀缺性是比特幣有趣的原因,你忘了提這一點。”(Cointelegraph)[2020/8/24]

合理化與確定性達成

合理化與確定性達成是CasperFFG共識過程的兩個階段,可以和傳統拜占庭容錯共識的“prepare”和“commit”階段做橫向對比。

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

人民數字FINTECH推出區塊鏈科普動畫:人民日報數字傳播發布微博稱,人民數字FINTECH出品《趣味科普|區塊鏈動畫》。[2020/3/31]

-因具備2/3以上的驗證者投票,區塊A&區塊B得到合理化-

合理化:只要某區塊B滿足下列條件,則該塊就被合理化:

區塊B是創世區塊,或

超過2/3以上的驗證者將選票投給(A,B),其中B是A的后代區塊,且A在此前已被合理化。

確定性:只要區塊B滿足以下條件,即獲得確定性:

區塊B是創世區塊,或

B已滿足合理性,且有超過2/3的驗證者選票投給(B,C),其中C是B的直系子塊。

注意:關于確定性的定義,在以太坊2.0中CasperFFG有更一般化的定義,詳見此文。使用上文這種表述是為了保證通俗易懂。

聲音 | 上海股交所總經理:區塊鏈想要大規模發展要做好社會科普工作:金色財經報道,上海股交所總經理張云峰表示,區塊鏈當前還處于一個“概念”的階段,距離成熟應用,影響到百姓的日常生活還有很長的路要走。對于“區塊鏈”和其會帶來的社會和經濟效果,沈陽應當持審慎的態度。區塊鏈想要大規模發展,一方面要做好這項復雜技術的社會科普工作,加快社會大眾對區塊鏈的了解。另一方面,要充分發揮市場的作用,讓企業用實實在在的技術創新,賦能實體經濟的發展。[2019/11/17]

CasperFFG規則

CasperFFG只有兩條簡單的限制規則,應用這兩個規則就能防止驗證者同時給(S1,T1)和(S2,T2)投票:

區塊高度(T1)=區塊高度(T2),或

區塊高度(S1)<區塊高度(S2)<區塊高度(T2)<區塊高度(T1)

-CasperFFG規則違反情況一:區塊高度(T1)=區塊高度(T2)-

-CasperFFG規則違反情況二:區塊高度(S1)<區塊高度(S2)<區塊高度(T2)<區塊高度(T1)-

安全性&活性

CasperFFG的設計目的,是提供共識安全性和針對區塊敲定過程的活性。講得具體點,CasperFFG提供以下保證:

可追責的安全性:如果兩個相互沖突的區塊都達成了確定性,則至少有1/3的驗證者違反CasperFFG規則,而CasperFFG可以識別出這些驗證者。

近似活性:無論協議運行處于什么狀態,驗證者都能繼續履行職責、能在不違反CasperFFG規則的前提下敲定新區塊。

盡管和傳統的BFT文獻相比,這里提到的安全性和活性定義不是那么規范,但這種詮釋是非常適合用于分析區塊鏈的確定性工具的!

事實上,熟悉BFT文獻的人可能會覺得“近似活性”的概念簡直異想天開;不過因為CasperFFG只是“確定性工具”,整個機制只要確保誠實的驗證者能在不違反FFG規則的情況下推動推進協議,而不會被卡在任何一個環節,即可。

至于可追責安全性的定義,我們的重點是可追責性,然后這部分信息能夠被權益證明機制沿用、用于在區塊鏈上處罰惡意驗證者。最終目的還是為權益證明機制提供信息,使后者的激勵機制能生效,促使共識過程形成協議一開始設想的均衡狀態。

安全性證明

假設兩個相互沖突的區塊A和B都被敲定了,那么可能有兩種情況:

區塊高度(A)=區塊高度(B)

因為A和B在得到確定性之前先要獲得合理性,則它們

各自都要收到至少2/3的驗證者投票,這意味著一旦它倆都達到要求,則至少有1/3的驗證者違反了CasperFFG規則。

區塊高度(A)<區塊高度(B)

為了讓A達成確定性,需要超過2/3以上的驗證者將選票投給(A,C),其中C是A的子塊。

為了讓B達成合理性,則在B之前必須存在連續升序的區塊,且每個區塊都已經被它的后一區塊合理化。假設區塊B_m是這串連續區塊中的首塊,區塊高度(A)<區塊高度(B_m)。

注意,這串連續的區塊不存在與區塊A或C相同的塊高,不然就變成了上一種情形。

現在假設我們將票投給(B_n,B_m)(其中n=m-1),使得B_m獲得合理性。則因為區塊高度(B_m)、區塊高度(B_m)皆

不等于區塊高度(A)/區塊高度(C),因此情況一定是區塊高度(B_n)<區塊高度(A)<區塊高度(C)<區塊高度(B_m)。

這樣一來我們就能說——至少有2/3的驗證者違反了CasperFFG規則二。

-安全性證明,情況:區塊高度(A)<區塊高度(B)-

而且只要確認票證集合、找出沖突選票、檢查驗證者簽名,就能輕易揪出違反CasperFFG規則的驗證者。

活性證明

假設P_0是最新的合理區塊,Q是曾得到過驗證者投票的最新區塊。

接下來,任何屬于P_0子塊的區塊P_1都能在不違反FFG規則的情況下收到2/3驗證者的的投票(P_0,P_1),進而取得合理性。

P_1也能在不違反FFG規則的情況下收到2/3驗證者的的投票(P_1,P_2),進而獲得確定性,其中P_2是P_1的子塊。

因此,至少有一組驗證者能夠敲定新塊。

進階閱讀材料

CasperFFG初版論文——?CaspertheFriendlyFinalityGadget

對Eth2.0應用CasperFFG方法的分析——?CombiningGHOSTandCasper

原文鏈接:?https://www.adiasg.me/2020/03/31/casper-ffg-explainer.html

Tags:ASPCASSPECasperkaspa幣今日行情WONCASHethnographyofspeakingcasper幣釋放

區塊鏈
比特幣:礦工趕在比特幣減半前切換網絡,比特幣全網算力持續上升_比特幣價格

由于比特幣礦工計劃在5月份區塊獎勵減半前獲得盡可能多的BTC,目前比特幣的全網算力有了顯著的提升.

1900/1/1 0:00:00
穩定幣:國際證監會組織:全球的穩定幣可能會受到證券監管_加密貨幣市場總市值一直會變嗎

國際證監會組織在最新發布的一份報告稱,全球的穩定幣可能會受到證券法的約束。 這份31頁的報告在本周一發表,報告對有關穩定幣的監管問題進行了研究.

1900/1/1 0:00:00
TOP:TOP 30系列觀察:Q1平均持幣收益區間148%,減半行情顯威力_加密貨幣和數字貨幣的區別

分析師:Carol 出品:PANews 2020年開年,受新冠疫情的持續影響,全球金融市場遭遇“黑天鵝”,數字貨幣市場也受到重創.

1900/1/1 0:00:00
穩定幣:一文說透穩定幣的類型、規模與趨勢_DAI

撰文:錢柏均,就職于?HashKeyCapitalResearch審校:鄒傳偉,萬向區塊鏈、PlatON首席經濟學家 來源:鏈聞 盡管加密貨幣市場本季度跌宕起伏.

1900/1/1 0:00:00
比特幣:“比特幣”搜索分析:谷歌趨勢小幅下降 價格與搜索熱度相關性超80%_eaglenetwork

本文編譯自Bitcoin.com對于加密行業來說,比特幣是一個有趣的話題。除了行業新手會在網上搜索數字貨幣信息,分析師、研究人員和資深加密貨幣專家也在網上搜索統計數據和比較數據.

1900/1/1 0:00:00
比特幣:分析師:從比特幣采礦生態系統發展方式看,市場在3月份已經觸底_CRYPT

“加密貨幣市場觸底嗎?”過去幾周,比特幣交易者一直在思考這個問題;在3月12日市場投降之后,交易者在這個問題上意見分歧.

1900/1/1 0:00:00
ads