買比特幣 買比特幣
Ctrl+D 買比特幣
ads

Casper:一文讀懂CasperLabs:智能合約平臺的突圍之路_MRSPEPE

Author:

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

經常有藍狐筆記的讀者問,當前的智能合約平臺(如以太坊)雖然不錯,但整體來說,智能合約平臺的擴展性限制了它的大規模采用,如果是這樣,新的智能合約平臺是否有機會?這是個好的問題。

一方面,以太坊和EOS等先發者已經具有了一定的開發者生態,還有不錯的應用場景探索。例如以太坊的DeFi和EOS的游戲和社交,尤其是以太坊DeFi鎖定超過10億美元的資產,在這方面的探索如火如茶。但另一方面,整個加密應用的用戶規模還很小。基于以太坊的dApp的日活用戶當前不到2萬,其他用戶數相對較多的平臺如EOS,也沒能超越這一級別。從目前看,所有智能合約平臺,還沒有出現突破百萬活躍用戶的dApp,如果那一天到來,將會是整個加密領域的真正里程碑時刻。

誰能率先實現百萬活躍用戶的dApp,誰就能在加密領域占據領先位置。如果說,這是加密世界的網景時刻,那么要抵達這一個時刻,需要兩個方面的條件。一是dApp場景的繼續挖掘,以尋求產品和市場的契合度,這方面當前的以太坊和EOS等公鏈一直在努力,試圖找到能夠引爆主流人群需求的場景和應用。二是需要真正去中心化的且是可擴展的區塊鏈。只有滿足安全和可擴展性兩方面的條件,智能合約平臺才能既有獨特價值,也能承載主流人群規模的應用。

所以,在接下來的幾年時間,加密領域最重要的命題之一依然是:如何實現安全和可擴展性兼具的智能合約平臺?

雖然以太坊和EOS等公鏈是先行者,但不妨礙其他公鏈的探索和努力,這其中包括Tezos、Nervos、Solana、Polkadot、Harmony等平臺從不同的技術路線和場景方向進行探索。雖然先行者已經取得了領先,不過,如果我們把視野再放大,就會發現,今天的市場規模還很小,用戶數還很少。在這樣的情況下,很難說已經是市場的終局。如果從技術發展和商業發展角度看,今天依然處于早期的拓荒階段。在這一階段,有先行者,有領先者,不過,其他后發者并非沒有機會。至于什么時候格局確定?這個可能需要三年,也可能需要五年。中間什么時候殺出程咬金?誰也不知道。但可以肯定的是,今天的格局肯定不是終局。

藍狐筆記一直關注智能合約平臺,之前也介紹過一些新的平臺。今天藍狐筆記要介紹的也是新來者:智能合約平臺CasperLabs。為了方便大家記憶,CasperLabs以下簡稱為Casper。跟其他公鏈一樣,它也有自己的大夢想,它想成為受開發者歡迎的平臺,為大規模用戶提供去中心化服務的平臺。那么,它又有什么不同,靠什么安身立命?

PeckShield:BlockGPT BSC發生Rug Pull,涉及金額超25萬美元:5月30日消息,據PeckShield監測,BlockGPT BSC項目發生Rug Pull,涉及資產超816枚BNB(約合25.6萬美元),目前已有800枚BNB轉入Tornado Cash。BGPT價格已在過去一小時內跌約52%。[2023/5/30 11:48:24]

Casper如何安身立命:Highway協議

首先,Casper是一個智能合約平臺,跟其他智能合約平臺一樣,為開發者提供運行協議和應用的基礎設施。而另外一方面,它強調的不是單純的高tps,而是要安全和可擴展性兼得。

目前已經有了這么多智能合約平臺,Casper如何安身立命?有什么殺手锏?它最核心的技術選擇是基于CBC Casper PoS的共識算法,并在此基礎上擴展出Highway共識協議。

Casper之所以聲稱自己可以真正兼顧安全和可擴展性,很大程度上源于其技術路線的選擇。而這個技術路線的核心之一就是CBC Casper PoS。CBC 英文為“correct-by-construction”,大意是按照構建逐步校正的意思,它是一種驗證架構正確性的流程,通過構建數學模型推演,確保最終的正確交付。CBC Casper是“correct-by-construction”共識協議系列,這些共識協議共享相同的異步證明以及拜占庭容錯。這一系列協議通過定義其協議狀態和協議狀態轉移來描述。

Casper的計算模型支持檢測何時可以并行合約的執行,且區塊消息格式允許在鏈中“合并”分叉,可以避免不必要的孤塊。CBC Casper PoS跟以太坊的Casper-FFG不同,以太坊需要考慮從PoW向PoS的過渡,而是CBC  Casper是純粹的PoS機制,不包含任何PoW,只有提議區塊和實現區塊最終性的驗證者才能獲得獎勵。

