Vitalik：Casper的激勵哲學——危害三角_Casper:Casper幣是什么幣區塊鏈工程專業學什么

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

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

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

少數攻擊協議—Finney攻擊

數據：Vitalik近日將999枚ETH轉至0x5567開頭地址，約164萬美元:9月4日消息，據PeckShieldAlert預警監測，以太坊聯合創始人Vitalik Buterin相關地址（0xD04d...8fd7）近日將約999枚ETH（約164萬美元）轉移至0x5567…31B1地址。

20天前，0x5567開頭地址之前曾收到來自Vitalik相關地址（0xD04d…8fd7）的約1701枚ETH，并在過去的20天內將這些資金轉移到Bitstamp存款地址。

Vitalik相關地址（0xD04d…8fd7）去年總共從鏈上標記為“Vb 3” 的地址收到了7萬枚ETH，其中包括2022年5月6日的約3萬枚ETH，以及2022年11月24日的約4萬枚ETH。該地址已將3.1萬枚ETH分發到4個地址：0xe692開頭地址、0x9e92開頭地址、0x5567開頭地址以及Bitstamp存款地址。[2023/9/4 13:16:08]

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

Vitalik于5小時前向Coinbase轉入600枚ETH:8月21日消息，以太坊聯合創始人Vitalik Buterin于5小時前通過vitalik.eth地址向Coinbase轉入600枚ETH。[2023/8/21 18:13:31]

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

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

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

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

Vitalik Buterin：FTX事件為加密貨幣提供了教訓:金色財經報道，以太坊聯合創始人Vitalik Buterin在接受采訪時表示，FTX事件是一個\"巨大的悲劇\"，但區塊鏈技術很穩定，以太坊社區中的許多人也將其視為一直相信的事情的驗證，即中心化的任何東西都是可疑的，公開透明的代碼高于個人。此外，VitalikButerin還表示，加密貨幣要充分發揮其潛力還有很長的路要走。（彭博社）[2022/11/21 22:11:15]

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

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

Gemini信托采用Itiviti的NYFIX平臺為用戶提供加密交易服務:全球金融機構技術和服務提供商Itiviti宣布，Gemini信托公司現允許加密貨幣持有者通過其NYFIX平臺與交易對手進行交易。[2020/3/20]

當我們開始討論另外兩種攻擊時，即更具挑戰性的是活性故障和審查制度。活性故障是指大部分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價格

以太坊最新價格