Frihetens framtid beror på ZK-bevis.