Vitalik：Casper的激勵哲學——危害三角_WTF:Casper

這張圖是我這周在康奈爾大學做演講中制作的幻燈片：

如果有一張圖表可以抓住Casper的激勵哲學的核心原理，那可能就是如此。因此，有必要作進一步的解釋。

該圖顯示了三個選區——少數、多數和協議，以及四個箭頭代表可能的對抗行為：少數攻擊協議，少數攻擊多數，多數攻擊協議和多數攻擊少數。每個示例包括：

少數攻擊協議—Finney攻擊

Cosmos跨鏈橋Gravity Bridge已啟動，明年初將遷移至Cosmos Hub:12月16日消息，負責管理Cosmos（ATOM）生態系統的瑞士非營利組織Interchain Foundation周三宣布啟動由去中心化互聯網服務提供商Althea構建的跨鏈橋Gravity Bridge。

Gravity Bridge允許在以太坊和Cosmos區塊鏈之間轉移ERC-20代幣。在最初階段，Gravity Bridge將作為一個獨立的鏈運行，然后在明年初遷移至Cosmos Hub。其關鍵技術特征包括跨兩個鏈的可互換代幣發行，以及對以太坊到Cosmos預言機的支持。（Cointelegraph）[2021/12/16 7:43:34]

少數派攻擊多數派—羽毛分叉

Vitalik為印度新冠援救運動捐贈100個枚ETH和100枚MKR:4月25日，Polygon聯合創始人Sandeep推特顯示，Vitalik為印度新冠援救運動捐贈超60萬美元加密貨幣。目前印度新冠疫情嚴重，Polygon聯合創始人Sandeep發起了援救運動，發動加密貨幣圈提供幫助。根據Etherscan信息，以太坊聯合創始人 Vitalik Buterin 已經捐贈已捐贈了 100 個 ETH 和 100 個 MKR。[2021/4/25 20:55:41]

多數攻擊協議—傳統的51%攻擊

多數派攻擊少數派—51%審查制度攻擊，即cartel拒絕接受來自cartel以外的礦工的任何封鎖

Casper哲學的精髓是：對于所有四種攻擊類型，我們都希望為攻擊的受害者所遭受的傷害與攻擊者所付出的代價之間的比例設定一個上限。在某種程度上，Casper中的每個設計決策都是基于這一原則。

Vitalik Buterin發布新的概念驗證:本周一以太坊設計者Vitalik Buterin發布了一個新的概念驗證，演示了如何將分片擴展解決方案“栓在”Ethereum主鏈上。并發推表示“分片即將來臨”。該演示遵循Ethereum聯合創始人最近推出的“最小分片協議”計劃，旨在顯著提高以太坊區塊鏈的事務吞吐量和可擴展性。[2018/5/1]

這與通常的工作量證明激勵學派有很大不同，因為在工作量證明視圖中，最后兩次攻擊是毫無防備的。前兩種攻擊成本高昂，因為攻擊者冒著他們的區塊不納入鏈中的風險，因此損失了收入。但是，如果攻擊者占多數，那么攻擊是無價的，因為攻擊者始終可以保證他們的鏈將是主鏈。從長期來看，難度調整可確保了所有礦工的總收入無論如何都是完全相同，并且這進一步意味著，如果攻擊導致一些受害者損失了收益，那么攻擊者就會獲利。

以太坊創始人Vitalik指責Instagram和Facebook允許虛假賬戶在平臺上存在:以太坊的創始人Vitalik Buterin一直在處理大量欺詐的Twitter模仿者，這些詐騙犯試圖從天真的投資者那里盜取密碼，而最近V神的注意力被Instagram和Facebook轉移了。這他在推特上批評Facebook和Instagram，因為他們的平臺上存在明顯的虛假賬戶。[2018/3/30]

之所以會出現這種工作量證明，是因為傳統的中本聰工作量證明會從根本上懲罰異議。如果您作為礦工制造了與共識一致的區塊，您會得到獎勵，如果您做出與共識不一致的區塊，則會得到懲罰。。

