Optimally Secure and Verifiable Election Scheme

• Verifiability

  • Secret Casting and Validity Checking
    • For all i, Vi encrypts its secret si and discloses zi = Ei(si)
    • For all i, Vi gives a zero knowledge proof of Di(zi)  {0, 1}