I came here to say this. The voting scheme described isn't Pareto efficient; it's possible for pairs of participants to make positive-sum private deals. In th

I came here to say this. The voting scheme described isn't Pareto efficient; it's possible for pairs of participants to make positive-sum private deals. In the base scenario, Alice votes for A with 4 credits and Bob votes for B with 4 credits. A, B each gets 2 votes. In the private deal scenario, Alice/Bob agree to each vote for A, B with 2 credits each. Then A, B each gets 2.818 votes.