Abstract:The conventional (election) voting systems, e.g., representative democracy, have many limitations and often fail to serve the best interest of the people in a collective decision-making process. To address this issue, the concept of liquid democracy has been emerging as an alternative decision-making model to make better use of "the wisdom of crowds". However, there is no known cryptographically secure e-voting implementation that supports liquid democracy. In this work, we propose a new voting concept called statement voting, which can be viewed as a natural extension of the conventional voting approaches. In the statement voting, instead of defining a concrete election candidate, each voter can define a statement in his/her ballot but leave the vote "undefined" during the voting phase. During the tally phase, the (conditional) actions expressed in the statement will be carried out to determine the final vote. We initiate the study of statement voting under the Universal Composability (UC) framework, and propose several construction frameworks together with their instantiations. As an application, we show how statement voting can be used to realize a UC-secure liquid democracy voting system. We remark that our statement voting can be extended to enable more complex voting and generic ledger-based non-interactive multi-party computation. We believe that the statement voting concept opens a door for constructing a new class of e-voting schemes.

Switching-Algebraic Calculation of Banzhaf Voting Indices

Towards a Switching-Algebraic Theory of Weighted Monotone Voting Systems: The Case of Banzhaf Voting Indices

Towards a Switching-Algebraic Theory of Weighted Voting Systems: Exploring Restrictions on Coalition Formation

Approximation of Banzhaf indices and its application to voting games

Generating functions for computing power indices efficiently

Axiomatization of some power indices in voting games with abstention

The Art and Beauty of Voting Power

The Blocker Postulates for Measures of Voting Power

Heuristic and exact solutions to the inverse power index problem for small voting bodies

Statement Voting.

The complexity of power-index comparison

Computation and Bribery of Voting Power in Delegative Simple Games

Weighted simple games and the topology of simplicial complexes

Switching graphs and Hadamard matrices

The inverse problem for power distributions in committees

Freedom and voting power

The Application Comparing of Shapley Value and Banzhaf-Coleman Index of Power

Approximating power indices: theoretical and empirical analysis

A Recursive Measure of Voting Power that Satisfies Reasonable Postulates

Accurate computations with Said-Ball-Vandermonde matrices

Subdivision Algorithms with Modular Arithmetic