https://github.com/zack-bitcoin/amoveo-docs/blob/master/design/voting_in_blockchains.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/