Casper的Highway共識協議是基于CBC Casper PoS的擴展。Highway共識協議是Daniel Kane、Vlad Zamfir以及Andreas Fackler三人的研究成果。其中,Vlad Zamfir是以太坊知名的核心研究人員。

Web3構建者網絡Buildspace完成1000萬美元融資,a16z領投:11月18日消息,Web3構建者網絡Buildspace近日在其官網上宣布完成1000萬美元融資,a16z領投,Founders Inc、Weekend Fund、Y-Combinator、Vayner Fund、Protocol Labs、OrangeDAO、Solana Ventures、OpenSea Ventures、Alchemy Ventures、DreamerVC等參投。

據悉,Buildspace旨在為用戶提供探索職業生涯發展的學習平臺,現在正專注于Web3領域。目前Buildspace上開設的學習項目包括Solidity、以太坊NFT、Solana Web3 App等。[2022/11/18 13:21:25]

Highway共識協議最與眾不同的地方在于:兼具安全和活性。它跟PoW不同(完全同步的協議),Highway是部分同步的協議,可以實現更高頻次的出塊,換言之,具有更好的吞吐量和可擴展性。

什么是兼具安全和活性?安全就是說Highway共識協議的決定不會前后矛盾,活性則是說共識協議的節點會永遠保持做決策,區塊不斷增長。

總結來說,Highway協議對CBC Casper進行了兩個方面的擴展:一是,通過高效方法實現對不同閥值下安全性的檢測;二是,提出在CBC Casper框架下的活性策略,也就是針對網絡參與者何時創建協議消息所制定的策略規范。

簡單來說,Casper的Highway協議如何運作?

1.summit結構

Highway協議為實現最終性,它提供了一種全新的summit(峰頂)結構。與此同時,為了實現活性,它使用偽隨機生成的領導者序列限制消息的生成來實現,這導致產生blockdag的可預測結構。

Casper的共識協議采用的是blockdag的數據結構,如下圖:

在上圖中,消息被放置到相關的“泳道”上,也可以看到每個“泳道”上消息的創建者。由于創世區塊是區塊鏈初始化產生的,它位于“泳道”之外。每個普通區塊都指向其主要父塊,上圖用紅色箭頭表示。這些區塊形成了樹結構,稱為主樹。任何普通區塊都可以指向任意數量的區塊作為次級父塊,如上圖中藍色箭頭所表示的。區塊+紅色箭頭+藍色箭頭一起形成有向無環圖,也就是Casper協議中的p-dag。所有的箭頭和所有的頂點一起形成有向無環圖,這就是Casper中所謂的j-dag。

V神于社交媒體上對SBF取關:11月16日,據Twitter數據顯示,以太坊聯合創始人“V神”(Vitalik Buterin)已經取消了對SBF的關注。[2022/11/16 13:11:04]

Summit(峰頂)是指j-dag中某個共識值已經確定最終性的情況。為什么會有這個概念?因為它有很多層,不同層代表不同的共識程度,最后的Summit意味著在某個范圍內所有節點都達成共識,也就是最高點,形成了峰頂。在這個最高的層面上,具有最大程度的共識。反過來理解,這也說明Highway是具有安全閥值的。每個輪次都有領導者,首先由領導者發送消息給每個人。其他驗證者在收到領導者消息后立即發送消息給其他人。在經過一些輪次后,每個驗證者都會再次向所有人發送消息。這樣,第一條消息確認的投票成為level-0的消息,第二條確認足夠數量的第一條消息,形成level-1消息,由此類推形成summit(峰頂)。一旦驗證者在其本地協議狀態達到峰頂水平,他們知道最終每個誠實驗證者將會看到所有狀態。

下圖是最終性的示意圖,可以幫助我們理解summit(峰頂)。

上圖左側的矩形代表驗證者,圓點代表消息。它展示了驗證者0的本地j-dag,對應于j-daglevel的排列(消息的X坐標對應于j-daglevel)。“泳道”上顯示消息的Y坐標與創建者相同。圓點顏色則代表此消息正在投票支持的共識值。在誠實驗證者的“泳道”內,0-level消息是從上一次該驗證者投票贊成的共識值改變以來的所有消息。消息的第一層投票支持同一個區塊,其他層會引用第一層的消息及其哈希,參與“峰頂”的驗證者越多,層次越多,這些消息投票的區塊就越安全。

2.有彈性的輪次時長

