區塊鏈中的投票

https://github.com/zack-bitcoin/amoveo-docs/blob/master/design/voting%5Fin%5Fblockchains.md

作者:扎克-赫斯, Zack Hess

投票不起作用 #

  • 我們所說的 “投票 “是什麼意思?
  • 投票機制中不存在穩定的均衡
  • 投票的納什均衡是理性的無知
  • 不可能防止賣票
  • P+epsilon攻擊意味着攻擊者可以使我們投票給我們討厭的東西,而且攻擊者甚至不需要付錢給我們就能做到。
  • 阿羅的不可能定理 (Arrow’s impossibility theorem)

投票 #

投票是一種做決定的協議。它有一個由1個以上的人組成的池子,每個人都對正在作出的決定有一些影響。

在投注協議中,其中一個選擇是 “真”,你投注於真結果會得到獎勵,投注於假結果會受到懲罰。

如果沒有真選擇,或者如果(選擇真結果沒有獎勵,選擇假結果沒有懲罰),那麼它就是一個投票協議,而不是一個博彩協議。

硬幣因爲好的決定而增加價值,因爲壞的決定而減少價值,這並不是足夠的獎勵。由於公地悲劇,這些影響被抵消了。如果攻擊會成功並摧毀你的硬幣的價值,無論如何,你還不如加入並獲得賄賂。

因此,獎勵必須是增加你在系統內擁有的硬幣,而懲罰必須是減少你在系統內擁有的硬幣。

沒有穩定的平衡 #

https://vitalik.ca/general/2019/04/03/collusion.html

理性無知的納什均衡 #

作爲一個知情選民的個人成本很高。作爲一個知情選民的個人利益幾乎爲零。因此,理性的選民不會浪費時間去成爲一個知情的選民。理性的選民在無知的情況下投票。

不可能阻止他們出賣自己的選票 #

選票被廉價出售: basics/market_failure.md 在Nakamoto安全(Nakamoto security)下,不可能阻止人們證明他們如何投票。如果他們可以證明他們是如何投票的,那麼攻擊者也有可能使用智能合約承諾支付賄賂來影響選民。在中本聰共識下,礦工需要有可能在包括下一個交易後計算出區塊鏈的共識狀態。礦工們需要有能力包括或不包括任何有效的txs。否則有人可以通過拒絕分享tx來阻止挖礦。因此,礦工們可以在審查該區塊的任何txs後計算下一個區塊的狀態。在納卡本共識下,每個人都需要能夠挖礦,所以每個人都可以在審查任何txs後計算下一個區塊的狀態。由於投票是tsxs,這意味着我們可以在從投票池中刪除任何投票後計算出共識狀態。通過查看審查各種投票後的選舉結果,我們可以計算出每個人的投票。

這些賄賂的成本非常低,因爲公地悲劇的存在。公地悲劇之所以適用,是因爲接受賄賂的好處集中在接受賄賂的人身上,但接受賄賂和參與攻擊的成本卻分散在每個人身上。

P+epsilon,攻擊者甚至不需要花錢就能控制結果。 #

P+epsilon攻擊是指攻擊者承諾支付賄賂,但攻擊者只有在攻擊失敗時才需要支付。納什均衡是指攻擊成功,因此攻擊者不必支付任何賄賂。你可以在這裏瞭解更多:https://blog.ethereum.org/2015/01/28/p-epsilon-attack/

阿羅的不可能定理 #

從數學上講,不可能想出一種具有我們所需要的所有屬性的投票類型。https://en.wikipedia.org/wiki/Arrow%27s_impossibility_theorem

關於這個主題的其他文章的鏈接 #


http://hackingdistributed.com/2018/07/02/on-chain-vote-buying/