Protocol-Design
經濟上合理的安全證明
是否有可能通過說參與者將尋求最大化他們的利潤來證明加密貨幣支付協議的安全性。我是否需要將其設置為遊戲並以這種方式證明它,或者我可以做些什麼來開始?
我擁有的資訊是系統的狀態,然後我剛剛迭代了每個代理更改系統的能力,並且只是表明通過遵循協議每個代理可以最大化他們的利潤。
棘手的部分是如果代理不遵守協議怎麼辦?通常情況下,通過偏離協議,代理人可以獲得比遵循協議更高的回報。如果發生這種情況,那麼代理可能不遵守協議。偏離協議的一方可能會導致其他方改變他們的策略。他們會達到穩定的狀態嗎?
因此,為了證明安全性,您需要指定以下內容:
- 所有各方(玩家);
- 所有行動都可以由各方執行(策略);
- 各方是否有任何順序或順序必須採取行動,或者他們同時行動;
- 當事人在此過程中掌握了哪些資訊?他們知道一切還是只知道一些資訊?
- 各方的效用函式——不僅考慮金錢,還考慮其他類型的收益。
- 所有假設
將它們放在一起,您可以正式指定遊戲。正式指定遊戲後,您將獲得由各方策略的所有可能組合引發的所有可能結果,以及與結果相關的每一方的收益。然後,您可以分析遊戲以查看是否存在均衡(或多個),這是遊戲的“解決方案”。均衡由每一方的一組策略(可能還有機率)組成。均衡基本上是說,如果各方都選擇均衡中的策略,他們不會想改變他們的策略,因為他們的效用不會更好。
在最簡單的情況下,如果你有一個均衡並且它需要你的安全目標,那麼你可以說你已經在理性各方存在的情況下證明了安全。但情況可能要復雜得多。