另一方面，Casper主要通過懲罰模棱兩可的方式工作。如果您發送了兩條相互沖突的信息，那么即使這些消息之一與共識一致，您也會受到非常嚴重的懲罰。因此，在發生最終恢復攻擊時，導致恢復事件的人員將受到懲罰，而其他所有人將不會受到影響。大多數人只能以沉重的代價攻擊協議，而大多數人不能造成少數人的損失。

當我們開始討論另外兩種攻擊時，即更具挑戰性的是活性故障和審查制度。活性故障是指大部分Casper驗證器下線以阻止共識達成確定性；而審查錯誤是大多數Casper驗證器拒絕接受某些交易或拒絕接受其他Casper驗證器的共識消息的錯誤，以剝奪他們的報酬。

這涉及到一個基本的二分法：揚聲器/監聽器故障對等。

假設B說他們沒有收到A的消息，有兩種可能的解釋：(i)A沒有發送消息；(ii)B假裝沒有聽到消息。僅憑B提出的索賠的證據，無法判斷這兩種解釋哪一種是正確的。與區塊鏈協議激勵的關系是這樣的：如果您看到協議執行，其中70%的驗證器消息包含在鏈中，而30%的消息沒有包含在鏈中，并沒有看到其他內容，那么就無法判斷問題是30%是離線狀態還是70%處于審查狀態。如果我們想讓這兩種攻擊都變得昂貴，那么我們只能做一件事：懲罰雙方。

懲罰雙方會讓任何一方“怨恨”另一方，如果他們是少數派則下線，如果他們是多數派則審查。然而，我們可以通過悲傷因素分析技術來確定這種悲傷的難易程度。

策略的悲傷因素本質上是受害者損失的金錢數量除以攻擊者損失的金錢數量，而協議的悲傷因素是它所允許的最高悲傷因素。例如，如果一個協議允許我以1美元的成本讓你損失3美元，那么悲傷系數是3。如果沒有其他辦法可以使別人損失金錢，則悲傷系數為零，如果你能讓別人賠錢而不為自己付出代價，悲傷的因素是無限的。

通常，無論講話人/聽眾二分法存在于何處，悲傷因素都不能全局地被大于1的任何值所限制。其理由很簡單：任何一方都可能傷害另一方，所以如果A可以傷害B，那么B也可以傷害A，兩者不能同時低于1。

我們可以考慮這些因素，例如，可以允許多數攻擊者的悲傷系數為2，以換取少數攻擊者的悲傷系數為0.5，這是少數攻擊者更有可能的理由。

對于小規模的攻擊，我們也可以允許悲傷系數為1，但對于大規模攻擊，特別是強制進行鏈條拆分，其中在一條鏈的一側受到懲罰，而另一條鏈的另一側受到懲罰，相信市場會選擇攻擊者不喜歡的鏈條。因此，在這個框架內，在不同的關注點之間有很大的妥協和權衡的空間。

懲罰雙方還有另一個好處：它可以確保如果協議受到損害，攻擊者也會受到懲罰。這確保了無論攻擊者是誰，他們都有動機避免攻擊，這與協議造成的危害程度相稱。然而，如果我們想限制協議的傷害與攻擊者的代價相比，我們需要一個正式的方法來衡量對協議造成的傷害。

這引入了協議實用程序功能的概念，這個公式告訴我們協議運行狀況，理想情況下應該從區塊鏈內部中進行計算。在工作量證明的情況下，這可以是主鏈中所有已挖出區塊的百分比。在Casper中，協議實用程序為零，是為了實現完美的執行，其中每個時期都已完成，并且從未發生安全故障，每個未完成的時期都受到了一定的懲罰，而每個安全故障都受到了非常大的懲罰。如果可以正式使用協議實用程序功能，則可以將故障的懲罰設置為盡可能接近因這些故障導致的協議實用程序的損失。

最初以WTFPL許可的形式發布為“危害三角”。

Tags：Casper區塊鏈WTFCasper幣是什么幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢WTF幣WTF價格

Gateio