跟大多數的PoS機制一樣,Casper也會將時間劃分為輪次。每個輪次,首先有一個偽隨機選擇的領導者生成消息,其他人等待領頭人的消息,收到該消息之后,才生成自己的消息。在這一輪次快結束時,每個人都會再發送一條消息。也就是說,驗證者為該區塊發送了兩次驗證消息。每個輪次的時長并不固定,不是所有驗證者都采用相同的輪次時長。

觀點:谷歌正致力于加密貨幣領域:金色財經報道,谷歌與Coinbase的合作表明谷歌正致力于加密貨幣領域。加密貨幣和科技巨頭之間的合作被稱為對區塊鏈的肯定。根據最近的頭條新聞和谷歌公司的說法,人們會認為谷歌正在涉足加密領域。然而,一些人認為這家科技巨頭選擇的合作伙伴Coinbase,證明谷歌只是在試探。

幾周前,谷歌和Coinbase發布了一份聯合新聞稿,標題為“谷歌云和Coinbase啟動新的戰略合作伙伴關系以推動Web3創新”。幾天后,谷歌云推出了其以太坊區塊鏈節點引擎。(CoinDesk)[2022/11/4 12:15:31]

為實現活性,Highway協議采用非固定輪次時長的機制。它用“高速公路”作為比喻,這也是協議名稱Highway的來源。Highway類似于“數字高速公路”,它有很多車道,每條車道的汽車速度恒定。不同車道的汽車相互之間會發送消息。消息在不同車輛間傳遞的速度不同,協議達成共識的程度也不同。

在任何給定的車道n中,車在1米距離進行2n頻次的跳躍,信息在不同車道的汽車間的傳遞是動態進行的。由于跳躍頻次不同,消息傳遞頻次也不同。例如,如果消息傳到左側的車道,頻次將加倍,傳到右側車道則頻次將減半。這樣,每次跳躍時,都可以遇到左側車道的汽車,而右側則需要兩次跳躍才會遇到。通過這樣的方式,可以保證一定的安全性,同時也可以提高達成共識的速度。

要理解Highway的有彈性的輪次時長,需要理解時間“滴答”、生成區塊的領導者以及輪次的概念。在Highway共識協議中,時間劃分為“滴答”,每個“滴答”相當于一毫秒。領導者從當前驗證者中選出,基于領導者的系統,需要有輪次,這也是基于安全的考慮,生成區塊的領導者是無法固定的。因此,不同輪次會有不同的領導者。

在這種情況下,多數PoS鏈采用的是固定輪次時長的方法。而Highway協議與眾不同的是其可調整的輪次時長。每個驗證者選擇輪次指數值。隨著時間的推移,將會自動調整輪次指數值(round exponent),以實現最優性能。

舉個例子,假設輪次指數值為n,驗證者用于操作的輪次時長為2^n“滴答”。具有相同輪次指數n的所有驗證者都有相同的輪次時間表。不過,如果輪次指數n不同,驗證者在輪次時長上也不同。

萬事達卡與加密交易平臺BitOasis達成合作,推出加密銀行卡:10月25日消息,據外媒報道,萬事達卡已與加密交易平臺BitOasis達成戰略合作伙伴關系,預計將在2023年初在中東和北非 (MENA) 推出支持加密貨幣交易的銀行卡。BitOasis客戶將能夠將其持有的加密貨幣轉換為法定貨幣,讓消費者能夠在全球超過9000萬個商家地點輕松購物和支付。

此前報道,2021年10月6日,中東及北非地區的加密交易平臺BitOasis宣布完成3000萬美元B輪融資。[2022/10/25 16:38:23]

假設A使用的輪次指數為n,B使用的輪次指數為m,其中n為5,m為7。這意味著,A的輪次時長是32個時間“滴答”(2^5),而B的輪次時長為128個時間“滴答”(2^7)。這意味著,A的輪次時長只持續32毫秒,而B的輪次時長持續128毫秒。也就是說,A的速度要快于B,因此,A可以參與B了解的所有輪次,而B只能了解A知道的部分輪次。通過調整輪次指數可以增加或減少輪次時長,以實現最佳性能。

此外,Highway協議還提出一個“era”(時代)的概念,era時長也用區塊鏈的時間“滴答”來表示,例如一周(604800000個滴答),其主要目的是在更長的一段時間內(如一周)保持驗證者權重的相對恒定,由此實現所有驗證者都可以同意的偽隨機領導者序列,同時防止攻擊者對領導者選擇進行攻擊。

