Matemaatika ja informaatika PhD (informaatika, projekt: Postkvant-nullteadmustõestused/Postquantum-secure zero-knowledge proofs)