The first zero-knowledge proof checks that the encrypted ballot entries add up to 1, enforcing that the voter selected exactly one candidate rather than none or both. This rules out voting for both candidates or for none.
Conditions: There are two candidate slots in the example.; Each slot contains one encrypted value.; The proof must hold without revealing the individual values.
The first zero-knowledge proof checks that the encrypted ballot entries add up to 1, enforcing that the voter selected exactly one candidate rather than none or both. This rules out voting for both candidates or for none.
Conditions: There are two candidate slots in the example.; Each slot contains one encrypted value.; The proof must hold without revealing the individual values.