Highway協議跟傳統的BFT協議不同,一般來說,拜占庭容錯協議主要在交易順序上達成共識,而Highway協議僅就區塊的有效性和區塊的權重達成共識,對區塊投票的驗證者越多權重越大。在這種情況下,系統可以處理同時發生的事件,因為交易順序不重要。Highway也支持區塊合并,在合并過程中也可以檢測是否有沖突的交易。

之所以可以實現這些,Highway協議有兩個核心的設計選擇:

1.沒有只發給特定節點的目標消息,所有消息最終會發送給所有人,且可以驗證較早的消息。所有節點看到的都是相同的,這算是不斷增長的消息圖,有點類似于哈希圖。

2.決策方式簡單:投票。通過在消息圖中執行防止僵持狀態的特定結構,可確保網絡的活性。

在這里,消息被視為是對共識值的投票,且驗證者遵循多個明確的驗證者最新投票。

總結來說,Highway協議的如下特性值得關注:

1.無須許可性,任何人都可以安裝所要求的軟件并作為新驗證者加入網絡(在平臺執行綁定交易以后,并在綁定拍賣中贏得其中的slot)。

2.有彈性:可自動調整輪次時長,以使網絡的整體性能達到最佳。

3.部分同步:區塊領導者無需收到已產生的所有消息即可生成區塊,未收到的區塊交易記錄可在下游進行協調。

4.廣播消息:協議假定能將任何消息廣播到區塊鏈網絡中的所有其他驗證者,可以處理消息的延遲,而無需直接的點對點通信。

5.可證明的最終性:協議提供“最終性檢測器”的形式化計算,它可以發現由總權益大比重支持的交易。當驗證者使用其“最終性檢測器”,發現一些交易具有最終性,那么其他的驗證者也會將其視為具有最終性的交易。

6.可證明的活性:由于惡意驗證者的總權益不超過1/3,網絡將持續產生具有最終性的區塊,且共識的收斂不會停止下來。

總言之,Highway的特色是安全和活性兼備。它區塊的創建是圍繞偽隨機生成的領導者序列進行的,領導者負責區塊的產生。同時,它還采用可變的輪次時長機制,這讓Casper具備彈性,可自我調整網絡,以獲得最佳性能。

Casper的開發者友好的整體策略

對任何智能合約平臺來說,最終的價值來源于使用它的用戶數量和頻次。而要吸引用戶進來,首先需要有dApp開發者構建出符合用戶需求的產品和服務。

這對于Casper來說也一樣,除了其技術路線的選擇之外,Casper最核心的策略之一就是其對開發者友好的整體策略。策略講究聚焦和取舍。這一點從Casper的Slogan也可以看出,它的Slogan是“筑夢者的區塊鏈”。換句話說,Casper試圖成為開發者構建各種美好產品和服務的堅實平臺。從其目前的技術基礎和運營方面看,Casper的開發者友好的整體策略值得關注。

1.業務開銷可預測

在區塊鏈上進行交易需要成本,用戶的操作會產生費用。在Casper上,被選中的驗證者需要從交易池中收集交易,并按照一定的次序執行,最后發布到新區塊上。而用戶提交的費用會按比例分配給所有驗證者。

在Casper上,為了讓dApp的體驗更好,它試圖要達成業務開銷可預測。不受監管的費用市場會導致交易費用的高度波動。在2017年加密貓時代,以太坊的轉賬費用曾經高得嚇人。Casper協議內置的gas價格下限設置足夠高,可以減輕這種波動性。可以防止gas跌至某個特定價格下,讓價格在某個值上自由浮動。

Casper的代幣CLX代幣可用來支付gas費用,而CLX代幣價值是波動的,由此Casper設定了價格下限,雖然消耗的是CLX,但設置的值是法幣值,其基準是單個CLX賬戶之間的轉賬費用花費0.05美元。為了實現這一點,Casper使用去中心化預言機來提供價格數據。

實現業務開銷的可預測,有利于dApp開發者構建自己的商業模式,例如由dApp開發者負擔用戶的交易費用,而dApp通過其他方式向用戶收取費用。由于交易費用的相對可預測,這樣對于構建可持續的商業模式,并實現更好的用戶體驗都有直接幫助。

2.絕大多數開發者無須培訓即可編寫Casper區塊鏈應用

對于智能合約平臺來說,降低開發者進入的門檻非常重要。這也是Casper的重要競爭策略。首先它支持Rust作為Casper智能合約的主要編程語言,用于智能合約的Rust開發套件包括了測試環境、合約運行環境等。

此外,Casper對wasm有很好的支持。平臺也支持其他編程語言進行智能合約的開發。這樣對于開發者來說,無需太多的學習成本,用自己熟悉的語言即可開發dApp。

3.開發者所需的各種功能

