Matemaatika ja informaatika PhD (informaatika, projekt: Nullteadmustõestuste turvalisus / Security of zero-knowledge proofs)