Electronic voting is presented as an applied setting where zero-knowledge proofs can enforce ballot validity while preserving secrecy. The system must verify that each voter chooses exactly one candidate and that the vote is binary, without revealing the individual voter's choice.
Conditions: There are multiple candidates.; Votes are encrypted before aggregation.; Validity must be checked without revealing individual votes.
Electronic voting is presented as an applied setting where zero-knowledge proofs can enforce ballot validity while preserving secrecy. The system must verify that each voter chooses exactly one candidate and that the vote is binary, without revealing the individual voter's choice.
Conditions: There are multiple candidates.; Votes are encrypted before aggregation.; Validity must be checked without revealing individual votes.