POV: Odkrywasz, co może zrobić weryfikowalne obliczanie z ZK.