Verifiability of Helios.
Schnorr and PoK.