Optimally Secure and Verifiable Election Scheme

• Robustness

  • If within CT time after Vlabel[s] received Ts-1, Vlabel[s] failed to pass its correctness proof,
  • Or
  • CT time after it passes the proof, it fails to send some message to the next voter,
  • Then:
  • Other voters can detect a faulty action in polynomial time.