除了開發門檻的降低,還有一些功能也可以幫助開發者更好的構建。例如它的GraphQL接口、賬戶結構、無限多重簽名、可定制支付方式、可讀性好的賬戶名等。

Casper內置GraphQL接口,可用于狀態查詢,方便開發者隨時了解合約的內部狀態,降低開發和運營dApp的門檻。

Casper的賬戶結構比較靈活,有多級賬戶結構,可以從子賬戶中收回丟失資金。它支持開發者所需的各類授權,其中包括針對丟失密鑰恢復的賬戶權限模型,在賬戶和合約之間安全共享狀態的權限模式等。

加權的密鑰功能和閥值,可以實現無限多重簽名功能。

Casper支持開發者制定交易的支付方式。普通區塊鏈通常采用“發送人付費”模式,而Casper的開發者可設置支持接收人付費的模式。

Casper用戶名是可讀性好的賬戶名,方便構建應用,也有更好的用戶體驗。

Casper節點內置了遙測和監視功能,可以方便節點運營者和驗證者測試系統性能。

4.可升級的基礎設施

Casper區塊鏈支持將合約存儲在不可變的地址中,支持合約版本控制和升級。這對于開發者來說是很有用,因為合約更新幾乎是必不可免的。同時,Casper還在設計協議和虛擬機,以實現對并發執行、側鏈、分片的支持。

結語

從Casper的整體來看,跟其他項目相比,以上的兩點有其獨特之處。雖然Casper很關心可擴展性,但它同樣重視安全性和去中心化,這是它實現可擴展性的前提。Casper的Highway協議是實現這一目標的關鍵,通過“summit”和blockdag結構、偽隨機領導者序列(pseudorandom leader sequence)、彈性的輪次時長等多種設計,實現了安全性和活性。

為了構建生態,Casper的開發者友好的整體策略也讓人印象深刻。它在降低開發者門檻,豐富開發者工具方面、設施可升級等方面都下了不少功夫。

那么,在眾多的智能合約平臺中,Casper有沒有機會脫穎而出?現在還無法下定論,但由于它在共識機制設計上的特色和對開發者友好的策略,它的探索值得持續關注。

------

風險警示:藍狐筆記所有文章都不能作為投資建議或推薦,投資有風險,投資應該考慮個人風險承受能力,建議對項目進行深入考察,慎重做好自己的投資決策。

Tags:CASSPEASPCaspercasper幣釋放MRSPEPEcasper幣最新消息

比特幣最新價格
以太坊:晚間必讀八篇 | 我該如何理解嚇人的“爆倉”?_POW

1.以太坊生態的最新數據按當前市值,以太坊是價值近250億美元的網絡。但是以太坊還遠未進入主流人群,但由于它在開放金融和游戲等方面的突破,以及成千上萬開發者的積極參與,它給人們帶來豐富的未來想象.

1900/1/1 0:00:00
DAS:金色趨勢丨瀑布后 BTC后續還有多少下降空間?_區塊鏈游戲幣拍賣

近期美股連續暴跌,全球股市大幅走低,減產協議破裂,原油價格暴跌,進一步促發美股熔斷,新冠疫情導致的全球恐慌仍在蔓延,全球范圍內的風險資產遭到拋售,就連避險屬性的黃金也感受到了拋售的壓力.

1900/1/1 0:00:00
SDT:金色觀察 | 你知道Bitfinex每年從USDT盈利多少嗎?_USD

北京時間3月12日15:50,Tether公司新增發(mint)6000萬枚USDT,價值約6061.7萬美元USDT.

1900/1/1 0:00:00
LINK:甲骨文和IBM正努力使其區塊鏈相互通信_tronlink錢包怎么找到TRX

一直作為競爭對手的IT巨頭IBM和甲骨文(Oracle)正在努力使他們的區塊鏈互聯互通。甲骨文區塊鏈產品管理高級主管Mark Rakhmilevich上周在Hyperledger全球論壇上表示,

1900/1/1 0:00:00
SCH:金色深度丨2020年最值得關注的三個比特幣技術_比特幣

金色財經  區塊鏈3月8日訊   相比于“熱鬧非凡”的以太坊,比特幣的技術發展似乎一直比較低調,但事實并非如此.

1900/1/1 0:00:00
NBS:區塊鏈如何平衡信息透明與隱私安全?微眾銀行有話說_NBS價格

大數據時代為人們帶來便利,同時也帶來煩擾。我們的日常生活會產生大量的數據,這些數據對企業或個人來說都是重要的資產。近幾年出現了很多與信息安全有關的問題,個人隱私因此逐漸成為熱門話題.

1900/1/1 0:00:00
ads