Verifiability of Scytl’s voting system for government elections